https://github.com/gabboraron/algoritmuselmelet
A félév első részében (első 6 téma) az automataelmélettel foglalkozunk. A félév második részében (7., 8. és 9. téma) a formális nyelvekkel foglalkozunk.
https://github.com/gabboraron/algoritmuselmelet
formal-languages formalisnyelvek turing-machine
Last synced: 5 months ago
JSON representation
A félév első részében (első 6 téma) az automataelmélettel foglalkozunk. A félév második részében (7., 8. és 9. téma) a formális nyelvekkel foglalkozunk.
- Host: GitHub
- URL: https://github.com/gabboraron/algoritmuselmelet
- Owner: gabboraron
- License: mpl-2.0
- Created: 2021-02-09T08:02:00.000Z (over 5 years ago)
- Default Branch: main
- Last Pushed: 2021-06-05T23:45:05.000Z (about 5 years ago)
- Last Synced: 2025-07-08T10:09:23.602Z (12 months ago)
- Topics: formal-languages, formalisnyelvek, turing-machine
- Homepage: http://148.216.38.247/~rrusiles/Fie/Horizontal/Hopcroft_Introduction_to_Automata_Theory_Languages_and_Computation.pdf
- Size: 22.6 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Algoritmuselmélet
https://cyberzhg.github.io/toolbox/
**Szakirodalom:**
- [Ullman, Jeffrey D.: Introduction to Automata Theory, Languages, and Computation](http://148.216.38.247/~rrusiles/Fie/Horizontal/Hopcroft_Introduction_to_Automata_Theory_Languages_and_Computation.pdf)
- [tutorialspoint Automata Theory Tutorial](https://www.tutorialspoint.com/automata_theory/)
- [Hunyadvári A Formális nyelvek és automaták tárgy gyakorlatainak anyaga](http://aszt.inf.elte.hu/~hunlaci/gyakanyag.htm)
- [Tichler Fonya](https://web.cs.elte.hu/~tichlerk/fny/)
- [Veszprémi Anna Fonya](https://people.inf.elte.hu/veanna/fa/index.htm)
- [Solution-Introduction to Automata Theory.pdf](https://moam.info/solution-introduction-to-automata-theorypdf-yimgcom_5a1299481723dd257bf2890e.html)
- [Ésik Zoltán Automaták](https://dtk.tankonyvtar.hu/hu/tartalom/tamop425/0008_esikgombasivan/Esik_Gombas_Ivan_Automatak.pdf)
**Régi anyagaim:**
- [Formalis nyelvek (Bognar Balint, 2011).pdf](https://github.com/gabboraron/zarovizsga/blob/master/23%20-%20Formalis%20nyelvek%20(Bognar%20Balint%2C%202011).pdf)
- [Fogalomtár a Formális nyelvek és automaták tárgyhoz](https://github.com/gabboraron/zarovizsga/blob/master/defi-1(1).pdf)
**Tartalom:**
- automataelmélet
- [1. EA]()
- formális nyelvek
- [7.EA]()
----
## Téma 1
> Bevezetés a véges automaták elméletébe
>
A téma fő pontjai.
- a véges automata informális megközelítésben
- a determinisztikus véges automata (DFA) fogalma
- a DFA nyelve
Javasolt olvasnivaló: HOPCROFT, 2.1 és 2.2 fejezetek, 37-54 oldalak
## Téma 2
> Nem-determinisztikus véges automaták (NFA)
>
A téma fő pontjai:
- az NFA definícója
- a kiterjesztett átviteli függvény
- az NFA és a DFA ekvivalenciája: részhalmaz konstrukció
Javasolt olvasnivaló: HOPCROFT, 2.3 fejezet, 55-67 oldalak
## Téma 3
> Epszilon-átmenetes automaták
>
A téma fő pontjai:
- az epszilon-átmenet fogalma
- epszilon-lezárás
- az átmeneti függvény kiterjesztése
- az epszilon-átmenetek kiküszöbölése
Javasolt olvasnivaló: HOPCROFT, 2.5 fejezet, 72-80 oldalak
## Téma 4
> Reguláris kifejezések és nyelvek
>
A téma fő pontjai:
- reguláris kifejezések
- reguláris kifejezések és nyelvek
- reguláris kifejezések alkalmazása
Javasolt olvasnivaló: HOPCROFT, 3.1, 3.2, 3.3 fejezetek, 83-114 oldalak
## Téma 5
> A reguláris nyelvek tulajdonságai
>
A téma fő pontjai:
- a pumpáló lemma
- zártsági tulajdonságok
- döntési tulajdonságok
- automaták ekvivalenciája
- automata minimalizálása
Javasolt olvasnivaló: HOPCROFT, 4.1, 4.2, 4.3 és 4.4 fejezetek, 125-165 oldalak
## Téma 6
> Turing gépek
>
A téma fő pontjai:
- a Turing gép fogalma
- az euklideszi algoritmus Turing gépe
- összeadás és szorzás Turing géppel
- Turing programozó algoritmusok
- Turing programok kompozíciója
- félszalagos Turing gépek
- párhuzamos alkalmazás
- Turing program elágazása
- az univerzális Turing gép
## Téma 7
> A fő témák:
> - ábécé, szavak, nyelvek
> - műveletek szavakkal
> - műveletek nyelvekkel
> - produkciós rendszer
> - produkciós rendszer által generált nyelv
> - produkciós rendszer által elfogadott nyelv
Olvasnivaló: Hunyadvári – Manhertz: Automaták és formális nyelvek, 3-10 oldal
http://aszt.inf.elte.hu/~hunlaci/book.pdf
Az előadáson az első 20 diáról volt szó.
## Téma 8
> A fő témák:
> - generatív nyelvtanok
> - generatív nyelvtanok osztályozása
> - Chomsky hierarchia
> - kiterjesztett nyelvtanok
> - [epszilon-mentesítés](https://github.com/gabboraron/algoritmuselmelet/blob/main/szamtud2010_7.pdf)
> - láncmentesítés
> - hosszredukció
> - kiterjesztési tétel
Olvasnivaló: Hunyadvári – Manhertz: Automaták és formális nyelvek, 10-19 oldal
http://aszt.inf.elte.hu/~hunlaci/book.pdf
A 7. témába feltöltött előadást folytatjuk!
## Téma 9
> A fő témák:
> - Normálformák (Kuroda, Chomsky, Greibach)
> - 2-es típusú nyelvtanok redukálása
> - normálforma tételek
Olvasnivaló: [Hunyadvári - Manhertz: Automaták és formális nyelvek, 19 - 30 oldal](http://aszt.inf.elte.hu/~hunlaci/book.pdf)
## Készülés a vizsgára
> A vizsgán feladatok lesznek, két szinten.
>
> Az első szint feladataival elégséges(2) vagy közepes(3) érdemjegyet lehet elérni. Ha valaki ezzel megelégszik, itt meg lehet állni.
>
> Aki jó(4) vagy jeles(5) osztályzatot szeretne, meg kell írnia a második szintet is, ahol nehezebb feladatok várhatók.
>
> A fenti témákon túlmenően javasolt feladatmegoldási rutint szerezni.