Em matemática, e especialmente em lógica simbólica, alfabeto é qualquer conjunto inicial de objetos a partir dos quais são gerados os outros objetos de uma dada teoria. Por exemplo, num tratamento formal da língua portuguesa, seu alfabeto básico pode ser dado por todas as palavras que estão no Pequeno Dicionário de Aurélio Buarque de Hollanda. Os outros objetos pertencentes à lingua portuguesa, os “objetos gerados”, seriam as sentenças do português — V. gramática . (Francisco Doria – DCC)