4. f:
n1
Alph5. Bij(
n1; Alph; f)
n@0:, f:(n@0{l:(Alph*)| ||l|| = n }). Bij(n@0; {l:(Alph*)| ||l|| = n }; f)n:, f:(nAlph). Bij(n; Alph; f) n@0:, f:(n@0{l:(Alph*)| ||l|| = n }). Bij(n@0; {l:(Alph*)| ||l|| = n }; f)| 1 | 3. n1: 4. f: n1Alph5. Bij( n1; Alph; f) n@0:, f:(n@0{l:(Alph*)| ||l|| = n }). Bij(n@0; {l:(Alph*)| ||l|| = n }; f) |
About:
 |  |  |  |  |  |  |  |