+Automata Theory delves into the realm of [abstract machines](/wiki/abstract_machine) and the [computational problems](/wiki/computational_problem) they can solve. It lays the theoretical groundwork for understanding computation, exploring the very essence of what can be computed.
+## See also
+- [Turing Machine](/wiki/turing_machine)
+- [Formal Language](/wiki/formal_language)
+- [Complexity Theory](/wiki/complexity_theory)
... 1 more lines