Lukas' Notes

State (Automata Theory)

Jun 17, 20261 min read

automata-theory

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 (Automata Theory)
Turing Machine

Created with Quartz v4.5.2 © 2026

GitHub