Formális nyelvek és gépek Csink László 2018. április 21.
Adjon meg (bármilyen típusú) nyelvtant, melynek nyelvét a következő reguláris kifejezés definiálja:
Adja meg 00101 legbal-származtatását.
Adja meg 00101 legjobb-származtatását.
Adja meg 00101 származtatási fáját (parse tree).
Adja meg 1001 származtatási fáját (parse tree).
Adja meg 00011 származtatási fáját (parse tree).
Legyen adott G1 Mivel az első lépésben minden → jobboldala a-val kezdődik.
Legyen adott G2 u2 nem származtatható, mivel X→cX sosem terminál
Igaz-e a fenti G nyelvtanokra, hogy L=L(G)? (a) NEM, mert (b) NEM, mert aabba nincs L-ben, viszont származtatható
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.
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.
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.
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.
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.
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.
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.
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.
Vége