Abeceda (teória automatov)

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

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