konečná, neprázdná, mno6ina symbolů
\(\Sigma \), A, B, W
\(\Sigma = {0,1} \(\Sigma = {A,C,G,T} \(\Sigma = {if, else \dots} \)
