Formális nyelvek és gépek

Az előadások a következő témára: "Formális nyelvek és gépek"— Előadás másolata:

1 Formális nyelvek és gépek
Csink László 2018. április 21.

2 Adjon meg (bármilyen típusú) nyelvtant, melynek nyelvét a következő reguláris kifejezés definiálja:

3 Adja meg 00101 legbal-származtatását.

4 Adja meg 00101 legjobb-származtatását.

5 Adja meg 00101 származtatási fáját (parse tree).

6 Adja meg 1001 származtatási fáját (parse tree).

7 Adja meg 00011 származtatási fáját (parse tree).

8 Legyen adott G1 Mivel az első lépésben minden → jobboldala a-val kezdődik.

9 Legyen adott G2 u2 nem származtatható, mivel X→cX sosem terminál

10 Igaz-e a fenti G nyelvtanokra, hogy L=L(G)?
(a) NEM, mert (b) NEM, mert aabba nincs L-ben, viszont származtatható

11 Az abc = {a, b, c}. Tervezzen NFA –t, amely elfogadja az aaab –t tartalmazó szavakat (és mást nem).
A végállapotot (dupla karika helyett) a szemléletesebb zöld jelzéssel jelöljük.

12 Az abc ={a, b, c}. Tervezzen NFA –t, amely pontosan azokat a szavakat fogadja el, melyek hátulról harmadik betűje a. A végállapotot (dupla karika helyett) a szemléletesebb zöld jelzéssel jelöljük.

13 Az abc ={a, b, c}. Tervezzen NFA –t, amely pontosan a b-vel kezdődő szavakat fogadja el.
A végállapotot (dupla karika helyett) a szemléletesebb zöld jelzéssel jelöljük.

14 Az abc ={a, b, c}. Tervezzen NFA –t, melynek nyelve a páros hosszú szavakból áll.
A végállapotot (dupla karika helyett) a szemléletesebb zöld jelzéssel jelöljük.

15 Az abc ={a, b, c}. Tervezzen NFA –t, melynek nyelve a c-vel
Kezdődő páratlan hosszú szavakból áll. A végállapotot (dupla karika helyett) a szemléletesebb zöld jelzéssel jelöljük.

16 Az abc ={a, b, c}. Tervezzen NFA –t melynek nyelve L= {ɛ}.
A végállapotot (dupla karika helyett) a szemléletesebb zöld jelzéssel jelöljük.

17 Az abc ={a, b, c}. Tervezzen NFA –t amely pontosan az aab-t tartalmazó szavakat fogadja el.
Alkalmazhattunk volna a 11. dián láthatóhoz hasonló ötletet. Ez a megoldás tulajdonképpen egy DFA (ami persze NFA is). A végállapotot (dupla karika helyett) a szemléletesebb zöld jelzéssel jelöljük.

18 Az abc ={a, b, c}. Tervezzen NFA –t melynek nyelve azokból a szavakból áll, amelyekben a c-k száma hárommal osztható. A végállapotot (dupla karika helyett) a szemléletesebb zöld jelzéssel jelöljük.

19 Vége