Term
|
Definition
| konečná množina symbolů (značíme Σ nebo T) |
|
|
Term
|
Definition
| konečná posloupnost symbolů abecedy |
|
|
Term
| značení množiny všech řetězců nad Σ |
|
Definition
|
|
Term
| množina všech neprázdných řetězců nad Σ |
|
Definition
|
|
Term
|
Definition
| ∀x,y∈Σ∗,připojením řetězce y za řetězec x vznikne řetězec x.y |
|
|
Term
|
Definition
| |x| >= 0 || |x| = 0 <=> x = ε |
|
|
Term
|
Definition
x = a1a2...an
xR=an...a2a1 |
|
|
Term
|
Definition
|
|
Term
| Operace s formálním jazykem L nad Σ |
|
Definition
- množinové: ∪, ∩, \
- komplement jazyka L1:L1=Σ∗\L1
- součin jazyků L=L1.L2={xy:x∈L1,y∈L2}(L je definován nad abecedou Σ=Σ1∪Σ2)
- n-tá mocnina jazyka L:Ln=L.Ln−1,L0={ε}.
- iterace (Kleene star) L* jazyka L: L*=U∞n=0Ln
|
|
|
