Alfabet (formelt sprog)

Et formelt sprogs alfabet er et sæt atomare (udelelige) symboler for et formelt sprog (nogle gange kaldes de bogstaver i analogi med alfabeterne i naturlige sprog eller symboler). Ord er konstrueret ud fra symbolerne i alfabetet i et formelt sprog , og  tilladte udtryk for sproget er konstrueret ved at specificere en formel grammatik .

Oftest ses alfabetet som et ikke-tomt , endeligt sæt . For eksempel er alfabetet grundlaget for morsekode , alfabetet  er et generelt accepteret sæt af tegn til at repræsentere information i computere. Musikalske tegn , tal  er også eksempler på endelige alfabeter. I nogle tilfælde betragtes også uendelige alfabeter, for eksempel er mængden af ​​naturlige tal  det enkleste eksempel på et tælleligt alfabet (i dette tilfælde kan naturlige tal også betragtes som ord over et endeligt alfabet af cifre).

Begrebet et formelt sprogalfabet er meget udbredt i lingvistik (i sektioner, der studerer formelle grammatikker), matematisk logik (primært modelteori ), automatteori , kunstig intelligens (herunder computerlingvistik ), datalogi (især i teorien om sprog programmering ). Separate teoretiske problemer med at konstruere ord og udtryk for formelle sprog over alfabeter studeres ved hjælp af generel algebra og kombinatorik .