#computer science #empty string #automata theory #formal language #epsilon transition