Lukas' Notes
Search
Search
Dark mode
Light mode
State (Automata Theory)
May 01, 2026
1 min read
automata-theory
Graph View
Backlinks
Deterministic Finite Automaton
Extended Transition Function
Finite Automaton
Hoare Triple
Operational Semantics
Partially Correct Program
Pumping Lemma (Regular Languages)
Regular Grammar
Strongest Postcondition
Tape (Turing Machine)
Transition Function
Turing Machine