Aakkoset (muodollinen kieli)

Muodollisen kielen aakkoset ovat joukko muodollisen kielen atomisia ( jakamattomia) symboleja (joskus niitä kutsutaan kirjaimiksi analogisesti luonnollisten kielten tai symbolien aakkosten kanssa ). Sanat rakennetaan muodollisen kielen aakkosten symboleista ja kielen  hyväksyttävät ilmaisut muodostetaan määrittämällä muodollinen kielioppi .

Useimmiten aakkostoa pidetään ei-tyhjänä äärellisenä joukkona . Esimerkiksi aakkoset ovat morsekoodin perusta , aakkoset  ovat yleisesti hyväksytty merkkijoukko tietojen esittämiseen tietokoneissa. Musiikkimerkit , numerot  ovat myös esimerkkejä äärellisistä aakkosista. Joissakin tapauksissa otetaan huomioon myös äärettömät aakkoset, esimerkiksi luonnollisten lukujen joukko  on yksinkertaisin esimerkki laskettavasta aakkosesta (tässä tapauksessa luonnollisia lukuja voidaan pitää myös sanoina äärellisen numeroaakon yli).

Formaalin kielen aakkosten käsitettä käytetään laajalti kielitieteessä (muodollisia kielioppeja opiskelevilla osioilla), matemaattisessa logiikassa (ensisijaisesti malliteoriassa ), automaatioteoriassa , tekoälyssä (mukaan lukien laskennallinen lingvistiikka ), tietojenkäsittelytieteessä (erityisesti kieliopin teoriassa). kielten ohjelmointi ). Erillisiä teoreettisia ongelmia muodollisten kielten sanojen ja ilmaisujen muodostamisessa aakkosten yli tutkitaan yleisalgebran ja kombinatorian avulla .