Abeceda (teória automatov)

V teórii formálnych jazykov sa pojmom abeceda označuje je každá konečná množina symbolov (písmen). Keďže prázdna abeceda má len veľmi triviálne vlastnosti a nie je zaujímavé ju skúmať, väčšinou požadujeme, aby uvedená množina symbolov bola aj neprázdna. Abecedy zvyčajne označujeme indexovaným veľkým gréckym písmenom Σ (sigma).

Nasledujúce množiny sú príklady rôznych abecied:

• ${\mathrm{\Sigma }}_1=\{a,b,c\}$,
• ${\mathrm{\Sigma }}_2=\{0,1,2,3,4,5,6,7,8,9\}$,
• ${\mathrm{\Sigma }}_3=\{\alpha ,\beta \gamma ,\delta \}$,
• ${\mathrm{\Sigma }}_4=\{\mathrm{♣},\mathrm{♢},\mathrm{♡},\mathrm{♠}\}$.