Alfabetet (formellt språk)

Alfabetet för ett formellt språk är en uppsättning atomära (odelbara) symboler för ett formellt språk (ibland kallas de bokstäver i analogi med alfabetet för naturliga språk eller symboler). Ord är konstruerade från symbolerna i alfabetet för ett formellt språk , och  tillåtna uttryck för språket konstrueras genom att specificera en formell grammatik .

Oftast ses alfabetet som en icke-tom finit uppsättning . Till exempel är alfabetet grunden för morsekod , alfabetet  är en allmänt accepterad uppsättning tecken för att representera information i datorer. Musiktecken , siffror  är också exempel på finita alfabet. I vissa fall betraktas också oändliga alfabet, till exempel är uppsättningen naturliga tal  det enklaste exemplet på ett räknebart alfabet (i detta fall kan naturliga tal också betraktas som ord över ett ändligt alfabet av siffror).

Begreppet formellt språkalfabet används ofta inom lingvistik (i sektioner som studerar formell grammatik), matematisk logik (främst modellteori ), automatteori , artificiell intelligens (inklusive beräkningslingvistik ), datavetenskap (i synnerhet i teorin om språk programmering ). Separata teoretiska problem med att konstruera ord och uttryck för formella språk över alfabet studeras med hjälp av allmän algebra och kombinatorik .