(
l:Alph*. FinalState(Auto)(Result(Auto)l)) 
(k:
(n+1), l:{l:(Alph*)| ||l|| = k }. FinalState(Auto)(Result(Auto)l))f:(n
St). Bij(n; St; f) (l:Alph*. Auto(l)
) (k:(n+1), l:{l:(Alph*)| ||l|| = k }. Auto(l))| 1 | (l:Alph*. FinalState(Auto)(Result(Auto)l))
(k:(n+1), l:{l:(Alph*)| ||l|| = k }. FinalState(Auto)(Result(Auto)l)) |
About:
 |  |  |  |  |  |
 |  |  |  |  |  |