{"id":16133678,"url":"https://github.com/gabboraron/algoritmuselmelet","last_synced_at":"2026-02-05T04:32:55.272Z","repository":{"id":131753077,"uuid":"337332704","full_name":"gabboraron/algoritmuselmelet","owner":"gabboraron","description":"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.","archived":false,"fork":false,"pushed_at":"2021-06-05T23:45:05.000Z","size":23697,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-07-08T10:09:23.602Z","etag":null,"topics":["formal-languages","formalisnyelvek","turing-machine"],"latest_commit_sha":null,"homepage":"http://148.216.38.247/~rrusiles/Fie/Horizontal/Hopcroft_Introduction_to_Automata_Theory_Languages_and_Computation.pdf","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/gabboraron.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2021-02-09T08:02:00.000Z","updated_at":"2021-06-05T23:45:09.000Z","dependencies_parsed_at":"2023-06-05T21:15:11.211Z","dependency_job_id":null,"html_url":"https://github.com/gabboraron/algoritmuselmelet","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/gabboraron/algoritmuselmelet","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gabboraron%2Falgoritmuselmelet","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gabboraron%2Falgoritmuselmelet/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gabboraron%2Falgoritmuselmelet/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gabboraron%2Falgoritmuselmelet/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/gabboraron","download_url":"https://codeload.github.com/gabboraron/algoritmuselmelet/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gabboraron%2Falgoritmuselmelet/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29111856,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-05T03:44:17.043Z","status":"ssl_error","status_checked_at":"2026-02-05T03:44:12.077Z","response_time":65,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["formal-languages","formalisnyelvek","turing-machine"],"created_at":"2024-10-09T22:45:22.727Z","updated_at":"2026-02-05T04:32:55.257Z","avatar_url":"https://github.com/gabboraron.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# Algoritmuselmélet\n\nhttps://cyberzhg.github.io/toolbox/\n\n**Szakirodalom:**\n- [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)\n- [tutorialspoint Automata Theory Tutorial](https://www.tutorialspoint.com/automata_theory/)\n- [Hunyadvári A Formális nyelvek és automaták tárgy gyakorlatainak anyaga](http://aszt.inf.elte.hu/~hunlaci/gyakanyag.htm)\n- [Tichler Fonya](https://web.cs.elte.hu/~tichlerk/fny/)\n- [Veszprémi Anna Fonya](https://people.inf.elte.hu/veanna/fa/index.htm)\n- [Solution-Introduction to Automata Theory.pdf](https://moam.info/solution-introduction-to-automata-theorypdf-yimgcom_5a1299481723dd257bf2890e.html)\n- [Ésik Zoltán Automaták](https://dtk.tankonyvtar.hu/hu/tartalom/tamop425/0008_esikgombasivan/Esik_Gombas_Ivan_Automatak.pdf)\n\n**Régi anyagaim:**\n- [Formalis nyelvek (Bognar Balint, 2011).pdf](https://github.com/gabboraron/zarovizsga/blob/master/23%20-%20Formalis%20nyelvek%20(Bognar%20Balint%2C%202011).pdf)\n- [Fogalomtár a Formális nyelvek és automaták tárgyhoz](https://github.com/gabboraron/zarovizsga/blob/master/defi-1(1).pdf)\n\n**Tartalom:**\n- automataelmélet\n  - [1. EA]()\n- formális nyelvek\n  - [7.EA]()\n  \n----\n\n## Téma 1\n\u003e Bevezetés a véges automaták elméletébe\n\u003e \nA téma fő pontjai.\n- a véges automata informális megközelítésben\n- a determinisztikus véges automata (DFA) fogalma\n- a DFA nyelve\n\nJavasolt olvasnivaló: HOPCROFT, 2.1 és 2.2 fejezetek, 37-54 oldalak\n\n## Téma 2\n\u003e Nem-determinisztikus véges automaták (NFA)\n\u003e\nA téma fő pontjai:\n- az NFA definícója\n- a kiterjesztett átviteli függvény \n- az NFA és a DFA ekvivalenciája: részhalmaz konstrukció\n\nJavasolt olvasnivaló: HOPCROFT, 2.3 fejezet, 55-67 oldalak\n\n## Téma 3\n\u003e Epszilon-átmenetes automaták\n\u003e\nA téma fő pontjai:\n- az epszilon-átmenet fogalma\n- epszilon-lezárás\n- az átmeneti függvény kiterjesztése\n- az epszilon-átmenetek kiküszöbölése\n\nJavasolt olvasnivaló: HOPCROFT, 2.5 fejezet, 72-80 oldalak\n\n## Téma 4\n\u003e Reguláris kifejezések és nyelvek\n\u003e\nA téma fő pontjai:\n- reguláris kifejezések\n- reguláris kifejezések és nyelvek\n- reguláris kifejezések alkalmazása\n\nJavasolt olvasnivaló: HOPCROFT, 3.1, 3.2, 3.3 fejezetek, 83-114 oldalak\n\n## Téma 5\n\u003e A reguláris nyelvek tulajdonságai\n\u003e\nA téma fő pontjai:\n- a pumpáló lemma\n- zártsági tulajdonságok\n- döntési tulajdonságok\n- automaták ekvivalenciája\n- automata minimalizálása\n\nJavasolt olvasnivaló: HOPCROFT, 4.1, 4.2, 4.3 és 4.4 fejezetek, 125-165 oldalak\n\n## Téma 6\n\u003e Turing gépek\n\u003e\nA téma fő pontjai:\n- a Turing gép fogalma\n- az euklideszi algoritmus Turing gépe\n- összeadás és szorzás Turing géppel\n- Turing programozó algoritmusok\n- Turing programok kompozíciója\n- félszalagos Turing gépek\n- párhuzamos alkalmazás\n- Turing program elágazása\n- az univerzális Turing gép\n\n## Téma 7\n\u003e A fő témák:\n\u003e -    ábécé, szavak, nyelvek\n\u003e -    műveletek szavakkal\n\u003e -    műveletek nyelvekkel\n\u003e -    produkciós rendszer\n\u003e -    produkciós rendszer által generált nyelv\n\u003e -    produkciós rendszer által elfogadott nyelv\n\nOlvasnivaló: Hunyadvári – Manhertz: Automaták és formális nyelvek, 3-10 oldal\n\nhttp://aszt.inf.elte.hu/~hunlaci/book.pdf\n\nAz előadáson az első 20 diáról volt szó.\n\n## Téma 8\n\u003e A fő témák:\n\u003e -    generatív nyelvtanok\n\u003e -    generatív nyelvtanok osztályozása\n\u003e -    Chomsky hierarchia\n\u003e -    kiterjesztett nyelvtanok\n\u003e -    [epszilon-mentesítés](https://github.com/gabboraron/algoritmuselmelet/blob/main/szamtud2010_7.pdf)\n\u003e -    láncmentesítés\n\u003e -    hosszredukció\n\u003e -    kiterjesztési tétel\n\nOlvasnivaló: Hunyadvári – Manhertz: Automaták és formális nyelvek, 10-19 oldal\n\nhttp://aszt.inf.elte.hu/~hunlaci/book.pdf\n\nA 7. témába feltöltött előadást folytatjuk!\n\n## Téma 9\n\u003e A fő témák:\n\u003e -    Normálformák (Kuroda, Chomsky, Greibach)\n\u003e -    2-es típusú nyelvtanok redukálása\n\u003e -    normálforma tételek\n\nOlvasnivaló: [Hunyadvári - Manhertz: Automaták és formális nyelvek, 19 - 30 oldal](http://aszt.inf.elte.hu/~hunlaci/book.pdf) \n\n## Készülés a vizsgára\n\u003e A vizsgán feladatok lesznek, két szinten.\n\u003e\n\u003e 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.\n\u003e\n\u003e Aki jó(4) vagy jeles(5) osztályzatot szeretne, meg kell írnia a második szintet is, ahol nehezebb feladatok várhatók.\n\u003e\n\u003e A fenti témákon túlmenően javasolt feladatmegoldási rutint szerezni.\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgabboraron%2Falgoritmuselmelet","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgabboraron%2Falgoritmuselmelet","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgabboraron%2Falgoritmuselmelet/lists"}