n
n1)(n1
n)8. g:
(n1n)nn19. InvFuns(
nn1; (n1n); f1; g)
f:((n1n){l:(Alph*)| ||l|| = n }). Bij((n1n); {l:(Alph*)| ||l|| = n }; f)n1Alphn1; Alph; f)f:((nn1)(n1n)). Bij(nn1; (n1n); f)nn1) ~ (n1n) f:((n1n){l:(Alph*)| ||l|| = n }). Bij((n1n); {l:(Alph*)| ||l|| = n }; f)| 1 | 7. f1: (nn1)(n1n) 8. g: (n1n)nn19. InvFuns( nn1; (n1n); f1; g) f:((n1n){l:(Alph*)| ||l|| = n }). Bij((n1n); {l:(Alph*)| ||l|| = n }; f) |
About:
 |  |  |  |  |  |  |  |