You're talking entirely about the meaning of symbols, right. That's not a question Turing addressed at all, and the answer is trivially "there are infinitely many possible semantics". Turing only addressed the question of how many physically distinct symbols there could be, and came up with the result "finitely many".