Lukas' Notes
Search
Search
Dark mode
Light mode
State
Jan 27, 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