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