Aakkosto (logiikka)

Aakkosto on äärellinen, ei-tyhjä joukko merkkejä, joita käytetään kielen muodostamiseen.

Esimerkiksi binäärijärjestelmän aakkosto koostuu merkeistä "0" ja "1". Luonnollisten kielten yhteydessä puhutaan usein aakkosista.

Luokka:Formaalit kielet
Luokka:Logiikka