What makes Some Language Theory Problems Undecidable.

Juris Hartmanis John E. Hopcroft

Published in: J. Comput. Syst. Sci. (1970)

Keyphrases

decision problems
np complete
human problem solving
programming language
language learning
solving problems
real time
objective function
expert systems
relational databases
optimization problems
sufficient conditions
benchmark problems
language processing
formal theory