automata
6
Sections
AutomataTheory
Doc
Def
Fin(s) ==
n:
, f:(
n
s). Bij(
n; s; f)
In prior sections:
finite
sets
list
3
autom
exponent
det
automata
myhill
nerode
automata
5
n:
, f:(n
s). Bij(n; s; f)