Next:
Definition
Up:
Formalizing Automata Theory I:
Previous:
Representations of Languages
Finite Automata
Definition
Semantics of Automata
Equivalence Relations and Quotient Types
Finite Index Equivalence Relations
Equivalence Relations on Strings Induced by Finite Automata