Computer Science 456/656: Automata and Formal Languages
Spring 1999
Example 2 Answer
w_2
is not in the language
L_d
because it halts with any input file which is not empty, and that includes itself.
Back to
Course Page
