Exploring problems that cannot be solved by any algorithm, such as the Halting Problem .

: Official publisher's page provides detailed product information and academic context. Formal Languages and Automata Theory

Moving up the Chomsky Hierarchy , the theory addresses more complex structures: