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