Formális Nyelvek és Automaták

A példák listája

2.1. Szó hossza

2.2. Szavak egyenlősége

2.3. Véges és végtelen nyelvek

2.4. Szavak konkatenációja

2.5. Szavak konkatenációja egyelemű ábécé felett

2.6. Szó részszava

2.7. Nyelvműveletek - Gyakorló feladat

2.8. Nyelvek konkatenációja

2.9. Nyelvek számossága - Gyakorló feladat

2.10. Formális nyelvek, nyelvműveletek 1.feladat

2.11. Formális nyelvek, nyelvműveletek 2.feladat

3.1. Átírási rendszer

3.2. Levezetés átírási rendszerben

3.3. Generatív rendszer

3.4. Analitikus rendszer

3.5. Szemi-Thue rendszer

3.6. Elmélet teljessége, ellentmondásmentessége

3.7. Elemi helyettesítés

3.8. Unáris számok összeadása

3.9. Végtelen helyettesítési lánc

3.10. Unáris számok szorzása

3.11. Feladat - Legnagyobb közös osztó előállítása

3.12. Bináris szó rendezése

3.13. Bináris szó tükrözése

3.14. Bináris szó megegyező végeinek törlése

3.15. Bináris szám növelése 1-gyel

3.16. Unáris szám bináris alakja

3.17. Bináris szám csökkentése 1-gyel

3.18. Bináris szám unáris alakja

3.19. Generatív nyelvtan természetes nyelv "leírására"

3.20. Unáris négyzetszámok

3.21. Unáris prímszámok

3.22. Gyakorló feladat

3.23. Grammatikák főbb típusai 1. példa

3.24. Grammatikák főbb típusai 2. példa

3.25. Grammatikák főbb típusai 3. példa

3.26. Grammatikák főbb típusai 4. példa

3.27. Grammatikák főbb típusai 5. példa

3.28. Grammatikák főbb típusai 6. példa

3.29. Grammatikák főbb típusai 7. példa

3.30. Grammatikák főbb típusai 8. példa

3.31. Grammatikák főbb típusai 9. példa

3.32. Üresszó-lemma 1. feladat

3.33. Üresszó-lemma 2. feladat

3.34. Üresszó-lemma 3. feladat

3.35. Üresszó-lemma 4. feladat

3.36. Üresszó-lemma 5. feladat

3.37. Fibonacci szavak

3.38. Fraktálgenerálás L-rendszerrel

3.39. Kétdimenziós rajz L-rendszerrel

4.1. Automaták

4.2. Parciális automata

4.3. Nemdeterminisztikus automata

4.4. Rabin-Scott automata működés közben

4.5. A csengő, mint automata

4.6. Mealy és Moore automaták homomorfizmusa

4.7. Automataleképezések

4.8. Mealy-automata minimalizálása 1.feladat

4.9. Mealy-automata minimalizálása 2.feladat

4.10. Mealy-automata minimalizálása 3.feladat

4.11. Mealy-automata minimalizálása 4.feladat

4.12. Moore-automata minimalizálása 1.feladat

4.13. Moore-automata minimalizálása 2.feladat

4.14. Moore-automata minimalizálása 3.feladat

4.15. Átlátszóbetűs elfogadó automata

5.1. Végtelen reguláris nyelv

5.2. Nyelv megadása reguláris kifejezéssel 1. feladat

5.3. Nyelv megadása reguláris kifejezéssel 2. feladat

5.4. Nyelv megadása reguláris kifejezéssel 3. feladat

5.5. Nyelv megadása reguláris kifejezéssel 4. feladat

5.6. Nyelv megadása reguláris kifejezéssel 5. feladat

5.7. Nyelv megadása reguláris kifejezéssel 6. feladat

5.8. Reguláris kifejezés unió-normálformára alakítása - 1. feladat

5.9. Reguláris kifejezés unió-normálformára alakítása - 2. feladat

5.10. Reguláris kifejezés unió-normálformára alakítása - 3. feladat

5.11. Reguláris kifejezés unió-normálformára alakítása - 4. feladat

5.12. Reguláris kifejezés unió-normálformára alakítása - 5. feladat

5.13. Azonosítók nyelvének megadása szintaxis gráffal

5.14. Tizes számrendszerbeli egész számok nyelvének megadása szintaxis gráffal

5.15. Egész számok köznapi értelemben vett leírása - Gyakorló feladat

5.16. Egy nemdeterminisztikus véges automata

5.17. A páratlan a-ból és páros b-ből álló szavak nyelve

5.18. Az x-re végződő szavak nyelve

5.19. Automata determinizálása 1. feladat

5.20. Automata determinizálása 2. feladat

5.21. Automata determinizálása 3. feladat

5.22. Automata determinizálása 4. feladat

5.23. Automata determinizálása 5. feladat

5.24. Automata determinizálása 6. feladat

5.25. Automata determinizálása 7. feladat

5.26. Automata determinizálása 8. feladat

5.27. Véges elfogadó automata minimalizálása 1. feladat

5.28. Véges elfogadó automata minimalizálása 2. feladat

5.29. Véges elfogadó automata minimalizálása 3. feladat

5.30. Véges elfogadó automata minimalizálása 4. feladat

5.31. Ekvivalens reguláris nyelvtan megadása véges automatához 1. feladat

5.32. Ekvivalens reguláris nyelvtan megadása véges automatához 2. feladat

5.33. Ekvivalens reguláris nyelvtan megadása véges automatához 3. feladat

5.34. Ekvivalens reguláris nyelvtan megadása véges automatához 4. feladat

5.35. Ekvivalens véges automata megadása reguláris nyelvtanhoz 1. feladat

5.36. Ekvivalens véges automata megadása reguláris nyelvtanhoz 2. feladat

5.37. Ekvivalens véges automata megadása reguláris nyelvtanhoz 3. feladat

5.38. Ekvivalens véges automata megadása reguláris nyelvtanhoz 4. feladat

5.39. Ekvivalens véges automata megadása reguláris nyelvtanhoz 5. feladat

5.40. Ekvivalens véges automata megadása reguláris nyelvtanhoz 6. feladat

5.41. Ekvivalens véges automata megadása reguláris nyelvtanhoz 7. feladat

5.42. Egy véges automatával nem felismerhető nyelv

5.43. Ekvivalens reguláris kifejezés megadása véges automatához 1. feladat

5.44. Ekvivalens reguláris kifejezés megadása véges automatához 2. feladat

5.45. Ekvivalens reguláris kifejezés megadása véges automatához 3. feladat

5.46. Automata megadása reguláris kifejezéshez

5.47. Automata nyelvrendszer

5.48. Iterációs lemma alkalmazása

5.49. Reguláris nyelvtan megadása reguláris kifejezéshez 1. feladat

5.50. Reguláris nyelvtan megadása reguláris kifejezéshez 2. feladat

5.51. Reguláris nyelvtan megadása reguláris kifejezéshez 3. feladat

5.52. Reguláris nyelvtan megadása reguláris kifejezéshez 4. feladat

5.53. Reguláris nyelvtan megadása reguláris kifejezéshez 5. feladat

5.54. Reguláris nyelvtan megadása reguláris kifejezéshez 6. feladat

5.55. Reguláris nyelvtan megadása reguláris kifejezéshez 7. feladat

5.56. Reguláris nyelvtan megadása reguláris kifejezéshez 8. feladat

6.1. A kétbetűs ábécé feletti palindrómák (vagy tükörszavak) nyelvét generáló lineáris nyelvtan

6.2. 0 ⁿ 1 ⁿ nyelv - Gyakorló feladat

6.3. Erős lineáris normálalak 1. példa

6.4. Erős lineáris normálalak 2. feladat

6.5. Erős lineáris normálalak 3. feladat

6.6. Erős lineáris normálalak 4. feladat

6.7. Erős lineáris normálalak 5. feladat

6.8. Erős lineáris normálalak 6. feladat

6.9. Erős lineáris normálalak 7. feladat

6.10. Kétfejű automata készítése lineáris nyelvtanhoz

6.11. A szóprobléma megoldása lineáris nyelvekre 1.feladat

6.12. A szóprobléma megoldása lineáris nyelvekre 2.feladat

6.13. Lineáris iterációs lemma alkalmazása

6.14. Az a^kb^ka^mb^m metalineáris nyelv

7.1. A számok jelölésére használható karaktersorozatok

7.2. A számok megadása COBOL-szerű módszerrel

7.3. Levezetési fa

7.4. Csellengő "else" feladat

7.5. Chomsky normálforma 1.feladat

7.6. Chomsky normálforma 2.feladat

7.7. Chomsky normálforma 3.feladat

7.8. Greibach normálforma 1.feladat

7.9. A Bar-Hillel lemma alkalmazása

7.10. Bar-Hillel lemma 1. feladat

7.11. Bar-Hillel lemma 2. feladat

7.12. Bar-Hillel lemma 3. feladat

7.13. Bar-Hillel lemma 4. feladat

7.14. Bar-Hillel lemma 5. feladat

7.15. Bar-Hillel lemma 6. feladat

7.16. Bar-Hillel lemma 7. feladat

7.17. Bar-Hillel lemma 8. feladat

7.18. Bar-Hillel lemma 9. feladat

7.19. Verem működése

7.20. Verem, mint rekurziós eszköz

7.21. Végállapottal elfogadó veremautomata működése

7.22. Az azonos számú a és b betűből álló szavakat végállapottal elfogadó veremautomata

7.23. A Dyck nyelvet végállapottal elfogadó automata

7.24. Állapotnélküli, üres veremmel elfogadó automata működése és a legbaloldalibb levezetés kapcsolata

7.25. Veremautomaták 1. feladat

7.26. Veremautomaták 2. feladat

7.27. Veremautomaták 3. feladat

7.28. Veremautomaták 4. feladat

7.29. Veremautomaták 5. feladat

7.30. Veremautomaták 6. feladat

7.31. Veremautomaták 7. feladat

7.32. Veremautomaták 8. feladat

7.33. Veremautomaták 9. feladat

7.34. A jelölt másolatok nyelvének komplementere - Gyakorló feladat

7.35. Cocke-Younger-Kasami algoritmus 1. feladat

7.36. Cocke-Younger-Kasami algoritmus 2. feladat

7.37. Cocke-Younger-Kasami algoritmus 3. feladat

7.38. Cocke-Younger-Kasami algoritmus 4. feladat

7.39. Earley algoritmus 1.feladat

7.40. Earley algoritmus 2. feladat

7.41. Earley algoritmus 3. feladat

7.42. Earley algoritmus 4. feladat

8.1. Monoton nyelvtan

8.2. Kuroda normálforma 1.feladat

8.3. Kuroda normálforma 2.feladat

8.4. Kuroda normálforma 3.feladat

8.5. Kuroda normálforma 4.feladat

8.6. Kuroda normálforma 5.feladat

8.7. Kuroda normálforma 6.feladat

8.8. Permutációs nyelvtan

8.9. Levezetési gráf monoton esetben

8.10. Levezetési gráf környezetfüggő nyelvtanban

8.11. Környezetfüggő levezetési fa

8.12. Árnyék-veremautomata és működése

8.13. Egy növekvő környezetfüggő nyelv

9.1. Turing gépek 1.feladat

9.2. Turing gépek 2.feladat

9.3. Turing gépek 3.feladat

9.4. Turing gépek 4. feladat

10.1. CD nyelvtanrendszer

10.2. CD nyelvtanrendszer

10.3. CD nyelvtanrendszerek - Gyakorló feladat

10.4. PC nyelvtanrendszer

10.5. PC nyelvtanrendszer gyakorló feladat