Automaták éJ,formális nyelvek - vizsgafe}'adatok

2015.január 9.

1.. feladat. Legyen Lt: {o,b}, Lz: {aa,bb}' (A) Mutassa be a reguláris műve}eteket(unió,
konkatenáció, konkatenácilLezárása vagy ,psillag'') ezeken a nyelveken , aza%adja meg az L1U L2,
Lt' Lz, Li ésL\ nyelvet.
(B) Foga]mazza me1 (,paját szavaival''), hogy milyen típusú szava}ból áIl az L|, L2 nye|v.

2. feladat. Igazolja, hogy a véges automatáva] elfogadható nyelvek osztálya zárt areguláris
műveletekre nézve. (Lzaa: ha 'tr és"L2elfogadható végesautomatával, akkor létezik az L1U L2,
Lt.Lz, és.Li nyelveket elfogadó végesautomata is.)

3. feladat. (A) Definialja a generatív grammatika fogalmát, írja ]e a levezetésés a generalb

nyelv definÍcióját'
(B) Adja meg azokat a kritériumokat, melyek alapján egy glaÍnmatikát környezetfüggetlennek
illetve azokat, amelyek alapján egy gIarunatikát regulárisnak nevezünk.

4. feladat. Mely allítások igazak az alábbiak közül az 7: {anL |,, > 1} nyeiwe? Vá,laszait
indokolja meg!
. a) .L környezetfüggetlen nyelv.
b) .L környezetfüggő nyelv.
c) ,L egyértelmű környezetfüggetlen nyelv, aaaz olyan nyelv amelyik generáihatT egyértelmű
környezetfüggetlen nyelvt annal.
,
d) L determinisztikus környezetfüggetlen nyelv,

5. feladat. (A) Definialja a Veremautomata fogalmát, írja le a konfiguráció átmenet és az

elfogadott nyelv definícióját.
(B) Mutassa meg' hogy minden .L környezetfüggetlen nyelvhez létezik olyan verematuomata,
amelyik az L nyelvet fogadja el.

6. feladat. (A) Adja meg az egyszalagos, nemdeterminisztikus Tlrring gép definícióját.

(B) Soro}jon felolyan T\rring gépváltozatokat, meiyek ekvivalensek az egyszalagos, nemdeter-
minisztikusa T\rring gépekkel (a számítasi ,,eÍő,,,aza:Zanyelvek elfogadasa, elutasítasa, felsorolasa
szempontjából)'