myhill
nerode
Sections
AutomataTheory
Doc
Def
Bij(A; B; f) == Inj(A; B; f) & Surj(A; B; f)
In prior sections:
fun
1
finite
sets
exponent
relation
autom