Computer Science 456/656: Automata and Formal Languages
Spring 1999
Example 1 Answer
w_1 is in the language L_d because it does not halt
if it is given any non-empty input file, therefore it does not halt if
given itself as an input file.
Back to
Course Page