Alfabeto formale

Nella teoria dei linguaggi formali, insieme finito e non vuoto di simboli, indicato di solito con Sigma, da cui si costruiscono le stringhe. Concatenando i suoi elementi si ottengono le stringhe, e l'insieme di tutte quelle possibili, inclusa quella vuota, si denota con Sigma*; un linguaggio e un sottoinsieme di esso.