automata
7
Sections
AutomataTheory
Doc
Def
A ~ B ==
f:(A
B), g:(B
A). InvFuns(A; B; f; g)
In prior sections:
fun
1
finite
sets
exponent
relation
autom
myhill
nerode
automata
5
f:(A
B), g:(BA). InvFuns(A; B; f; g)