10.02.2019 Views

opora

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

KAPITOLA 3. REGULÁRNÍ JAZYKY 35<br />

Řešení: V řešení příkladu si ukážeme, jak vypadají stavy na jednotlivých řádcích<br />

algoritmu 3.5.<br />

0<br />

≡ δ a b<br />

1. Neobsahuje nedostupné stavy. I: A F I B II<br />

F A E<br />

0<br />

3. ≡ = {{A, F }, {B, C, D, E}} II: B<br />

I<br />

E II<br />

II<br />

D II<br />

1<br />

5.1. ≡ = {{A, F }, {B, E}, {C, D}}<br />

C C II F I<br />

D D II A I<br />

E B II C II<br />

5.2.<br />

9–11.<br />

2<br />

≡ = {{A, F }, {B, E}, {C, D}} =<br />

1<br />

≡ = ≡<br />

8. Q ′ = {[A], [B], [C]}, kde [A] =<br />

{A, F }, [B] = {B, E}, [C] =<br />

{C, D}<br />

a a a<br />

b<br />

b<br />

[A] [B] [C]<br />

1<br />

≡ δ a b<br />

I: A F I B II<br />

F A I E II<br />

II: B E II D III<br />

E B II C III<br />

III: C C III F I<br />

D D III A I<br />

b<br />

3.3 Regulární množiny a regulární výrazy<br />

3.3.1 Regulární množiny<br />

Definice 3.9 Nechť Σ je konečná abeceda. Regulární množinu nad abecedou Σ<br />

definujeme rekurzívně takto:<br />

(1) ∅ (prázdná množina) je regulární množina nad Σ<br />

(2) {ɛ} (množina obsahující pouze prázdny řetězec) je regulární množina nad Σ<br />

(3) {a} pro všechna a ∈ Σ je regulární množina nad Σ<br />

(4) jsou-li P a Q regulární množiny nad Σ, pak také P ∪ Q, P · Q a P ∗ jsou<br />

regulární množiny nad Σ<br />

(5) regulárními množinami jsou právě ty množiny, které lze získat aplikací 1–4.<br />

Třída regulárních množin je tedy nejmenší třída jazyků, která obsahuje ∅, {ɛ},<br />

{a} pro všechny symboly a a je uzavřena vzhledem k operacím sjednocení, součinu<br />

a iterace.<br />

Příklad 3.14 L = ({a} ∪ {d}) · ({b} ∗ ) · {c} je regulární množina nad Σ =<br />

{a, b, c, d}.<br />

Ukážeme, že třída regulárních množin tvoří právě třídu L 3 , tj. třídu jazyka<br />

typu 3 Chomského hierarchie.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!