Book of Donmon Teith

For upper level courses on Automata. Combining classic theory with unique applications, this crisp narrative is supported by abundant examples and clarifies key

The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subj

Automata and natural language theory are topics lying at the heart of computer science. Both are linked to computational complexity and together, these discipli

Michael Batty offers a comprehensive view of urban dynamics in the context of complexity theory, presenting models that demonstrate how complexity theory can em

These are my lecture notes from CS381/481: Automata and Computability Theory, a one-semester senior-level course I have taught at Cornell Uni versity for many y