Maths›03. Logic and FoundationsChapter 19. Formal LanguagesGrammars, syntax, automata theory, regular and context free languages, parsing, recognition, and applications in compilers.
Maths›03. Logic and Foundations11.1 Machine DefinitionsFormal definition of Turing machines, including states, tape, alphabets, and transition functions.