title Automata and Computation Theory Notes author Haroon Ghori gemoetry margin=1in Finite Automata Deterministic Finite Automata (DFA) Nondeterministic Finite Automata (NFA) Context Free Grammars Turing Machines Solvable, Verifiable, and Unsolvable Problems