Tähestik (matemaatika)
Matemaatikas (matemaatilises loogikas, formaalsete keelte teoorias, automaaditeoorias, poolautomaaditeoorias), informaatikas (teoreetilises informaatikas) ning lingvistikas nimetatakse tähestikuks omavahel erinevate sümbolite ehk märkide ehk tähtede lõplikku hulka või mittetühja lõplikku hulka, mõnikord ka mis tahes võimsusega hulka, olgu siis lõplikku hulka (näiteks mõne loomuliku keele tähestikku), loenduvat hulka või mitteloenduvat hulka. Kõige sagedamini koosneb see tähtedest või ASCII-keelemärkidest. Need on tavaliselt mõeldud tähistama tähti, numbreid, foneeme või sõnu. Tähestikke tähistatakse sageli tähega Σ {\displaystyle \Sigma } (sigma), harvem tähega V {\displaystyle V} (inglise sõnast vocabulary), mis tähendab siin tähestikku. Neist võetakse märgid sõnede moodustamiseks ja nii on need formaalsete keelte aluseks. Tuleb eristada üksikmärkidest koosnevat tähestikku ja mitmesuguse pikkusega sõnesid, mida selle tähestiku abil saab moodustada.