PrintForm
Definitions
automata
6
Sections
AutomataTheory
Doc
At:
auto3
23
minimization
n:
, f:(
n
(x,y:
2*//(x LangOf(auto3_23())-induced Equiv y))). Bij(
n; x,y:
2*//(x LangOf(auto3_23())-induced Equiv y); f)
By:
Fold `finite` 0
Generated subgoal:
1
Fin(x,y:
2*//(x LangOf(auto3_23())-induced Equiv y))
About:
Fin(x,y:
2*//(x LangOf(auto3_23())-induced Equiv y)) 
n:, f:(n
(x,y:2*//(x LangOf(auto3_23())-induced Equiv y))).
Bij(n; x,y:2*//(x LangOf(auto3_23())-induced Equiv y); f) Fin(x,y:2*//(x LangOf(auto3_23())-induced Equiv y))
