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:

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