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.

Formaalit kielet
Logiikka