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