Alfabetul (limbaj formal)

Alfabetul unui limbaj formal este un set de simboluri atomice (indivizibile) ale unui limbaj formal (uneori sunt numite litere prin analogie cu alfabetele limbilor naturale sau simbolurilor). Cuvintele sunt construite din simbolurile alfabetului unui limbaj formal , iar  expresiile admisibile ale limbii sunt construite prin specificarea unei gramatici formale .

Cel mai adesea, alfabetul este privit ca un set finit nevid . De exemplu, alfabetul este baza codului Morse , alfabetul  este un set de caractere general acceptat pentru reprezentarea informațiilor în computere. Semnele muzicale , numerele  sunt, de asemenea, exemple de alfabete finite. În unele cazuri, sunt considerate și alfabete infinite, de exemplu, mulțimea numerelor naturale  este cel mai simplu exemplu de alfabet numărabil (în acest caz, numerele naturale pot fi considerate și cuvinte peste un alfabet finit de cifre).

Conceptul de alfabet al limbajului formal este utilizat pe scară largă în lingvistică (în secțiunile care studiază gramaticile formale), logica matematică (în primul rând teoria modelelor ), teoria automatelor , inteligența artificială (inclusiv lingvistica computațională ), informatica (în special, în teoria modelelor). programare în limbaje ). Probleme teoretice separate de construire a cuvintelor și a expresiilor limbilor formale pe alfabete sunt studiate prin intermediul algebrei generale și al combinatoriei .