automata
5
Sections
AutomataTheory
Doc
Def
Trans x,y:T. E(x;y) ==
a,b,c:T. E(a;b)
E(b;c)
E(a;c)
In prior sections:
rel
1
relation
autom
myhill
nerode
a,b,c:T. E(a;b) 
E(b;c) E(a;c)