Automata Theory App provides access to a brief summary of subjects from automata theory and formal languages. Main definitions, facts, examples and exercises with solutions are provided. Automata Theory App can be used as a study guide and resource for quick consultation on your device.

Free solutions with explanations to exercises are available on the app.

Content available in the app
- Words and Languages
- Regular Languages
- Context-Free Languages
- Turing Machines
- Complexity

Exercises
- Regular Languages (17 exercises on regular languages and 17 exercises on non regular languages)
- Context-Free Languages (17 exercises on context-free languages and 10 exercises on non context-free languages)
- Turing Machines (17 exercises on Turing machines and 17 exercises on recognizable/decidable languages)