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 \}$.