automata
4
Sections
AutomataTheory
Doc
Def
EquivRel x,y:T. E(x;y) == Refl(T;x,y.E(x;y)) & Sym x,y:T. E(x;y) & Trans x,y:T. E(x;y)
In prior sections:
rel
1
quot
1
relation
autom
myhill
nerode