[kgwgk]

Apparently by “finite number of symbols” he means, for example, {0 1 2 3 4 5 6 7 8 9 .} but he allows the representation of a number to contain infinitely many of them.