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:

• ${\displaystyle \Sigma _{1}=\{a,b,c\}}$,
• ${\displaystyle \Sigma _{2}=\{0,1,2,3,4,5,6,7,8,9\}}$,
• ${\displaystyle \Sigma _{3}=\{\alpha ,\beta \,\gamma ,\delta \}}$,
• ${\displaystyle \Sigma _{4}=\{\clubsuit ,\diamondsuit ,\heartsuit ,\spadesuit \}}$.