Formális nyelvek és gépek

Slides:



Advertisements
Hasonló előadás
Egyszerű oszthatósági problémák
Advertisements

A digitális számítás elmélete
Hatékonyságvizsgálat, dokumentálás
INFORMÁCIÓKERESÉS JELENTÉSREPREZENTÁCIÓ ALAPJÁN
Az XI.A osztály tanulmányi előmenetelének tanulmányozása Magyarázata:
Pedagógiai kutatás (2) -kötelező tantárgy II. év, távoktatás
Valószínűségszámítás
Matematikai logika A diasorozat az Analízis 1. (Mozaik Kiadó 2005.) c. könyvhöz készült. Készítette: Dr. Ábrahám István.
4. VÉGES HALMAZOK 4.1 Alaptulajdonságok
Dinamikus tömbök.
Logika Érettségi követelmények:
A számítógépes nyelvfeldolgozás alapjai
Függvények, mutatók Csernoch Mária.
C A C nyelv utasításai.
Papp Róbert, Blaskovics Viktor, Hantos Norbert
Operációs rendszerek gyakorlat
Programozó matematikus szak 2003/2004-es tanév II. félév
A digitális számítás elmélete
A digitális számítás elmélete
Determinisztikus véges automaták csukva nyitva m s kbsm csukva nyitva csukva nyitva csukvanyitva 1. Példa: Fotocellás ajtó s b m m= mindkét helyen k= kint.
Valószínűségszámítás
MICROSOFT OFFICE EXCEL. Indítása  Start - Minden program – Microsoft Office – Microsoft Office Excel  Asztalról az ikonjára dupla kattintással.
Operációs rendszerek gyakorlat Reguláris kifejezések.
Operációs rendszerek gyakorlat. Reguláris kifejezések.
Operációs rendszerek gyakorlat sed, awk parancsok.
Figyelmeztetés! E program használata fokozottan
Halmazelmélet és matematikai logika
A digitális számítás elmélete
4. Gyires Béla Informatikai Nap Debreceni Egyetem Informatikai Kar Új eredmények a Chomsky-féle (formális) nyelvtípusokkal kapcsolatban Dr. Nagy Benedek.
*** HALMAZOK *** A HALMAZ ÉS MEGADÁSA A HALMAZ FOGALMA
1 Kedves Kolléga, kérlek, hogy PowerPoint előadásaidhoz ezt a file-t használd fel alapként! a bemutatóban már van néhány, általunk összeállított dia, melyeket.
Természetes és formális nyelvek Jellemzők, szintaxis definiálása, Montague, extenzió - intenzió, kategóriákon alapuló gramatika, alkalmazások.
Ciklusok (iterációk).
1. feladat Hány olyan permutációja van az 1,2,3,4,5,6,7,8 elemeknek, amelyekben az első három helyet a 6,7,8 elemek foglalják el valamilyen sorrendben.
1 Hernyák Zoltán Web: Magasszintű Programozási Nyelvek I. Eszterházy.
1 AAO folytatás ++ Csink László. 2 Rekurzív bináris keresés (rendezett tömbben) public static int binker(int[] tomb, int value, int low, int high) public.
Formális nyelvek előadások
„Házasodj meg, meg fogod bánni; ne házasodj meg, azt is meg fogod bánni; házasodj vagy ne házasodj, mindkettőt meg fogod bánni; vagy megházasodsz, vagy.
Megyei Matematika verseny
RADIX listákra S bac abb cbb aab abc Feladat:. S bac abb cbb aab abc RADIX listákra 1.szétfűzés: bac abb cbb aab abc EaVaEbVbEcVcEaVaEbVbEcVc Eleje és.
Személyiségteszt.
A MATEMATIKA FELÉPÍTÉSÉNEK ELEMEI
Bekezdések formázása 2..
Gazdasági informatikus - Szövegszerkesztés 1 Bekezdések formázása 2.
Grafikus programozás Készítette: Csernok László
Kiterjesztések szemantikája: Szemantikai tartomány : Adatoknak, vagy értékeknek egy nem üres halmazát szemantikai tartománynak nevezzük. Jelölése: D. Egy.
Függvények, mutatók Csernoch Mária. Függvények függvény definíciója az értelmezési tartomány tetszőleges eleméhez hozzárendel egy értéket –függvény helyettesítési.
Diatár Templomi énekrend vetítő program © polyJoe software
Számok világa.
Adatbázisok 1. SQL (alkérdések). Az IN használata Emlékezzünk vissza: Az IN után szereplő multihalmaz elemei lekérdezéssel is megadhatók SELECT nev FROM.
GRÁFOK Marczis Ádám és Tábori Ármin. Kőnig Dénes ( ) Magyar matematikus Az első tudományos színvonalú gráfelmélet könyv írója.
TÁMOP /1-2F Informatikai gyakorlatok 11. évfolyam Alapvető programozási tételek megvalósítása Czigléczky Gábor 2009.
LL(1)-elemzés ● az LL(1)-elemzők már jobbak az előzőeknél, bár nem fedik le a programozási nyelvek szükségleteit ● alapötlet: a levezetés következő lépéséhez.
Programozás alapjai Készítette: Csiszár Nóra Anita
Logika.
Programozás C# -ban Elágazások.
Változók.
GONDOLATOLVASHOW.
Gondolatolvasó trükkök
LL(1)-elemzés az LL(1)-elemzők már jobbak az előzőeknél, bár nem fedik le a programozási nyelvek szükségleteit alapötlet: a levezetés következő lépéséhez.
Cím elrendezése képpel
5 tipp a munka egyszerűsítésére
Teljes visszalépéses elemzés
Informatikai gyakorlatok 11. évfolyam
Készítette: Sinkovics Ferenc
Készítette: Sinkovics Ferenc
INFOÉRA 2006 Szövegfeldolgozás III.
Algoritmusok és Adatszerkezetek I.
POWERPOINT Bemutató készítése.
Építs a külföldi szakmai gyakorlatra álláskereséskor!
Előadás másolata:

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