Lukas' Notes
Search
Search
Dark mode
Light mode
State (Automata Theory)
Feb 25, 2026
1 min read
automata-theory
Graph View
Backlinks
Deterministic Finite Automaton
Extended Transition Function
Hoare Calculus
Hoare Triple
Operational Semantic
Partially Correct Program (Hoare Calculus)
Strongest Postcondition
Tape (Turing Machine)
Transition Function
Turing Machine