VIK Wiki - Felhasználó közreműködései [hu]

Modellalapú szoftvertervezés

2018-05-16T15:05:43Z

Tóth Krisztián Dávid:

{{Tantárgy
| név = Modell alapú rendszertervezés (MDSD)
| tárgykód = VIMIM147
| szak = info MSc
| kredit = 4
| félév = 1
| kereszt =
| tanszék = MIT
| jelenlét =
| minmunka =
| labor =
| kiszh =
| nagyzh =
| hf = 1 db
| vizsga = szóbeli
| levlista =
| tad = https://www.vik.bme.hu/kepzes/targyak/VIMIM147/
| tárgyhonlap = https://inf.mit.bme.hu/edu/courses/mdsd
}}

__TOC__

== Előadásanyag ==

* [[Media:MDSD_EA_2017_1.zip | MDSD előadások 00-05]]
* [[Media:MDSD_EA_2017_2.zip | MDSD előadások 06-13]]

== Viszga ==

* [[Media: Modellalapú_szoftvertervezés_vizsgatételek_2017.docx | Vizsga tétel-EA dia pointer + külső forrás]]
* [[Media: MDSD_vizsga_2017_tetelsor-kidolgozás.PDF | 2017-es viszga kidolgozás (kézzel írt)]]

{{Lábléc - Kritikus rendszerek szakirány}}

Sablon:Lábléc - Kritikus rendszerek szakirány

2018-05-16T15:01:01Z

Tóth Krisztián Dávid:

<onlyinclude>
{{Infobox-táblázat|
{{Infobox-táblázatcím|[[Kritikus rendszerek szakirány|Kritikus rendszerek]] - [[Mérnök informatikus MSc|Mérnök informatikus MSc]]}}
{{Infobox-táblázatsor|1. félév (tavasz)|[[Adatbiztonság]]  •  [[Formális módszerek]]  •  [[Modellalapú szoftvertervezés]]  •  [[Rendszeroptimalizálás]]  •  [[Szolgáltatásbiztonságra tervezés]]  •  [[Szolgáltatásintegráció]]}}
{{Infobox-táblázatsor|2. félév (ősz)|[[Alkalmazott algebra]]  •  [[Autonóm és hibatűrő informatikai rendszerek]]  •  [[Matematikai logika]]  •  [[Nyelvek és automaták]]  •  [[Szoftverarchitektúrák]]  •  [[Szoftverellenőrzési technikák]]  •  [[Szolgáltatásbiztonságra tervezés laboratórium]]}}
{{Infobox-táblázatsor|3. félév (tavasz)|[[Rendszerintegráció és -felügyelet laboratórium]]}}
{{Lábléc - Mérnök informatikus MSc: Egyéb sor}}
}}
<includeonly>
[[Kategória:Szolgáltatásbiztos rendszertervezés szakirány]]
[[Kategória:Mérnök informatikus MSc]]
</includeonly>
</onlyinclude>
{{Szakirányos lábléc leírás|Szolgáltatásbiztos rendszertervezés szakirány}}

Sablon:Lábléc - Kritikus rendszerek szakirány

2018-05-16T15:00:09Z

Tóth Krisztián Dávid: Új oldal, tartalma: „<onlyinclude> {{Infobox-táblázat| {{Infobox-táblázatcím|Kritikus rendszerek szakirány|Szolgáltatásbiztos…”

<onlyinclude>
{{Infobox-táblázat|
{{Infobox-táblázatcím|[[Kritikus rendszerek szakirány|Szolgáltatásbiztos rendszertervezés]] - [[Mérnök informatikus MSc|Mérnök informatikus MSc]]}}
{{Infobox-táblázatsor|1. félév (tavasz)|[[Adatbiztonság]]  •  [[Formális módszerek]]  •  [[Modellalapú szoftvertervezés]]  •  [[Rendszeroptimalizálás]]  •  [[Szolgáltatásbiztonságra tervezés]]  •  [[Szolgáltatásintegráció]]}}
{{Infobox-táblázatsor|2. félév (ősz)|[[Alkalmazott algebra]]  •  [[Autonóm és hibatűrő informatikai rendszerek]]  •  [[Matematikai logika]]  •  [[Nyelvek és automaták]]  •  [[Szoftverarchitektúrák]]  •  [[Szoftverellenőrzési technikák]]  •  [[Szolgáltatásbiztonságra tervezés laboratórium]]}}
{{Infobox-táblázatsor|3. félév (tavasz)|[[Rendszerintegráció és -felügyelet laboratórium]]}}
{{Lábléc - Mérnök informatikus MSc: Egyéb sor}}
}}
<includeonly>
[[Kategória:Szolgáltatásbiztos rendszertervezés szakirány]]
[[Kategória:Mérnök informatikus MSc]]
</includeonly>
</onlyinclude>
{{Szakirányos lábléc leírás|Szolgáltatásbiztos rendszertervezés szakirány}}

Modellalapú szoftvertervezés

2018-05-16T14:57:45Z

Tóth Krisztián Dávid:

{{Tantárgy
| név = Modell alapú rendszertervezés
| tárgykód = VIMIM147
| szak = info MSc
| kredit = 4
| félév = 1
| kereszt =
| tanszék = MIT
| jelenlét =
| minmunka =
| labor =
| kiszh =
| nagyzh =
| hf = 1 db
| vizsga = szóbeli
| levlista =
| tad = https://www.vik.bme.hu/kepzes/targyak/VIMIM147/
| tárgyhonlap = https://inf.mit.bme.hu/edu/courses/mdsd
}}

__TOC__

== Előadásanyag ==

* [[Media:MDSD_EA_2017_1.zip | MDSD előadások 00-05]]
* [[Media:MDSD_EA_2017_2.zip | MDSD előadások 06-13]]

== Viszga ==

* [[Media: Modellalapú_szoftvertervezés_vizsgatételek_2017.docx | Vizsga tétel-EA dia pointer + külső forrás]]
* [[Media: MDSD_vizsga_2017_tetelsor-kidolgozás.PDF | 2017-es viszga kidolgozás (kézzel írt)]]

{{Lábléc - Kritikus rendszerek szakirány}}

Modellalapú szoftvertervezés

2018-05-16T14:57:37Z

Tóth Krisztián Dávid:

{{Tantárgy
| név = Modell alapú rendszertervezés
| tárgykód = VIMIM147
| szak = info MSc
| kredit = 4
| félév = 1
| kereszt =
| tanszék = MIT
| jelenlét =
| minmunka =
| labor =
| kiszh =
| nagyzh =
| hf = 1 db
| vizsga = szóbeli
| levlista =
| tad = https://www.vik.bme.hu/kepzes/targyak/VIMIM147/
| tárgyhonlap = https://inf.mit.bme.hu/edu/courses/mdsd
}}

__TOC__

== Előadásanyag ==

* [[Media:MDSD_EA_2017_1.zip | MDSD előadások 00-05]]
* [[Media:MDSD_EA_2017_2.zip | MDSD előadások 06-13]]

== Viszga ==

* [[Media: Modellalapú_szoftvertervezés_vizsgatételek_2017.docx | Vizsga tétel-EA dia pointer + külső forrás]]
* [[Meida: MDSD_vizsga_2017_tetelsor-kidolgozás.PDF | 2017-es viszga kidolgozás (kézzel írt)]]

{{Lábléc - Kritikus rendszerek szakirány}}

Fájl:MDSD vizsga 2017 tetelsor-kidolgozás.PDF

2018-05-16T14:56:45Z

Tóth Krisztián Dávid:

Fájl:Modellalapú szoftvertervezés vizsgatételek 2017.docx

2018-05-16T14:51:32Z

Tóth Krisztián Dávid:

Fájl:MDSD EA 2017 2.zip

2018-05-16T14:49:24Z

Tóth Krisztián Dávid:

Fájl:MDSD EA 2017 1.zip

2018-05-16T14:43:39Z

Tóth Krisztián Dávid:

Nyelvek és automaták

2018-01-18T17:56:50Z

Tóth Krisztián Dávid: /* Gyakorlatok */

{{Tantárgy
|nev=Nyelvek és automaták
|tárgykód = VISZMA04
|kredit=4
|felev=Őszi
|kiszh=
|vizsga=nincs
|nagyzh=3 db
|hf=opcionális
|szak=MSC info
|levlista=infomscATsch.bme.hu
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZM104/
|targyhonlap=http://cs.bme.hu/nya/
}}

==Hasznos Infók==
* Előadó: Csima Judit (2017)
* A tárgy ötéves megfelelője: [[Formális nyelvek]]

==Segédanyagok==
===Jegyzetek===
* '''[http://www.cs.bme.hu/~friedl/nya/jegyzet-13.pdf Hivatalos jegyzet]'''
* [[Média:Nyau_jegyzet_2010.pdf‎|Legépelt jegyzet 2010 ősz]]
* [[Média:Nyau_kieg_2017_CYK_Algo.pdf|Kiegészítő anyag 2017 - CYK algoritmus]]

===Könyv===
* [[Média:Nyau_konyv_2002.pdf‎‎|Formális nyelvek (Bach Iván)]]
* Algoritmusok (Ivanyos Gábor; Szabó Réka; Rónyai Lajos)

==Gyakorlatok==
Hivatalos, kötelező gyakorlat ugyan nincs a tárgyból, azonban minden évben szokott lenni fakultatív konzultáció, ahol a tárgyoldalra kirakott feladatsorokat veszik végig.

===Gyakorlat 2017===

[[Média:Nyau_gyak_2017.zip | Gyakorlati anyag 2017]]

[[Média:Nyau_szorgalmi_2017.pdf| Szorgalmi, nehéz feladatok 2017]]

===Gyakorlat 2014===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2014_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_2014_gyak1_megoldasok.pdf|Véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_2014_gyak2 megoldasok.pdf|Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_3_min.pdf‎|Minimalizálás]] || Minimalizálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_4_pump.pdf‎|Pumpálás]] || Pumpálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_5_reg_nyelv.pdf‎|Reguláris nyelvek]] || Reguláris nyelvek - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_6_nyelvtan.pdf|Nyelvtanok]] || Nyelvtanok - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_7_cf_nyelvtanok.pdf|CF nyelvtanok átalakításai, egyértelműség]] || [[Média:Nyau_2014_gyak7_megoldasok.pdf|CF nyelvtanok átalakításai, egyértelműség - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_8_cf_pumpa.pdf‎|CF pumpálás]] || [[Média:Nyau_2014_gyak8_megoldasok.pdf|CF pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_9_veremautomatak.pdf‎|Veremautomaták]] || [[Média:Nyau_2014_gyak9_megoldasok.pdf|Veremautomaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_10_cf_pda.pdf‎|Veremautomaták és CF nyelvtanok]] || [[Média:Nyau_2014_gyak10_megoldasok.pdf|Veremautomaták és CF nyelvtanok - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_11_cnf_cyk.pdf‎|Chomsky-normálforma, CYK algoritmus]] || [[Média:Nyau_2014_gyak11_megoldasok.pdf|Chomsky-normálforma, CYK algoritmus - megoldások]]
|-
| [[Média:Nyau_2014_gyak12_feladat.pdf|Turing-gép]] || [[Média:Nyau_2014_gyak12_megoldasok.pdf|Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak13_feladat.pdf|k-szalagos Turing-gép]] || [[Média:Nyau_2014_gyak13_megoldasok.pdf|k-szalagos Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak14_feladat.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE]] || [[Média:Nyau_2014_gyak14_megoldasok.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE - megoldások]]
|-
| [[Média:Nyau_2014_gyak15_feladat.pdf|R, RE, Nevezetes nyelvek]] || [[Média:Nyau_2014_gyak15_megoldasok.pdf|R, RE, Nevezetes nyelvek - megoldások]]
|-
| [[Média:Nyau_2014_gyak16_feladat.pdf|Rice tétel, PCP]] || [[Média:Nyau_2014_gyak16_megoldasok.pdf|Rice tétel, PCP - megoldások]]
|-
| [[Média:Nyau_2014_gyak17_feladat.pdf|Nyelvtanok és TG-ek]] || [[Média:Nyau_2014_gyak17_megoldasok.pdf|Nyelvtanok és TG-ek - megoldások]]
|-
| [[Média:Nyau_2014_gyak18_feladat.pdf|Tár- és időbonyolultság]] || [[Média:Nyau_2014_gyak18_megoldasok.pdf|Tár- és időbonyolultság - megoldások]]
|}

===Gyakorlat 2012===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2012_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_3_min.pdf‎|Minimalizálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_4_pump.pdf‎|Pumpálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|}
===Gyakorlat 2011===
* [[Média:NyA-2011Osz-Gyakorlat-Feladatok.zip|NyA-2011Osz-Gyakorlat-Feladatok.zip]]
* [[Média:nyau_3.zip|2011. 3 ZH előtti gyakorlatok]]

===Gyakorlat 2010===
(Nem hivatalos megoldások, tehát tartalmazhatnak hibát, csak saját felelősségre!)
* 1. gyakorlat (2010.09.09) [[Média:Nya-g-10o-1-va.pdf|Feladatsor]]
* 2. gyakorlat (2010.09.16) [[Média:Nya-g-10o-2-va.pdf|Feladatsor]] [[Média:Nya-m-10o-2.pdf|Megoldás]]
* 3. gyakorlat (2010.09.23) [[Média:Nya-g-10o-3-rkif.pdf|Feladatsor]] [[Média:Nya-m-10o-3.pdf|Megoldás]]
* 4. gyakorlat (2010.09.30) [[Média:Nya-g-10o-4-nyelvtan.pdf|Feladatsor]] [[Média:Nya-m-10o-4.pdf|Megoldás]]
* 5. gyakorlat (2010.10.14) [[Média:Nya-g-10o-5-verem.pdf|Feladatsor]] [[Média:Gyak05.zip|Megoldás]]
* 6. gyakorlat (2010.10.21) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak06.zip|Megoldás]] (6/1 c. feladatnál a megoldás jó, de nem az algoritmus szerint van átalakítva. ZH-n az algoritmust kell használni)
* 7. gyakorlat (2010.10.28) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak07.zip|Megoldás]]
* 8. gyakorlat (2010.11.04) [[Média:Nya-g-10o-7-cfpump.pdf|Feladatsor]] [[Média:Gyak08.zip|Megoldás]]
* 9. gyakorlat (2010.11.11) [[Média:Nya-g-10o-8-re.pdf|Feladatsor]] [[Média:Gyak09.zip|Megoldás]] (Frissült 2010.12.04-én)
* 10. gyakorlat (2010.11.18) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak10.zip|Megoldás]]
* 11. gyakorlat (2010.11.25) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak11.zip|Megoldás]]
* 12. gyakorlat (2010.12.02) [[Média:Nya-g-10o-10-ido.pdf|Feladatsor]] [[Média:Gyak12.zip|Megoldás]]

==ZH-k==
Három zh lesz, ezeken az anyaghoz kapcsolódó feladatokat kell megoldani, illetve az órai anyagot számonkérő elméleti kérdés(ek)re kell válaszolni. Minden zh a hozzá tartozó pótzh-n pótolható/javítható. (általában egy héttel később kedd/csütörtök) Egy zh pótolható ezen felül a pótlási héten (pótpótzh). A 2014-es őszi félévtől kezdve egy elméleti kérdés (tétel, vagy definíció kimondása, esetleg egyszerűbb bizonyítás vagy órán tanult konstrukció) is van.

===1. ZH===
* [[Média:Nyau_zh1_2016.pdf |2016 ZH1]] [[Média:Nyau_zh1_2016_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2015.pdf |2015 ZH1]] [[Média:Nyau_zh1_2015_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2014.pdf |2014 ZH1]] [[Média:Nyau_zh1_2014_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2013.pdf |2013 ZH1]] [[Média:Nyau_zh1_2013_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2012.jpg|2012 ZH1]]
* [[Média:Nyau_zh1_zh2_2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh1_2010.jpg|2010 ZH1]]
* [[Média:Nyau_zh1_2009.pdf|2009 ZH1]]

===2. ZH===
* [[Média:Nyau_zh2_2016.pdf |2016 ZH2]]
* [[Média:Nyau_zh2_2015.pdf |2015 ZH2]]
* [[Média:Nyau_zh2_2014_eredeti.pdf |2014 ZH2]]
* [[Média:Nyau_zh2_2014.pdf| Nem hivatalos feladat megoldások 2.ZH témaköréből]]
* [[Média:Nyau_zh2_2013.pdf‎|2013 ZH2]]
* [[Média:Nyau_zh2_2012.pdf‎|2012 ZH2]]
* [[Média:Nyau_zh2_2011.pdf‎‎|2011 ZH2]]
* [[Média:Nyau zh1 zh2 2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh2_2010.pdf‎|2010 ZH2]]
* [[Média:Nyau_zh2_2009.pdf|2009 ZH2]]

===3. ZH===
* [[Média:Nyau_zh3_2015.pdf|2015 ZH3]]
* [[Média:Nyau_zh3_2014_eredeti.pdf‎|2014 ZH3]]
* [[Média:Nyau_zh3_2014.pdf| Nem hivatalos feladat megoldások 3.ZH témaköréből]]
* [[Média:Nyau_zh3_2013.pdf‎|2013 ZH3]]
* [[Média:Nyau_zh3_2012.pdf‎‎‎‎|2012 ZH3]]
* [[Média:Nyau_zh3_2011.pdf‎‎‎|2011 ZH3]]
* [[Média:Nyau_zh3_2010.pdf‎‎|2010 ZH3]]
* [[Média:Nyau_zh3_2009.pdf‎|2009 ZH3]]

===Régi 4. zh-k===
* [[Média:Nyau_zh4_2014.pdf| Nem hivatalos feladat megoldások 4.ZH témaköréből]]
* [[Média:Nyau_zh4_2013.pdf|2013 ZH4]]
* [[Média:Nyau_zh4_2012.pdf|2012 ZH4]]
* [[Média:Nyau_zh4_2011.pdf|2011 ZH4]]
* [[Média:Nyau_zh4_2010.pdf|2010 ZH4]]
* [[Média:Nyau_zh4_2009.pdf|2009 ZH4]]

{{Lábléc - Mérnök informatikus mesterszak}}

Nyelvek és automaták

2018-01-18T17:56:17Z

Tóth Krisztián Dávid: /* 3. ZH */

{{Tantárgy
|nev=Nyelvek és automaták
|tárgykód = VISZMA04
|kredit=4
|felev=Őszi
|kiszh=
|vizsga=nincs
|nagyzh=3 db
|hf=opcionális
|szak=MSC info
|levlista=infomscATsch.bme.hu
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZM104/
|targyhonlap=http://cs.bme.hu/nya/
}}

==Hasznos Infók==
* Előadó: Csima Judit (2017)
* A tárgy ötéves megfelelője: [[Formális nyelvek]]

==Segédanyagok==
===Jegyzetek===
* '''[http://www.cs.bme.hu/~friedl/nya/jegyzet-13.pdf Hivatalos jegyzet]'''
* [[Média:Nyau_jegyzet_2010.pdf‎|Legépelt jegyzet 2010 ősz]]
* [[Média:Nyau_kieg_2017_CYK_Algo.pdf|Kiegészítő anyag 2017 - CYK algoritmus]]

===Könyv===
* [[Média:Nyau_konyv_2002.pdf‎‎|Formális nyelvek (Bach Iván)]]
* Algoritmusok (Ivanyos Gábor; Szabó Réka; Rónyai Lajos)

==Gyakorlatok==
Hivatalos, kötelező gyakorlat ugyan nincs a tárgyból, azonban minden évben szokott lenni fakultatív konzultáció, ahol a tárgyoldalra kirakott feladatsorokat veszik végig.

===Gyakorlat 2017===

[[Média:Nyau_gyak_2017.zip | Gyakorlati anyag 2017]]

[[Média:Nyau_szorgalmi_2017.pdf| Szorgalmi, nehéz feladatok 2017]]

===Gyakorlat 2014===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2014_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_2014_gyak1_megoldasok.pdf|Véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_2014_gyak2 megoldasok.pdf|Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_3_min.pdf‎|Minimalizálás]] || Minimalizálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_4_pump.pdf‎|Pumpálás]] || Pumpálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_5_reg_nyelv.pdf‎|Reguláris nyelvek]] || Reguláris nyelvek - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_6_nyelvtan.pdf|Nyelvtanok]] || Nyelvtanok - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_7_cf_nyelvtanok.pdf|CF nyelvtanok átalakításai, egyértelműség]] || [[Média:Nyau_2014_gyak7_megoldasok.pdf|CF nyelvtanok átalakításai, egyértelműség - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_8_cf_pumpa.pdf‎|CF pumpálás]] || [[Média:Nyau_2014_gyak8_megoldasok.pdf|CF pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_9_veremautomatak.pdf‎|Veremautomaták]] || [[Média:Nyau_2014_gyak9_megoldasok.pdf|Veremautomaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_10_cf_pda.pdf‎|Veremautomaták és CF nyelvtanok]] || [[Média:Nyau_2014_gyak10_megoldasok.pdf|Veremautomaták és CF nyelvtanok - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_11_cnf_cyk.pdf‎|Chomsky-normálforma, CYK algoritmus]] || [[Média:Nyau_2014_gyak11_megoldasok.pdf|Chomsky-normálforma, CYK algoritmus - megoldások]]
|-
| [[Média:Nyau_2014_gyak12_feladat.pdf|Turing-gép]] || [[Média:Nyau_2014_gyak12_megoldasok.pdf|Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak13_feladat.pdf|k-szalagos Turing-gép]] || [[Média:Nyau_2014_gyak13_megoldasok.pdf|k-szalagos Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak14_feladat.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE]] || [[Média:Nyau_2014_gyak14_megoldasok.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE - megoldások]]
|-
| [[Média:Nyau_2014_gyak15_feladat.pdf|R, RE, Nevezetes nyelvek]] || [[Média:Nyau_2014_gyak15_megoldasok.pdf|R, RE, Nevezetes nyelvek - megoldások]]
|-
| [[Média:Nyau_2014_gyak16_feladat.pdf|Rice tétel, PCP]] || [[Média:Nyau_2014_gyak16_megoldasok.pdf|Rice tétel, PCP - megoldások]]
|-
| [[Média:Nyau_2014_gyak17_feladat.pdf|Nyelvtanok és TG-ek]] || [[Média:Nyau_2014_gyak17_megoldasok.pdf|Nyelvtanok és TG-ek - megoldások]]
|-
| [[Média:Nyau_2014_gyak18_feladat.pdf|Tár- és időbonyolultság]] || [[Média:Nyau_2014_gyak18_megoldasok.pdf|Tár- és időbonyolultság - megoldások]]
|}

===Gyakorlat 2012===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2012_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_3_min.pdf‎|Minimalizálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_4_pump.pdf‎|Pumpálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|}
===Gyakorlat 2011===
* [[Média:NyA-2011Osz-Gyakorlat-Feladatok.zip|NyA-2011Osz-Gyakorlat-Feladatok.zip]]
* [[Média:nyau_3.zip|2011. 3 ZH előtti gyakorlatok]]

===Gyakorlat 2010===
(Nem hivatalos megoldások, tehát tartalmazhatnak hibát, csak saját felelősségre!)
* 1. gyakorlat (2010.09.09) [[Média:Nya-g-10o-1-va.pdf|Feladatsor]]
* 2. gyakorlat (2010.09.16) [[Média:Nya-g-10o-2-va.pdf|Feladatsor]] [[Média:Nya-m-10o-2.pdf|Megoldás]]
* 3. gyakorlat (2010.09.23) [[Média:Nya-g-10o-3-rkif.pdf|Feladatsor]] [[Média:Nya-m-10o-3.pdf|Megoldás]]
* 4. gyakorlat (2010.09.30) [[Média:Nya-g-10o-4-nyelvtan.pdf|Feladatsor]] [[Média:Nya-m-10o-4.pdf|Megoldás]]
* 5. gyakorlat (2010.10.14) [[Média:Nya-g-10o-5-verem.pdf|Feladatsor]] [[Média:Gyak05.zip|Megoldás]]
* 6. gyakorlat (2010.10.21) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak06.zip|Megoldás]] (6/1 c. feladatnál a megoldás jó, de nem az algoritmus szerint van átalakítva. ZH-n az algoritmust kell használni)
* 7. gyakorlat (2010.10.28) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak07.zip|Megoldás]]
* 8. gyakorlat (2010.11.04) [[Média:Nya-g-10o-7-cfpump.pdf|Feladatsor]] [[Média:Gyak08.zip|Megoldás]]
* 9. gyakorlat (2010.11.11) [[Média:Nya-g-10o-8-re.pdf|Feladatsor]] [[Média:Gyak09.zip|Megoldás]] (Frissült 2010.12.04-én)
* 10. gyakorlat (2010.11.18) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak10.zip|Megoldás]]
* 11. gyakorlat (2010.11.25) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak11.zip|Megoldás]]
* 12. gyakorlat (2010.12.02) [[Média:Nya-g-10o-10-ido.pdf|Feladatsor]] [[Média:Gyak12.zip|Megoldás]]

===Gyakorlat 2009 ===
* {{InLineFileLink|Infoszak|Nya|nya09f1.zip|nya09f1.zip}}: az első 2009-es feladatsor "megoldása" (itt-ott lehet hibás)
* {{InLineFileLink|Infoszak|Nya|nya09f2.zip|nya09f2.zip}}: a második 2009-es feladatsor "megoldása" (itt-ott lehet hibás)

==ZH-k==
Három zh lesz, ezeken az anyaghoz kapcsolódó feladatokat kell megoldani, illetve az órai anyagot számonkérő elméleti kérdés(ek)re kell válaszolni. Minden zh a hozzá tartozó pótzh-n pótolható/javítható. (általában egy héttel később kedd/csütörtök) Egy zh pótolható ezen felül a pótlási héten (pótpótzh). A 2014-es őszi félévtől kezdve egy elméleti kérdés (tétel, vagy definíció kimondása, esetleg egyszerűbb bizonyítás vagy órán tanult konstrukció) is van.

===1. ZH===
* [[Média:Nyau_zh1_2016.pdf |2016 ZH1]] [[Média:Nyau_zh1_2016_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2015.pdf |2015 ZH1]] [[Média:Nyau_zh1_2015_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2014.pdf |2014 ZH1]] [[Média:Nyau_zh1_2014_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2013.pdf |2013 ZH1]] [[Média:Nyau_zh1_2013_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2012.jpg|2012 ZH1]]
* [[Média:Nyau_zh1_zh2_2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh1_2010.jpg|2010 ZH1]]
* [[Média:Nyau_zh1_2009.pdf|2009 ZH1]]

===2. ZH===
* [[Média:Nyau_zh2_2016.pdf |2016 ZH2]]
* [[Média:Nyau_zh2_2015.pdf |2015 ZH2]]
* [[Média:Nyau_zh2_2014_eredeti.pdf |2014 ZH2]]
* [[Média:Nyau_zh2_2014.pdf| Nem hivatalos feladat megoldások 2.ZH témaköréből]]
* [[Média:Nyau_zh2_2013.pdf‎|2013 ZH2]]
* [[Média:Nyau_zh2_2012.pdf‎|2012 ZH2]]
* [[Média:Nyau_zh2_2011.pdf‎‎|2011 ZH2]]
* [[Média:Nyau zh1 zh2 2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh2_2010.pdf‎|2010 ZH2]]
* [[Média:Nyau_zh2_2009.pdf|2009 ZH2]]

===3. ZH===
* [[Média:Nyau_zh3_2015.pdf|2015 ZH3]]
* [[Média:Nyau_zh3_2014_eredeti.pdf‎|2014 ZH3]]
* [[Média:Nyau_zh3_2014.pdf| Nem hivatalos feladat megoldások 3.ZH témaköréből]]
* [[Média:Nyau_zh3_2013.pdf‎|2013 ZH3]]
* [[Média:Nyau_zh3_2012.pdf‎‎‎‎|2012 ZH3]]
* [[Média:Nyau_zh3_2011.pdf‎‎‎|2011 ZH3]]
* [[Média:Nyau_zh3_2010.pdf‎‎|2010 ZH3]]
* [[Média:Nyau_zh3_2009.pdf‎|2009 ZH3]]

===Régi 4. zh-k===
* [[Média:Nyau_zh4_2014.pdf| Nem hivatalos feladat megoldások 4.ZH témaköréből]]
* [[Média:Nyau_zh4_2013.pdf|2013 ZH4]]
* [[Média:Nyau_zh4_2012.pdf|2012 ZH4]]
* [[Média:Nyau_zh4_2011.pdf|2011 ZH4]]
* [[Média:Nyau_zh4_2010.pdf|2010 ZH4]]
* [[Média:Nyau_zh4_2009.pdf|2009 ZH4]]

{{Lábléc - Mérnök informatikus mesterszak}}

Fájl:Nyau zh3 2015.pdf

2018-01-18T17:55:50Z

Tóth Krisztián Dávid:

Fájl:Nyau zh3 2014 eredeti.pdf

2018-01-18T17:49:47Z

Tóth Krisztián Dávid:

Nyelvek és automaták

2018-01-18T17:43:49Z

Tóth Krisztián Dávid: /* Régi 4. zh-k */

{{Tantárgy
|nev=Nyelvek és automaták
|tárgykód = VISZMA04
|kredit=4
|felev=Őszi
|kiszh=
|vizsga=nincs
|nagyzh=3 db
|hf=opcionális
|szak=MSC info
|levlista=infomscATsch.bme.hu
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZM104/
|targyhonlap=http://cs.bme.hu/nya/
}}

==Hasznos Infók==
* Előadó: Csima Judit (2017)
* A tárgy ötéves megfelelője: [[Formális nyelvek]]

==Segédanyagok==
===Jegyzetek===
* '''[http://www.cs.bme.hu/~friedl/nya/jegyzet-13.pdf Hivatalos jegyzet]'''
* [[Média:Nyau_jegyzet_2010.pdf‎|Legépelt jegyzet 2010 ősz]]
* [[Média:Nyau_kieg_2017_CYK_Algo.pdf|Kiegészítő anyag 2017 - CYK algoritmus]]

===Könyv===
* [[Média:Nyau_konyv_2002.pdf‎‎|Formális nyelvek (Bach Iván)]]
* Algoritmusok (Ivanyos Gábor; Szabó Réka; Rónyai Lajos)

==Gyakorlatok==
Hivatalos, kötelező gyakorlat ugyan nincs a tárgyból, azonban minden évben szokott lenni fakultatív konzultáció, ahol a tárgyoldalra kirakott feladatsorokat veszik végig.

===Gyakorlat 2017===

[[Média:Nyau_gyak_2017.zip | Gyakorlati anyag 2017]]

[[Média:Nyau_szorgalmi_2017.pdf| Szorgalmi, nehéz feladatok 2017]]

===Gyakorlat 2014===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2014_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_2014_gyak1_megoldasok.pdf|Véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_2014_gyak2 megoldasok.pdf|Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_3_min.pdf‎|Minimalizálás]] || Minimalizálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_4_pump.pdf‎|Pumpálás]] || Pumpálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_5_reg_nyelv.pdf‎|Reguláris nyelvek]] || Reguláris nyelvek - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_6_nyelvtan.pdf|Nyelvtanok]] || Nyelvtanok - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_7_cf_nyelvtanok.pdf|CF nyelvtanok átalakításai, egyértelműség]] || [[Média:Nyau_2014_gyak7_megoldasok.pdf|CF nyelvtanok átalakításai, egyértelműség - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_8_cf_pumpa.pdf‎|CF pumpálás]] || [[Média:Nyau_2014_gyak8_megoldasok.pdf|CF pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_9_veremautomatak.pdf‎|Veremautomaták]] || [[Média:Nyau_2014_gyak9_megoldasok.pdf|Veremautomaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_10_cf_pda.pdf‎|Veremautomaták és CF nyelvtanok]] || [[Média:Nyau_2014_gyak10_megoldasok.pdf|Veremautomaták és CF nyelvtanok - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_11_cnf_cyk.pdf‎|Chomsky-normálforma, CYK algoritmus]] || [[Média:Nyau_2014_gyak11_megoldasok.pdf|Chomsky-normálforma, CYK algoritmus - megoldások]]
|-
| [[Média:Nyau_2014_gyak12_feladat.pdf|Turing-gép]] || [[Média:Nyau_2014_gyak12_megoldasok.pdf|Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak13_feladat.pdf|k-szalagos Turing-gép]] || [[Média:Nyau_2014_gyak13_megoldasok.pdf|k-szalagos Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak14_feladat.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE]] || [[Média:Nyau_2014_gyak14_megoldasok.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE - megoldások]]
|-
| [[Média:Nyau_2014_gyak15_feladat.pdf|R, RE, Nevezetes nyelvek]] || [[Média:Nyau_2014_gyak15_megoldasok.pdf|R, RE, Nevezetes nyelvek - megoldások]]
|-
| [[Média:Nyau_2014_gyak16_feladat.pdf|Rice tétel, PCP]] || [[Média:Nyau_2014_gyak16_megoldasok.pdf|Rice tétel, PCP - megoldások]]
|-
| [[Média:Nyau_2014_gyak17_feladat.pdf|Nyelvtanok és TG-ek]] || [[Média:Nyau_2014_gyak17_megoldasok.pdf|Nyelvtanok és TG-ek - megoldások]]
|-
| [[Média:Nyau_2014_gyak18_feladat.pdf|Tár- és időbonyolultság]] || [[Média:Nyau_2014_gyak18_megoldasok.pdf|Tár- és időbonyolultság - megoldások]]
|}

===Gyakorlat 2012===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2012_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_3_min.pdf‎|Minimalizálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_4_pump.pdf‎|Pumpálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|}
===Gyakorlat 2011===
* [[Média:NyA-2011Osz-Gyakorlat-Feladatok.zip|NyA-2011Osz-Gyakorlat-Feladatok.zip]]
* [[Média:nyau_3.zip|2011. 3 ZH előtti gyakorlatok]]

===Gyakorlat 2010===
(Nem hivatalos megoldások, tehát tartalmazhatnak hibát, csak saját felelősségre!)
* 1. gyakorlat (2010.09.09) [[Média:Nya-g-10o-1-va.pdf|Feladatsor]]
* 2. gyakorlat (2010.09.16) [[Média:Nya-g-10o-2-va.pdf|Feladatsor]] [[Média:Nya-m-10o-2.pdf|Megoldás]]
* 3. gyakorlat (2010.09.23) [[Média:Nya-g-10o-3-rkif.pdf|Feladatsor]] [[Média:Nya-m-10o-3.pdf|Megoldás]]
* 4. gyakorlat (2010.09.30) [[Média:Nya-g-10o-4-nyelvtan.pdf|Feladatsor]] [[Média:Nya-m-10o-4.pdf|Megoldás]]
* 5. gyakorlat (2010.10.14) [[Média:Nya-g-10o-5-verem.pdf|Feladatsor]] [[Média:Gyak05.zip|Megoldás]]
* 6. gyakorlat (2010.10.21) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak06.zip|Megoldás]] (6/1 c. feladatnál a megoldás jó, de nem az algoritmus szerint van átalakítva. ZH-n az algoritmust kell használni)
* 7. gyakorlat (2010.10.28) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak07.zip|Megoldás]]
* 8. gyakorlat (2010.11.04) [[Média:Nya-g-10o-7-cfpump.pdf|Feladatsor]] [[Média:Gyak08.zip|Megoldás]]
* 9. gyakorlat (2010.11.11) [[Média:Nya-g-10o-8-re.pdf|Feladatsor]] [[Média:Gyak09.zip|Megoldás]] (Frissült 2010.12.04-én)
* 10. gyakorlat (2010.11.18) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak10.zip|Megoldás]]
* 11. gyakorlat (2010.11.25) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak11.zip|Megoldás]]
* 12. gyakorlat (2010.12.02) [[Média:Nya-g-10o-10-ido.pdf|Feladatsor]] [[Média:Gyak12.zip|Megoldás]]

===Gyakorlat 2009 ===
* {{InLineFileLink|Infoszak|Nya|nya09f1.zip|nya09f1.zip}}: az első 2009-es feladatsor "megoldása" (itt-ott lehet hibás)
* {{InLineFileLink|Infoszak|Nya|nya09f2.zip|nya09f2.zip}}: a második 2009-es feladatsor "megoldása" (itt-ott lehet hibás)

==ZH-k==
Három zh lesz, ezeken az anyaghoz kapcsolódó feladatokat kell megoldani, illetve az órai anyagot számonkérő elméleti kérdés(ek)re kell válaszolni. Minden zh a hozzá tartozó pótzh-n pótolható/javítható. (általában egy héttel később kedd/csütörtök) Egy zh pótolható ezen felül a pótlási héten (pótpótzh). A 2014-es őszi félévtől kezdve egy elméleti kérdés (tétel, vagy definíció kimondása, esetleg egyszerűbb bizonyítás vagy órán tanult konstrukció) is van.

===1. ZH===
* [[Média:Nyau_zh1_2016.pdf |2016 ZH1]] [[Média:Nyau_zh1_2016_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2015.pdf |2015 ZH1]] [[Média:Nyau_zh1_2015_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2014.pdf |2014 ZH1]] [[Média:Nyau_zh1_2014_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2013.pdf |2013 ZH1]] [[Média:Nyau_zh1_2013_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2012.jpg|2012 ZH1]]
* [[Média:Nyau_zh1_zh2_2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh1_2010.jpg|2010 ZH1]]
* [[Média:Nyau_zh1_2009.pdf|2009 ZH1]]

===2. ZH===
* [[Média:Nyau_zh2_2016.pdf |2016 ZH2]]
* [[Média:Nyau_zh2_2015.pdf |2015 ZH2]]
* [[Média:Nyau_zh2_2014_eredeti.pdf |2014 ZH2]]
* [[Média:Nyau_zh2_2014.pdf| Nem hivatalos feladat megoldások 2.ZH témaköréből]]
* [[Média:Nyau_zh2_2013.pdf‎|2013 ZH2]]
* [[Média:Nyau_zh2_2012.pdf‎|2012 ZH2]]
* [[Média:Nyau_zh2_2011.pdf‎‎|2011 ZH2]]
* [[Média:Nyau zh1 zh2 2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh2_2010.pdf‎|2010 ZH2]]
* [[Média:Nyau_zh2_2009.pdf|2009 ZH2]]

===3. ZH===
* [[Média:Nyau_zh3_2014.pdf| Nem hivatalos feladat megoldások 3.ZH témaköréből]]
* [[Média:Nyau_zh3_2013.pdf‎|2013 ZH3]]
* [[Média:Nyau_zh3_2012.pdf‎‎‎‎|2012 ZH3]]
* [[Média:Nyau_zh3_2011.pdf‎‎‎|2011 ZH3]]
* [[Média:Nyau_zh3_2010.pdf‎‎|2010 ZH3]]
* [[Média:Nyau_zh3_2009.pdf‎|2009 ZH3]]

===Régi 4. zh-k===
* [[Média:Nyau_zh4_2014.pdf| Nem hivatalos feladat megoldások 4.ZH témaköréből]]
* [[Média:Nyau_zh4_2013.pdf|2013 ZH4]]
* [[Média:Nyau_zh4_2012.pdf|2012 ZH4]]
* [[Média:Nyau_zh4_2011.pdf|2011 ZH4]]
* [[Média:Nyau_zh4_2010.pdf|2010 ZH4]]
* [[Média:Nyau_zh4_2009.pdf|2009 ZH4]]

{{Lábléc - Mérnök informatikus mesterszak}}

Nyelvek és automaták

2018-01-18T17:42:35Z

Tóth Krisztián Dávid: /* 2. ZH */

{{Tantárgy
|nev=Nyelvek és automaták
|tárgykód = VISZMA04
|kredit=4
|felev=Őszi
|kiszh=
|vizsga=nincs
|nagyzh=3 db
|hf=opcionális
|szak=MSC info
|levlista=infomscATsch.bme.hu
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZM104/
|targyhonlap=http://cs.bme.hu/nya/
}}

==Hasznos Infók==
* Előadó: Csima Judit (2017)
* A tárgy ötéves megfelelője: [[Formális nyelvek]]

==Segédanyagok==
===Jegyzetek===
* '''[http://www.cs.bme.hu/~friedl/nya/jegyzet-13.pdf Hivatalos jegyzet]'''
* [[Média:Nyau_jegyzet_2010.pdf‎|Legépelt jegyzet 2010 ősz]]
* [[Média:Nyau_kieg_2017_CYK_Algo.pdf|Kiegészítő anyag 2017 - CYK algoritmus]]

===Könyv===
* [[Média:Nyau_konyv_2002.pdf‎‎|Formális nyelvek (Bach Iván)]]
* Algoritmusok (Ivanyos Gábor; Szabó Réka; Rónyai Lajos)

==Gyakorlatok==
Hivatalos, kötelező gyakorlat ugyan nincs a tárgyból, azonban minden évben szokott lenni fakultatív konzultáció, ahol a tárgyoldalra kirakott feladatsorokat veszik végig.

===Gyakorlat 2017===

[[Média:Nyau_gyak_2017.zip | Gyakorlati anyag 2017]]

[[Média:Nyau_szorgalmi_2017.pdf| Szorgalmi, nehéz feladatok 2017]]

===Gyakorlat 2014===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2014_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_2014_gyak1_megoldasok.pdf|Véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_2014_gyak2 megoldasok.pdf|Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_3_min.pdf‎|Minimalizálás]] || Minimalizálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_4_pump.pdf‎|Pumpálás]] || Pumpálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_5_reg_nyelv.pdf‎|Reguláris nyelvek]] || Reguláris nyelvek - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_6_nyelvtan.pdf|Nyelvtanok]] || Nyelvtanok - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_7_cf_nyelvtanok.pdf|CF nyelvtanok átalakításai, egyértelműség]] || [[Média:Nyau_2014_gyak7_megoldasok.pdf|CF nyelvtanok átalakításai, egyértelműség - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_8_cf_pumpa.pdf‎|CF pumpálás]] || [[Média:Nyau_2014_gyak8_megoldasok.pdf|CF pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_9_veremautomatak.pdf‎|Veremautomaták]] || [[Média:Nyau_2014_gyak9_megoldasok.pdf|Veremautomaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_10_cf_pda.pdf‎|Veremautomaták és CF nyelvtanok]] || [[Média:Nyau_2014_gyak10_megoldasok.pdf|Veremautomaták és CF nyelvtanok - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_11_cnf_cyk.pdf‎|Chomsky-normálforma, CYK algoritmus]] || [[Média:Nyau_2014_gyak11_megoldasok.pdf|Chomsky-normálforma, CYK algoritmus - megoldások]]
|-
| [[Média:Nyau_2014_gyak12_feladat.pdf|Turing-gép]] || [[Média:Nyau_2014_gyak12_megoldasok.pdf|Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak13_feladat.pdf|k-szalagos Turing-gép]] || [[Média:Nyau_2014_gyak13_megoldasok.pdf|k-szalagos Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak14_feladat.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE]] || [[Média:Nyau_2014_gyak14_megoldasok.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE - megoldások]]
|-
| [[Média:Nyau_2014_gyak15_feladat.pdf|R, RE, Nevezetes nyelvek]] || [[Média:Nyau_2014_gyak15_megoldasok.pdf|R, RE, Nevezetes nyelvek - megoldások]]
|-
| [[Média:Nyau_2014_gyak16_feladat.pdf|Rice tétel, PCP]] || [[Média:Nyau_2014_gyak16_megoldasok.pdf|Rice tétel, PCP - megoldások]]
|-
| [[Média:Nyau_2014_gyak17_feladat.pdf|Nyelvtanok és TG-ek]] || [[Média:Nyau_2014_gyak17_megoldasok.pdf|Nyelvtanok és TG-ek - megoldások]]
|-
| [[Média:Nyau_2014_gyak18_feladat.pdf|Tár- és időbonyolultság]] || [[Média:Nyau_2014_gyak18_megoldasok.pdf|Tár- és időbonyolultság - megoldások]]
|}

===Gyakorlat 2012===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2012_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_3_min.pdf‎|Minimalizálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_4_pump.pdf‎|Pumpálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|}
===Gyakorlat 2011===
* [[Média:NyA-2011Osz-Gyakorlat-Feladatok.zip|NyA-2011Osz-Gyakorlat-Feladatok.zip]]
* [[Média:nyau_3.zip|2011. 3 ZH előtti gyakorlatok]]

===Gyakorlat 2010===
(Nem hivatalos megoldások, tehát tartalmazhatnak hibát, csak saját felelősségre!)
* 1. gyakorlat (2010.09.09) [[Média:Nya-g-10o-1-va.pdf|Feladatsor]]
* 2. gyakorlat (2010.09.16) [[Média:Nya-g-10o-2-va.pdf|Feladatsor]] [[Média:Nya-m-10o-2.pdf|Megoldás]]
* 3. gyakorlat (2010.09.23) [[Média:Nya-g-10o-3-rkif.pdf|Feladatsor]] [[Média:Nya-m-10o-3.pdf|Megoldás]]
* 4. gyakorlat (2010.09.30) [[Média:Nya-g-10o-4-nyelvtan.pdf|Feladatsor]] [[Média:Nya-m-10o-4.pdf|Megoldás]]
* 5. gyakorlat (2010.10.14) [[Média:Nya-g-10o-5-verem.pdf|Feladatsor]] [[Média:Gyak05.zip|Megoldás]]
* 6. gyakorlat (2010.10.21) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak06.zip|Megoldás]] (6/1 c. feladatnál a megoldás jó, de nem az algoritmus szerint van átalakítva. ZH-n az algoritmust kell használni)
* 7. gyakorlat (2010.10.28) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak07.zip|Megoldás]]
* 8. gyakorlat (2010.11.04) [[Média:Nya-g-10o-7-cfpump.pdf|Feladatsor]] [[Média:Gyak08.zip|Megoldás]]
* 9. gyakorlat (2010.11.11) [[Média:Nya-g-10o-8-re.pdf|Feladatsor]] [[Média:Gyak09.zip|Megoldás]] (Frissült 2010.12.04-én)
* 10. gyakorlat (2010.11.18) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak10.zip|Megoldás]]
* 11. gyakorlat (2010.11.25) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak11.zip|Megoldás]]
* 12. gyakorlat (2010.12.02) [[Média:Nya-g-10o-10-ido.pdf|Feladatsor]] [[Média:Gyak12.zip|Megoldás]]

===Gyakorlat 2009 ===
* {{InLineFileLink|Infoszak|Nya|nya09f1.zip|nya09f1.zip}}: az első 2009-es feladatsor "megoldása" (itt-ott lehet hibás)
* {{InLineFileLink|Infoszak|Nya|nya09f2.zip|nya09f2.zip}}: a második 2009-es feladatsor "megoldása" (itt-ott lehet hibás)

==ZH-k==
Három zh lesz, ezeken az anyaghoz kapcsolódó feladatokat kell megoldani, illetve az órai anyagot számonkérő elméleti kérdés(ek)re kell válaszolni. Minden zh a hozzá tartozó pótzh-n pótolható/javítható. (általában egy héttel később kedd/csütörtök) Egy zh pótolható ezen felül a pótlási héten (pótpótzh). A 2014-es őszi félévtől kezdve egy elméleti kérdés (tétel, vagy definíció kimondása, esetleg egyszerűbb bizonyítás vagy órán tanult konstrukció) is van.

===1. ZH===
* [[Média:Nyau_zh1_2016.pdf |2016 ZH1]] [[Média:Nyau_zh1_2016_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2015.pdf |2015 ZH1]] [[Média:Nyau_zh1_2015_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2014.pdf |2014 ZH1]] [[Média:Nyau_zh1_2014_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2013.pdf |2013 ZH1]] [[Média:Nyau_zh1_2013_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2012.jpg|2012 ZH1]]
* [[Média:Nyau_zh1_zh2_2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh1_2010.jpg|2010 ZH1]]
* [[Média:Nyau_zh1_2009.pdf|2009 ZH1]]

===2. ZH===
* [[Média:Nyau_zh2_2016.pdf |2016 ZH2]]
* [[Média:Nyau_zh2_2015.pdf |2015 ZH2]]
* [[Média:Nyau_zh2_2014_eredeti.pdf |2014 ZH2]]
* [[Média:Nyau_zh2_2014.pdf| Nem hivatalos feladat megoldások 2.ZH témaköréből]]
* [[Média:Nyau_zh2_2013.pdf‎|2013 ZH2]]
* [[Média:Nyau_zh2_2012.pdf‎|2012 ZH2]]
* [[Média:Nyau_zh2_2011.pdf‎‎|2011 ZH2]]
* [[Média:Nyau zh1 zh2 2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh2_2010.pdf‎|2010 ZH2]]
* [[Média:Nyau_zh2_2009.pdf|2009 ZH2]]

===3. ZH===
* [[Média:Nyau_zh3_2014.pdf| Nem hivatalos feladat megoldások 3.ZH témaköréből]]
* [[Média:Nyau_zh3_2013.pdf‎|2013 ZH3]]
* [[Média:Nyau_zh3_2012.pdf‎‎‎‎|2012 ZH3]]
* [[Média:Nyau_zh3_2011.pdf‎‎‎|2011 ZH3]]
* [[Média:Nyau_zh3_2010.pdf‎‎|2010 ZH3]]
* [[Média:Nyau_zh3_2009.pdf‎|2009 ZH3]]

===Régi 4. zh-k===
* [[Média:Nyau_zh4_2014.pdf| Nem hivatalos feladat megoldások 4.ZH témaköréből]]
* [[Média:Nyau_zh4_2013.pdf|2013 ZH4]]
* [[Média:Nyau_zh4_2012.pdf|2012 ZH4]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-4PZH.jpg|2011 ősz 4. pótZH Feladatsor}}
* [[Média:Nyau_zh4_2011.pdf|2011 ZH4]]
* [[Média:Nyau_zh4_2010.pdf|2010 ZH4]]
* [[Média:Nyau_zh4_2009.pdf|2009 ZH4]]

{{Lábléc - Mérnök informatikus mesterszak}}

Nyelvek és automaták

2018-01-18T17:41:53Z

Tóth Krisztián Dávid: /* 3. ZH */

{{Tantárgy
|nev=Nyelvek és automaták
|tárgykód = VISZMA04
|kredit=4
|felev=Őszi
|kiszh=
|vizsga=nincs
|nagyzh=3 db
|hf=opcionális
|szak=MSC info
|levlista=infomscATsch.bme.hu
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZM104/
|targyhonlap=http://cs.bme.hu/nya/
}}

==Hasznos Infók==
* Előadó: Csima Judit (2017)
* A tárgy ötéves megfelelője: [[Formális nyelvek]]

==Segédanyagok==
===Jegyzetek===
* '''[http://www.cs.bme.hu/~friedl/nya/jegyzet-13.pdf Hivatalos jegyzet]'''
* [[Média:Nyau_jegyzet_2010.pdf‎|Legépelt jegyzet 2010 ősz]]
* [[Média:Nyau_kieg_2017_CYK_Algo.pdf|Kiegészítő anyag 2017 - CYK algoritmus]]

===Könyv===
* [[Média:Nyau_konyv_2002.pdf‎‎|Formális nyelvek (Bach Iván)]]
* Algoritmusok (Ivanyos Gábor; Szabó Réka; Rónyai Lajos)

==Gyakorlatok==
Hivatalos, kötelező gyakorlat ugyan nincs a tárgyból, azonban minden évben szokott lenni fakultatív konzultáció, ahol a tárgyoldalra kirakott feladatsorokat veszik végig.

===Gyakorlat 2017===

[[Média:Nyau_gyak_2017.zip | Gyakorlati anyag 2017]]

[[Média:Nyau_szorgalmi_2017.pdf| Szorgalmi, nehéz feladatok 2017]]

===Gyakorlat 2014===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2014_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_2014_gyak1_megoldasok.pdf|Véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_2014_gyak2 megoldasok.pdf|Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_3_min.pdf‎|Minimalizálás]] || Minimalizálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_4_pump.pdf‎|Pumpálás]] || Pumpálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_5_reg_nyelv.pdf‎|Reguláris nyelvek]] || Reguláris nyelvek - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_6_nyelvtan.pdf|Nyelvtanok]] || Nyelvtanok - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_7_cf_nyelvtanok.pdf|CF nyelvtanok átalakításai, egyértelműség]] || [[Média:Nyau_2014_gyak7_megoldasok.pdf|CF nyelvtanok átalakításai, egyértelműség - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_8_cf_pumpa.pdf‎|CF pumpálás]] || [[Média:Nyau_2014_gyak8_megoldasok.pdf|CF pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_9_veremautomatak.pdf‎|Veremautomaták]] || [[Média:Nyau_2014_gyak9_megoldasok.pdf|Veremautomaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_10_cf_pda.pdf‎|Veremautomaták és CF nyelvtanok]] || [[Média:Nyau_2014_gyak10_megoldasok.pdf|Veremautomaták és CF nyelvtanok - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_11_cnf_cyk.pdf‎|Chomsky-normálforma, CYK algoritmus]] || [[Média:Nyau_2014_gyak11_megoldasok.pdf|Chomsky-normálforma, CYK algoritmus - megoldások]]
|-
| [[Média:Nyau_2014_gyak12_feladat.pdf|Turing-gép]] || [[Média:Nyau_2014_gyak12_megoldasok.pdf|Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak13_feladat.pdf|k-szalagos Turing-gép]] || [[Média:Nyau_2014_gyak13_megoldasok.pdf|k-szalagos Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak14_feladat.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE]] || [[Média:Nyau_2014_gyak14_megoldasok.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE - megoldások]]
|-
| [[Média:Nyau_2014_gyak15_feladat.pdf|R, RE, Nevezetes nyelvek]] || [[Média:Nyau_2014_gyak15_megoldasok.pdf|R, RE, Nevezetes nyelvek - megoldások]]
|-
| [[Média:Nyau_2014_gyak16_feladat.pdf|Rice tétel, PCP]] || [[Média:Nyau_2014_gyak16_megoldasok.pdf|Rice tétel, PCP - megoldások]]
|-
| [[Média:Nyau_2014_gyak17_feladat.pdf|Nyelvtanok és TG-ek]] || [[Média:Nyau_2014_gyak17_megoldasok.pdf|Nyelvtanok és TG-ek - megoldások]]
|-
| [[Média:Nyau_2014_gyak18_feladat.pdf|Tár- és időbonyolultság]] || [[Média:Nyau_2014_gyak18_megoldasok.pdf|Tár- és időbonyolultság - megoldások]]
|}

===Gyakorlat 2012===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2012_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_3_min.pdf‎|Minimalizálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_4_pump.pdf‎|Pumpálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|}
===Gyakorlat 2011===
* [[Média:NyA-2011Osz-Gyakorlat-Feladatok.zip|NyA-2011Osz-Gyakorlat-Feladatok.zip]]
* [[Média:nyau_3.zip|2011. 3 ZH előtti gyakorlatok]]

===Gyakorlat 2010===
(Nem hivatalos megoldások, tehát tartalmazhatnak hibát, csak saját felelősségre!)
* 1. gyakorlat (2010.09.09) [[Média:Nya-g-10o-1-va.pdf|Feladatsor]]
* 2. gyakorlat (2010.09.16) [[Média:Nya-g-10o-2-va.pdf|Feladatsor]] [[Média:Nya-m-10o-2.pdf|Megoldás]]
* 3. gyakorlat (2010.09.23) [[Média:Nya-g-10o-3-rkif.pdf|Feladatsor]] [[Média:Nya-m-10o-3.pdf|Megoldás]]
* 4. gyakorlat (2010.09.30) [[Média:Nya-g-10o-4-nyelvtan.pdf|Feladatsor]] [[Média:Nya-m-10o-4.pdf|Megoldás]]
* 5. gyakorlat (2010.10.14) [[Média:Nya-g-10o-5-verem.pdf|Feladatsor]] [[Média:Gyak05.zip|Megoldás]]
* 6. gyakorlat (2010.10.21) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak06.zip|Megoldás]] (6/1 c. feladatnál a megoldás jó, de nem az algoritmus szerint van átalakítva. ZH-n az algoritmust kell használni)
* 7. gyakorlat (2010.10.28) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak07.zip|Megoldás]]
* 8. gyakorlat (2010.11.04) [[Média:Nya-g-10o-7-cfpump.pdf|Feladatsor]] [[Média:Gyak08.zip|Megoldás]]
* 9. gyakorlat (2010.11.11) [[Média:Nya-g-10o-8-re.pdf|Feladatsor]] [[Média:Gyak09.zip|Megoldás]] (Frissült 2010.12.04-én)
* 10. gyakorlat (2010.11.18) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak10.zip|Megoldás]]
* 11. gyakorlat (2010.11.25) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak11.zip|Megoldás]]
* 12. gyakorlat (2010.12.02) [[Média:Nya-g-10o-10-ido.pdf|Feladatsor]] [[Média:Gyak12.zip|Megoldás]]

===Gyakorlat 2009 ===
* {{InLineFileLink|Infoszak|Nya|nya09f1.zip|nya09f1.zip}}: az első 2009-es feladatsor "megoldása" (itt-ott lehet hibás)
* {{InLineFileLink|Infoszak|Nya|nya09f2.zip|nya09f2.zip}}: a második 2009-es feladatsor "megoldása" (itt-ott lehet hibás)

==ZH-k==
Három zh lesz, ezeken az anyaghoz kapcsolódó feladatokat kell megoldani, illetve az órai anyagot számonkérő elméleti kérdés(ek)re kell válaszolni. Minden zh a hozzá tartozó pótzh-n pótolható/javítható. (általában egy héttel később kedd/csütörtök) Egy zh pótolható ezen felül a pótlási héten (pótpótzh). A 2014-es őszi félévtől kezdve egy elméleti kérdés (tétel, vagy definíció kimondása, esetleg egyszerűbb bizonyítás vagy órán tanult konstrukció) is van.

===1. ZH===
* [[Média:Nyau_zh1_2016.pdf |2016 ZH1]] [[Média:Nyau_zh1_2016_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2015.pdf |2015 ZH1]] [[Média:Nyau_zh1_2015_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2014.pdf |2014 ZH1]] [[Média:Nyau_zh1_2014_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2013.pdf |2013 ZH1]] [[Média:Nyau_zh1_2013_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2012.jpg|2012 ZH1]]
* [[Média:Nyau_zh1_zh2_2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh1_2010.jpg|2010 ZH1]]
* [[Média:Nyau_zh1_2009.pdf|2009 ZH1]]

===2. ZH===
* [[Média:Nyau_zh2_2016.pdf |2016 ZH2]]
* [[Média:Nyau_zh2_2015.pdf |2015 ZH2]]
* [[Média:Nyau_zh2_2014_eredeti.pdf |2014 ZH2]]
* [[Média:Nyau_zh2_2014.pdf| Nem hivatalos feladat megoldások 2.ZH témaköréből]]
* [[Média:Nyau_zh2_2013.pdf‎|2013 ZH2]]
* [[Média:Nyau_zh2_2012.pdf‎|2012 ZH2]]
* [[Média:Nyau_zh2_2011.pdf‎‎|2011 ZH2]]
* [[Média:Nyau zh1 zh2 2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh2_2010.pdf‎|2010 ZH2]]
* {{InLineFileLink|Infoszak|Nya|2010osz_zh2mo.zip|2010 ősz 2. ZH Megoldás}}
* [[Média:Nyau_zh2_2009.pdf|2009 ZH2]]

===3. ZH===
* [[Média:Nyau_zh3_2014.pdf| Nem hivatalos feladat megoldások 3.ZH témaköréből]]
* [[Média:Nyau_zh3_2013.pdf‎|2013 ZH3]]
* [[Média:Nyau_zh3_2012.pdf‎‎‎‎|2012 ZH3]]
* [[Média:Nyau_zh3_2011.pdf‎‎‎|2011 ZH3]]
* [[Média:Nyau_zh3_2010.pdf‎‎|2010 ZH3]]
* [[Média:Nyau_zh3_2009.pdf‎|2009 ZH3]]

===Régi 4. zh-k===
* [[Média:Nyau_zh4_2014.pdf| Nem hivatalos feladat megoldások 4.ZH témaköréből]]
* [[Média:Nyau_zh4_2013.pdf|2013 ZH4]]
* [[Média:Nyau_zh4_2012.pdf|2012 ZH4]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-4PZH.jpg|2011 ősz 4. pótZH Feladatsor}}
* [[Média:Nyau_zh4_2011.pdf|2011 ZH4]]
* [[Média:Nyau_zh4_2010.pdf|2010 ZH4]]
* [[Média:Nyau_zh4_2009.pdf|2009 ZH4]]

{{Lábléc - Mérnök informatikus mesterszak}}

Nyelvek és automaták

2018-01-18T17:41:29Z

Tóth Krisztián Dávid: /* 4. ZH */

{{Tantárgy
|nev=Nyelvek és automaták
|tárgykód = VISZMA04
|kredit=4
|felev=Őszi
|kiszh=
|vizsga=nincs
|nagyzh=3 db
|hf=opcionális
|szak=MSC info
|levlista=infomscATsch.bme.hu
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZM104/
|targyhonlap=http://cs.bme.hu/nya/
}}

==Hasznos Infók==
* Előadó: Csima Judit (2017)
* A tárgy ötéves megfelelője: [[Formális nyelvek]]

==Segédanyagok==
===Jegyzetek===
* '''[http://www.cs.bme.hu/~friedl/nya/jegyzet-13.pdf Hivatalos jegyzet]'''
* [[Média:Nyau_jegyzet_2010.pdf‎|Legépelt jegyzet 2010 ősz]]
* [[Média:Nyau_kieg_2017_CYK_Algo.pdf|Kiegészítő anyag 2017 - CYK algoritmus]]

===Könyv===
* [[Média:Nyau_konyv_2002.pdf‎‎|Formális nyelvek (Bach Iván)]]
* Algoritmusok (Ivanyos Gábor; Szabó Réka; Rónyai Lajos)

==Gyakorlatok==
Hivatalos, kötelező gyakorlat ugyan nincs a tárgyból, azonban minden évben szokott lenni fakultatív konzultáció, ahol a tárgyoldalra kirakott feladatsorokat veszik végig.

===Gyakorlat 2017===

[[Média:Nyau_gyak_2017.zip | Gyakorlati anyag 2017]]

[[Média:Nyau_szorgalmi_2017.pdf| Szorgalmi, nehéz feladatok 2017]]

===Gyakorlat 2014===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2014_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_2014_gyak1_megoldasok.pdf|Véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_2014_gyak2 megoldasok.pdf|Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_3_min.pdf‎|Minimalizálás]] || Minimalizálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_4_pump.pdf‎|Pumpálás]] || Pumpálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_5_reg_nyelv.pdf‎|Reguláris nyelvek]] || Reguláris nyelvek - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_6_nyelvtan.pdf|Nyelvtanok]] || Nyelvtanok - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_7_cf_nyelvtanok.pdf|CF nyelvtanok átalakításai, egyértelműség]] || [[Média:Nyau_2014_gyak7_megoldasok.pdf|CF nyelvtanok átalakításai, egyértelműség - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_8_cf_pumpa.pdf‎|CF pumpálás]] || [[Média:Nyau_2014_gyak8_megoldasok.pdf|CF pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_9_veremautomatak.pdf‎|Veremautomaták]] || [[Média:Nyau_2014_gyak9_megoldasok.pdf|Veremautomaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_10_cf_pda.pdf‎|Veremautomaták és CF nyelvtanok]] || [[Média:Nyau_2014_gyak10_megoldasok.pdf|Veremautomaták és CF nyelvtanok - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_11_cnf_cyk.pdf‎|Chomsky-normálforma, CYK algoritmus]] || [[Média:Nyau_2014_gyak11_megoldasok.pdf|Chomsky-normálforma, CYK algoritmus - megoldások]]
|-
| [[Média:Nyau_2014_gyak12_feladat.pdf|Turing-gép]] || [[Média:Nyau_2014_gyak12_megoldasok.pdf|Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak13_feladat.pdf|k-szalagos Turing-gép]] || [[Média:Nyau_2014_gyak13_megoldasok.pdf|k-szalagos Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak14_feladat.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE]] || [[Média:Nyau_2014_gyak14_megoldasok.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE - megoldások]]
|-
| [[Média:Nyau_2014_gyak15_feladat.pdf|R, RE, Nevezetes nyelvek]] || [[Média:Nyau_2014_gyak15_megoldasok.pdf|R, RE, Nevezetes nyelvek - megoldások]]
|-
| [[Média:Nyau_2014_gyak16_feladat.pdf|Rice tétel, PCP]] || [[Média:Nyau_2014_gyak16_megoldasok.pdf|Rice tétel, PCP - megoldások]]
|-
| [[Média:Nyau_2014_gyak17_feladat.pdf|Nyelvtanok és TG-ek]] || [[Média:Nyau_2014_gyak17_megoldasok.pdf|Nyelvtanok és TG-ek - megoldások]]
|-
| [[Média:Nyau_2014_gyak18_feladat.pdf|Tár- és időbonyolultság]] || [[Média:Nyau_2014_gyak18_megoldasok.pdf|Tár- és időbonyolultság - megoldások]]
|}

===Gyakorlat 2012===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2012_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_3_min.pdf‎|Minimalizálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_4_pump.pdf‎|Pumpálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|}
===Gyakorlat 2011===
* [[Média:NyA-2011Osz-Gyakorlat-Feladatok.zip|NyA-2011Osz-Gyakorlat-Feladatok.zip]]
* [[Média:nyau_3.zip|2011. 3 ZH előtti gyakorlatok]]

===Gyakorlat 2010===
(Nem hivatalos megoldások, tehát tartalmazhatnak hibát, csak saját felelősségre!)
* 1. gyakorlat (2010.09.09) [[Média:Nya-g-10o-1-va.pdf|Feladatsor]]
* 2. gyakorlat (2010.09.16) [[Média:Nya-g-10o-2-va.pdf|Feladatsor]] [[Média:Nya-m-10o-2.pdf|Megoldás]]
* 3. gyakorlat (2010.09.23) [[Média:Nya-g-10o-3-rkif.pdf|Feladatsor]] [[Média:Nya-m-10o-3.pdf|Megoldás]]
* 4. gyakorlat (2010.09.30) [[Média:Nya-g-10o-4-nyelvtan.pdf|Feladatsor]] [[Média:Nya-m-10o-4.pdf|Megoldás]]
* 5. gyakorlat (2010.10.14) [[Média:Nya-g-10o-5-verem.pdf|Feladatsor]] [[Média:Gyak05.zip|Megoldás]]
* 6. gyakorlat (2010.10.21) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak06.zip|Megoldás]] (6/1 c. feladatnál a megoldás jó, de nem az algoritmus szerint van átalakítva. ZH-n az algoritmust kell használni)
* 7. gyakorlat (2010.10.28) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak07.zip|Megoldás]]
* 8. gyakorlat (2010.11.04) [[Média:Nya-g-10o-7-cfpump.pdf|Feladatsor]] [[Média:Gyak08.zip|Megoldás]]
* 9. gyakorlat (2010.11.11) [[Média:Nya-g-10o-8-re.pdf|Feladatsor]] [[Média:Gyak09.zip|Megoldás]] (Frissült 2010.12.04-én)
* 10. gyakorlat (2010.11.18) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak10.zip|Megoldás]]
* 11. gyakorlat (2010.11.25) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak11.zip|Megoldás]]
* 12. gyakorlat (2010.12.02) [[Média:Nya-g-10o-10-ido.pdf|Feladatsor]] [[Média:Gyak12.zip|Megoldás]]

===Gyakorlat 2009 ===
* {{InLineFileLink|Infoszak|Nya|nya09f1.zip|nya09f1.zip}}: az első 2009-es feladatsor "megoldása" (itt-ott lehet hibás)
* {{InLineFileLink|Infoszak|Nya|nya09f2.zip|nya09f2.zip}}: a második 2009-es feladatsor "megoldása" (itt-ott lehet hibás)

==ZH-k==
Három zh lesz, ezeken az anyaghoz kapcsolódó feladatokat kell megoldani, illetve az órai anyagot számonkérő elméleti kérdés(ek)re kell válaszolni. Minden zh a hozzá tartozó pótzh-n pótolható/javítható. (általában egy héttel később kedd/csütörtök) Egy zh pótolható ezen felül a pótlási héten (pótpótzh). A 2014-es őszi félévtől kezdve egy elméleti kérdés (tétel, vagy definíció kimondása, esetleg egyszerűbb bizonyítás vagy órán tanult konstrukció) is van.

===1. ZH===
* [[Média:Nyau_zh1_2016.pdf |2016 ZH1]] [[Média:Nyau_zh1_2016_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2015.pdf |2015 ZH1]] [[Média:Nyau_zh1_2015_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2014.pdf |2014 ZH1]] [[Média:Nyau_zh1_2014_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2013.pdf |2013 ZH1]] [[Média:Nyau_zh1_2013_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2012.jpg|2012 ZH1]]
* [[Média:Nyau_zh1_zh2_2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh1_2010.jpg|2010 ZH1]]
* [[Média:Nyau_zh1_2009.pdf|2009 ZH1]]

===2. ZH===
* [[Média:Nyau_zh2_2016.pdf |2016 ZH2]]
* [[Média:Nyau_zh2_2015.pdf |2015 ZH2]]
* [[Média:Nyau_zh2_2014_eredeti.pdf |2014 ZH2]]
* [[Média:Nyau_zh2_2014.pdf| Nem hivatalos feladat megoldások 2.ZH témaköréből]]
* [[Média:Nyau_zh2_2013.pdf‎|2013 ZH2]]
* [[Média:Nyau_zh2_2012.pdf‎|2012 ZH2]]
* [[Média:Nyau_zh2_2011.pdf‎‎|2011 ZH2]]
* [[Média:Nyau zh1 zh2 2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh2_2010.pdf‎|2010 ZH2]]
* {{InLineFileLink|Infoszak|Nya|2010osz_zh2mo.zip|2010 ősz 2. ZH Megoldás}}
* [[Média:Nyau_zh2_2009.pdf|2009 ZH2]]

===3. ZH===
* [[Média:Nyau_zh3_2014.pdf| Nem hivatalos feladat megoldások 3.ZH témaköréből]]
* [[Média:Nyau_zh3_2013.pdf‎|2013 ZH3]]
* [[Média:Nyau_zh3_2012.pdf‎‎‎‎|2012 ZH3]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-3ZH-3PZH.jpg|2011 ősz 3. ZH és 3. PZH Feladatsor}}
* [[Média:Nyau_zh3_2011.pdf‎‎‎|2011 ZH3]]
* [[Média:Nyau_zh3_2010.pdf‎‎|2010 ZH3]]
* [[Média:Nyau_zh3_2009.pdf‎|2009 ZH3]]

===Régi 4. zh-k===
* [[Média:Nyau_zh4_2014.pdf| Nem hivatalos feladat megoldások 4.ZH témaköréből]]
* [[Média:Nyau_zh4_2013.pdf|2013 ZH4]]
* [[Média:Nyau_zh4_2012.pdf|2012 ZH4]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-4PZH.jpg|2011 ősz 4. pótZH Feladatsor}}
* [[Média:Nyau_zh4_2011.pdf|2011 ZH4]]
* [[Média:Nyau_zh4_2010.pdf|2010 ZH4]]
* [[Média:Nyau_zh4_2009.pdf|2009 ZH4]]

{{Lábléc - Mérnök informatikus mesterszak}}

Nyelvek és automaták

2018-01-18T17:39:58Z

Tóth Krisztián Dávid: /* 2. ZH */

{{Tantárgy
|nev=Nyelvek és automaták
|tárgykód = VISZMA04
|kredit=4
|felev=Őszi
|kiszh=
|vizsga=nincs
|nagyzh=3 db
|hf=opcionális
|szak=MSC info
|levlista=infomscATsch.bme.hu
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZM104/
|targyhonlap=http://cs.bme.hu/nya/
}}

==Hasznos Infók==
* Előadó: Csima Judit (2017)
* A tárgy ötéves megfelelője: [[Formális nyelvek]]

==Segédanyagok==
===Jegyzetek===
* '''[http://www.cs.bme.hu/~friedl/nya/jegyzet-13.pdf Hivatalos jegyzet]'''
* [[Média:Nyau_jegyzet_2010.pdf‎|Legépelt jegyzet 2010 ősz]]
* [[Média:Nyau_kieg_2017_CYK_Algo.pdf|Kiegészítő anyag 2017 - CYK algoritmus]]

===Könyv===
* [[Média:Nyau_konyv_2002.pdf‎‎|Formális nyelvek (Bach Iván)]]
* Algoritmusok (Ivanyos Gábor; Szabó Réka; Rónyai Lajos)

==Gyakorlatok==
Hivatalos, kötelező gyakorlat ugyan nincs a tárgyból, azonban minden évben szokott lenni fakultatív konzultáció, ahol a tárgyoldalra kirakott feladatsorokat veszik végig.

===Gyakorlat 2017===

[[Média:Nyau_gyak_2017.zip | Gyakorlati anyag 2017]]

[[Média:Nyau_szorgalmi_2017.pdf| Szorgalmi, nehéz feladatok 2017]]

===Gyakorlat 2014===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2014_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_2014_gyak1_megoldasok.pdf|Véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_2014_gyak2 megoldasok.pdf|Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_3_min.pdf‎|Minimalizálás]] || Minimalizálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_4_pump.pdf‎|Pumpálás]] || Pumpálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_5_reg_nyelv.pdf‎|Reguláris nyelvek]] || Reguláris nyelvek - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_6_nyelvtan.pdf|Nyelvtanok]] || Nyelvtanok - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_7_cf_nyelvtanok.pdf|CF nyelvtanok átalakításai, egyértelműség]] || [[Média:Nyau_2014_gyak7_megoldasok.pdf|CF nyelvtanok átalakításai, egyértelműség - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_8_cf_pumpa.pdf‎|CF pumpálás]] || [[Média:Nyau_2014_gyak8_megoldasok.pdf|CF pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_9_veremautomatak.pdf‎|Veremautomaták]] || [[Média:Nyau_2014_gyak9_megoldasok.pdf|Veremautomaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_10_cf_pda.pdf‎|Veremautomaták és CF nyelvtanok]] || [[Média:Nyau_2014_gyak10_megoldasok.pdf|Veremautomaták és CF nyelvtanok - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_11_cnf_cyk.pdf‎|Chomsky-normálforma, CYK algoritmus]] || [[Média:Nyau_2014_gyak11_megoldasok.pdf|Chomsky-normálforma, CYK algoritmus - megoldások]]
|-
| [[Média:Nyau_2014_gyak12_feladat.pdf|Turing-gép]] || [[Média:Nyau_2014_gyak12_megoldasok.pdf|Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak13_feladat.pdf|k-szalagos Turing-gép]] || [[Média:Nyau_2014_gyak13_megoldasok.pdf|k-szalagos Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak14_feladat.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE]] || [[Média:Nyau_2014_gyak14_megoldasok.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE - megoldások]]
|-
| [[Média:Nyau_2014_gyak15_feladat.pdf|R, RE, Nevezetes nyelvek]] || [[Média:Nyau_2014_gyak15_megoldasok.pdf|R, RE, Nevezetes nyelvek - megoldások]]
|-
| [[Média:Nyau_2014_gyak16_feladat.pdf|Rice tétel, PCP]] || [[Média:Nyau_2014_gyak16_megoldasok.pdf|Rice tétel, PCP - megoldások]]
|-
| [[Média:Nyau_2014_gyak17_feladat.pdf|Nyelvtanok és TG-ek]] || [[Média:Nyau_2014_gyak17_megoldasok.pdf|Nyelvtanok és TG-ek - megoldások]]
|-
| [[Média:Nyau_2014_gyak18_feladat.pdf|Tár- és időbonyolultság]] || [[Média:Nyau_2014_gyak18_megoldasok.pdf|Tár- és időbonyolultság - megoldások]]
|}

===Gyakorlat 2012===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2012_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_3_min.pdf‎|Minimalizálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_4_pump.pdf‎|Pumpálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|}
===Gyakorlat 2011===
* [[Média:NyA-2011Osz-Gyakorlat-Feladatok.zip|NyA-2011Osz-Gyakorlat-Feladatok.zip]]
* [[Média:nyau_3.zip|2011. 3 ZH előtti gyakorlatok]]

===Gyakorlat 2010===
(Nem hivatalos megoldások, tehát tartalmazhatnak hibát, csak saját felelősségre!)
* 1. gyakorlat (2010.09.09) [[Média:Nya-g-10o-1-va.pdf|Feladatsor]]
* 2. gyakorlat (2010.09.16) [[Média:Nya-g-10o-2-va.pdf|Feladatsor]] [[Média:Nya-m-10o-2.pdf|Megoldás]]
* 3. gyakorlat (2010.09.23) [[Média:Nya-g-10o-3-rkif.pdf|Feladatsor]] [[Média:Nya-m-10o-3.pdf|Megoldás]]
* 4. gyakorlat (2010.09.30) [[Média:Nya-g-10o-4-nyelvtan.pdf|Feladatsor]] [[Média:Nya-m-10o-4.pdf|Megoldás]]
* 5. gyakorlat (2010.10.14) [[Média:Nya-g-10o-5-verem.pdf|Feladatsor]] [[Média:Gyak05.zip|Megoldás]]
* 6. gyakorlat (2010.10.21) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak06.zip|Megoldás]] (6/1 c. feladatnál a megoldás jó, de nem az algoritmus szerint van átalakítva. ZH-n az algoritmust kell használni)
* 7. gyakorlat (2010.10.28) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak07.zip|Megoldás]]
* 8. gyakorlat (2010.11.04) [[Média:Nya-g-10o-7-cfpump.pdf|Feladatsor]] [[Média:Gyak08.zip|Megoldás]]
* 9. gyakorlat (2010.11.11) [[Média:Nya-g-10o-8-re.pdf|Feladatsor]] [[Média:Gyak09.zip|Megoldás]] (Frissült 2010.12.04-én)
* 10. gyakorlat (2010.11.18) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak10.zip|Megoldás]]
* 11. gyakorlat (2010.11.25) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak11.zip|Megoldás]]
* 12. gyakorlat (2010.12.02) [[Média:Nya-g-10o-10-ido.pdf|Feladatsor]] [[Média:Gyak12.zip|Megoldás]]

===Gyakorlat 2009 ===
* {{InLineFileLink|Infoszak|Nya|nya09f1.zip|nya09f1.zip}}: az első 2009-es feladatsor "megoldása" (itt-ott lehet hibás)
* {{InLineFileLink|Infoszak|Nya|nya09f2.zip|nya09f2.zip}}: a második 2009-es feladatsor "megoldása" (itt-ott lehet hibás)

==ZH-k==
Három zh lesz, ezeken az anyaghoz kapcsolódó feladatokat kell megoldani, illetve az órai anyagot számonkérő elméleti kérdés(ek)re kell válaszolni. Minden zh a hozzá tartozó pótzh-n pótolható/javítható. (általában egy héttel később kedd/csütörtök) Egy zh pótolható ezen felül a pótlási héten (pótpótzh). A 2014-es őszi félévtől kezdve egy elméleti kérdés (tétel, vagy definíció kimondása, esetleg egyszerűbb bizonyítás vagy órán tanult konstrukció) is van.

===1. ZH===
* [[Média:Nyau_zh1_2016.pdf |2016 ZH1]] [[Média:Nyau_zh1_2016_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2015.pdf |2015 ZH1]] [[Média:Nyau_zh1_2015_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2014.pdf |2014 ZH1]] [[Média:Nyau_zh1_2014_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2013.pdf |2013 ZH1]] [[Média:Nyau_zh1_2013_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2012.jpg|2012 ZH1]]
* [[Média:Nyau_zh1_zh2_2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh1_2010.jpg|2010 ZH1]]
* [[Média:Nyau_zh1_2009.pdf|2009 ZH1]]

===2. ZH===
* [[Média:Nyau_zh2_2016.pdf |2016 ZH2]]
* [[Média:Nyau_zh2_2015.pdf |2015 ZH2]]
* [[Média:Nyau_zh2_2014_eredeti.pdf |2014 ZH2]]
* [[Média:Nyau_zh2_2014.pdf| Nem hivatalos feladat megoldások 2.ZH témaköréből]]
* [[Média:Nyau_zh2_2013.pdf‎|2013 ZH2]]
* [[Média:Nyau_zh2_2012.pdf‎|2012 ZH2]]
* [[Média:Nyau_zh2_2011.pdf‎‎|2011 ZH2]]
* [[Média:Nyau zh1 zh2 2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh2_2010.pdf‎|2010 ZH2]]
* {{InLineFileLink|Infoszak|Nya|2010osz_zh2mo.zip|2010 ősz 2. ZH Megoldás}}
* [[Média:Nyau_zh2_2009.pdf|2009 ZH2]]

===3. ZH===
* [[Média:Nyau_zh3_2014.pdf| Nem hivatalos feladat megoldások 3.ZH témaköréből]]
* [[Média:Nyau_zh3_2013.pdf‎|2013 ZH3]]
* [[Média:Nyau_zh3_2012.pdf‎‎‎‎|2012 ZH3]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-3ZH-3PZH.jpg|2011 ősz 3. ZH és 3. PZH Feladatsor}}
* [[Média:Nyau_zh3_2011.pdf‎‎‎|2011 ZH3]]
* [[Média:Nyau_zh3_2010.pdf‎‎|2010 ZH3]]
* [[Média:Nyau_zh3_2009.pdf‎|2009 ZH3]]

===4. ZH===
* [[Média:Nyau_zh4_2014.pdf| Nem hivatalos feladat megoldások 4.ZH témaköréből]]
* [[Média:Nyau_zh4_2013.pdf|2013 ZH4]]
* [[Média:Nyau_zh4_2012.pdf|2012 ZH4]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-4PZH.jpg|2011 ősz 4. pótZH Feladatsor}}
* [[Média:Nyau_zh4_2011.pdf|2011 ZH4]]
* [[Média:Nyau_zh4_2010.pdf|2010 ZH4]]
* [[Média:Nyau_zh4_2009.pdf|2009 ZH4]]

{{Lábléc - Mérnök informatikus mesterszak}}

Fájl:Nyau zh2 2016.pdf

2018-01-18T17:39:28Z

Tóth Krisztián Dávid:

Fájl:Nyau zh2 2015.pdf

2018-01-18T17:38:49Z

Tóth Krisztián Dávid:

Fájl:Nyau zh2 2014 eredeti.pdf

2018-01-18T17:38:03Z

Tóth Krisztián Dávid:

Nyelvek és automaták

2018-01-18T17:35:48Z

Tóth Krisztián Dávid: /* 1. ZH */

{{Tantárgy
|nev=Nyelvek és automaták
|tárgykód = VISZMA04
|kredit=4
|felev=Őszi
|kiszh=
|vizsga=nincs
|nagyzh=3 db
|hf=opcionális
|szak=MSC info
|levlista=infomscATsch.bme.hu
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZM104/
|targyhonlap=http://cs.bme.hu/nya/
}}

==Hasznos Infók==
* Előadó: Csima Judit (2017)
* A tárgy ötéves megfelelője: [[Formális nyelvek]]

==Segédanyagok==
===Jegyzetek===
* '''[http://www.cs.bme.hu/~friedl/nya/jegyzet-13.pdf Hivatalos jegyzet]'''
* [[Média:Nyau_jegyzet_2010.pdf‎|Legépelt jegyzet 2010 ősz]]
* [[Média:Nyau_kieg_2017_CYK_Algo.pdf|Kiegészítő anyag 2017 - CYK algoritmus]]

===Könyv===
* [[Média:Nyau_konyv_2002.pdf‎‎|Formális nyelvek (Bach Iván)]]
* Algoritmusok (Ivanyos Gábor; Szabó Réka; Rónyai Lajos)

==Gyakorlatok==
Hivatalos, kötelező gyakorlat ugyan nincs a tárgyból, azonban minden évben szokott lenni fakultatív konzultáció, ahol a tárgyoldalra kirakott feladatsorokat veszik végig.

===Gyakorlat 2017===

[[Média:Nyau_gyak_2017.zip | Gyakorlati anyag 2017]]

[[Média:Nyau_szorgalmi_2017.pdf| Szorgalmi, nehéz feladatok 2017]]

===Gyakorlat 2014===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2014_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_2014_gyak1_megoldasok.pdf|Véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_2014_gyak2 megoldasok.pdf|Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_3_min.pdf‎|Minimalizálás]] || Minimalizálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_4_pump.pdf‎|Pumpálás]] || Pumpálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_5_reg_nyelv.pdf‎|Reguláris nyelvek]] || Reguláris nyelvek - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_6_nyelvtan.pdf|Nyelvtanok]] || Nyelvtanok - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_7_cf_nyelvtanok.pdf|CF nyelvtanok átalakításai, egyértelműség]] || [[Média:Nyau_2014_gyak7_megoldasok.pdf|CF nyelvtanok átalakításai, egyértelműség - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_8_cf_pumpa.pdf‎|CF pumpálás]] || [[Média:Nyau_2014_gyak8_megoldasok.pdf|CF pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_9_veremautomatak.pdf‎|Veremautomaták]] || [[Média:Nyau_2014_gyak9_megoldasok.pdf|Veremautomaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_10_cf_pda.pdf‎|Veremautomaták és CF nyelvtanok]] || [[Média:Nyau_2014_gyak10_megoldasok.pdf|Veremautomaták és CF nyelvtanok - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_11_cnf_cyk.pdf‎|Chomsky-normálforma, CYK algoritmus]] || [[Média:Nyau_2014_gyak11_megoldasok.pdf|Chomsky-normálforma, CYK algoritmus - megoldások]]
|-
| [[Média:Nyau_2014_gyak12_feladat.pdf|Turing-gép]] || [[Média:Nyau_2014_gyak12_megoldasok.pdf|Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak13_feladat.pdf|k-szalagos Turing-gép]] || [[Média:Nyau_2014_gyak13_megoldasok.pdf|k-szalagos Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak14_feladat.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE]] || [[Média:Nyau_2014_gyak14_megoldasok.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE - megoldások]]
|-
| [[Média:Nyau_2014_gyak15_feladat.pdf|R, RE, Nevezetes nyelvek]] || [[Média:Nyau_2014_gyak15_megoldasok.pdf|R, RE, Nevezetes nyelvek - megoldások]]
|-
| [[Média:Nyau_2014_gyak16_feladat.pdf|Rice tétel, PCP]] || [[Média:Nyau_2014_gyak16_megoldasok.pdf|Rice tétel, PCP - megoldások]]
|-
| [[Média:Nyau_2014_gyak17_feladat.pdf|Nyelvtanok és TG-ek]] || [[Média:Nyau_2014_gyak17_megoldasok.pdf|Nyelvtanok és TG-ek - megoldások]]
|-
| [[Média:Nyau_2014_gyak18_feladat.pdf|Tár- és időbonyolultság]] || [[Média:Nyau_2014_gyak18_megoldasok.pdf|Tár- és időbonyolultság - megoldások]]
|}

===Gyakorlat 2012===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2012_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_3_min.pdf‎|Minimalizálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_4_pump.pdf‎|Pumpálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|}
===Gyakorlat 2011===
* [[Média:NyA-2011Osz-Gyakorlat-Feladatok.zip|NyA-2011Osz-Gyakorlat-Feladatok.zip]]
* [[Média:nyau_3.zip|2011. 3 ZH előtti gyakorlatok]]

===Gyakorlat 2010===
(Nem hivatalos megoldások, tehát tartalmazhatnak hibát, csak saját felelősségre!)
* 1. gyakorlat (2010.09.09) [[Média:Nya-g-10o-1-va.pdf|Feladatsor]]
* 2. gyakorlat (2010.09.16) [[Média:Nya-g-10o-2-va.pdf|Feladatsor]] [[Média:Nya-m-10o-2.pdf|Megoldás]]
* 3. gyakorlat (2010.09.23) [[Média:Nya-g-10o-3-rkif.pdf|Feladatsor]] [[Média:Nya-m-10o-3.pdf|Megoldás]]
* 4. gyakorlat (2010.09.30) [[Média:Nya-g-10o-4-nyelvtan.pdf|Feladatsor]] [[Média:Nya-m-10o-4.pdf|Megoldás]]
* 5. gyakorlat (2010.10.14) [[Média:Nya-g-10o-5-verem.pdf|Feladatsor]] [[Média:Gyak05.zip|Megoldás]]
* 6. gyakorlat (2010.10.21) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak06.zip|Megoldás]] (6/1 c. feladatnál a megoldás jó, de nem az algoritmus szerint van átalakítva. ZH-n az algoritmust kell használni)
* 7. gyakorlat (2010.10.28) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak07.zip|Megoldás]]
* 8. gyakorlat (2010.11.04) [[Média:Nya-g-10o-7-cfpump.pdf|Feladatsor]] [[Média:Gyak08.zip|Megoldás]]
* 9. gyakorlat (2010.11.11) [[Média:Nya-g-10o-8-re.pdf|Feladatsor]] [[Média:Gyak09.zip|Megoldás]] (Frissült 2010.12.04-én)
* 10. gyakorlat (2010.11.18) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak10.zip|Megoldás]]
* 11. gyakorlat (2010.11.25) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak11.zip|Megoldás]]
* 12. gyakorlat (2010.12.02) [[Média:Nya-g-10o-10-ido.pdf|Feladatsor]] [[Média:Gyak12.zip|Megoldás]]

===Gyakorlat 2009 ===
* {{InLineFileLink|Infoszak|Nya|nya09f1.zip|nya09f1.zip}}: az első 2009-es feladatsor "megoldása" (itt-ott lehet hibás)
* {{InLineFileLink|Infoszak|Nya|nya09f2.zip|nya09f2.zip}}: a második 2009-es feladatsor "megoldása" (itt-ott lehet hibás)

==ZH-k==
Három zh lesz, ezeken az anyaghoz kapcsolódó feladatokat kell megoldani, illetve az órai anyagot számonkérő elméleti kérdés(ek)re kell válaszolni. Minden zh a hozzá tartozó pótzh-n pótolható/javítható. (általában egy héttel később kedd/csütörtök) Egy zh pótolható ezen felül a pótlási héten (pótpótzh). A 2014-es őszi félévtől kezdve egy elméleti kérdés (tétel, vagy definíció kimondása, esetleg egyszerűbb bizonyítás vagy órán tanult konstrukció) is van.

===1. ZH===
* [[Média:Nyau_zh1_2016.pdf |2016 ZH1]] [[Média:Nyau_zh1_2016_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2015.pdf |2015 ZH1]] [[Média:Nyau_zh1_2015_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2014.pdf |2014 ZH1]] [[Média:Nyau_zh1_2014_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2013.pdf |2013 ZH1]] [[Média:Nyau_zh1_2013_mo.docx |Nem hivatalos megoldás]]
* [[Média:Nyau_zh1_2012.jpg|2012 ZH1]]
* [[Média:Nyau_zh1_zh2_2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh1_2010.jpg|2010 ZH1]]
* [[Média:Nyau_zh1_2009.pdf|2009 ZH1]]

===2. ZH===
* [[Média:Nyau_zh2_2014.pdf| Nem hivatalos feladat megoldások 2.ZH témaköréből]]
* [[Média:Nyau_zh2_2013.pdf‎|2013 ZH2]]
* [[Média:Nyau_zh2_2012.pdf‎|2012 ZH2]]
* [[Média:Nyau_zh2_2011.pdf‎‎|2011 ZH2]]
* [[Média:Nyau zh1 zh2 2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh2_2010.pdf‎|2010 ZH2]]
* {{InLineFileLink|Infoszak|Nya|2010osz_zh2mo.zip|2010 ősz 2. ZH Megoldás}}
* [[Média:Nyau_zh2_2009.pdf|2009 ZH2]]

===3. ZH===
* [[Média:Nyau_zh3_2014.pdf| Nem hivatalos feladat megoldások 3.ZH témaköréből]]
* [[Média:Nyau_zh3_2013.pdf‎|2013 ZH3]]
* [[Média:Nyau_zh3_2012.pdf‎‎‎‎|2012 ZH3]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-3ZH-3PZH.jpg|2011 ősz 3. ZH és 3. PZH Feladatsor}}
* [[Média:Nyau_zh3_2011.pdf‎‎‎|2011 ZH3]]
* [[Média:Nyau_zh3_2010.pdf‎‎|2010 ZH3]]
* [[Média:Nyau_zh3_2009.pdf‎|2009 ZH3]]

===4. ZH===
* [[Média:Nyau_zh4_2014.pdf| Nem hivatalos feladat megoldások 4.ZH témaköréből]]
* [[Média:Nyau_zh4_2013.pdf|2013 ZH4]]
* [[Média:Nyau_zh4_2012.pdf|2012 ZH4]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-4PZH.jpg|2011 ősz 4. pótZH Feladatsor}}
* [[Média:Nyau_zh4_2011.pdf|2011 ZH4]]
* [[Média:Nyau_zh4_2010.pdf|2010 ZH4]]
* [[Média:Nyau_zh4_2009.pdf|2009 ZH4]]

{{Lábléc - Mérnök informatikus mesterszak}}

Fájl:Nyau zh1 2016 mo.docx

2018-01-18T17:31:06Z

Tóth Krisztián Dávid:

Fájl:Nyau zh1 2016.pdf

2018-01-18T17:27:25Z

Tóth Krisztián Dávid:

Fájl:Nyau zh1 2015 mo.docx

2018-01-18T17:26:35Z

Tóth Krisztián Dávid:

Fájl:Nyau zh1 2015.pdf

2018-01-18T17:25:50Z

Tóth Krisztián Dávid:

Fájl:Nyau zh1 2014 mo.docx

2018-01-18T17:25:08Z

Tóth Krisztián Dávid:

Fájl:Nyau zh1 2014.pdf

2018-01-18T17:23:05Z

Tóth Krisztián Dávid:

Fájl:Nyau zh1 2013 mo.docx

2018-01-18T17:22:29Z

Tóth Krisztián Dávid:

Fájl:Nyau zh1 2013.pdf

2018-01-18T17:18:07Z

Tóth Krisztián Dávid:

Nyelvek és automaták

2018-01-18T17:11:45Z

Tóth Krisztián Dávid: /* ZH-k */

{{Tantárgy
|nev=Nyelvek és automaták
|tárgykód = VISZMA04
|kredit=4
|felev=Őszi
|kiszh=
|vizsga=nincs
|nagyzh=3 db
|hf=opcionális
|szak=MSC info
|levlista=infomscATsch.bme.hu
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZM104/
|targyhonlap=http://cs.bme.hu/nya/
}}

==Hasznos Infók==
* Előadó: Csima Judit (2017)
* A tárgy ötéves megfelelője: [[Formális nyelvek]]

==Segédanyagok==
===Jegyzetek===
* '''[http://www.cs.bme.hu/~friedl/nya/jegyzet-13.pdf Hivatalos jegyzet]'''
* [[Média:Nyau_jegyzet_2010.pdf‎|Legépelt jegyzet 2010 ősz]]
* [[Média:Nyau_kieg_2017_CYK_Algo.pdf|Kiegészítő anyag 2017 - CYK algoritmus]]

===Könyv===
* [[Média:Nyau_konyv_2002.pdf‎‎|Formális nyelvek (Bach Iván)]]
* Algoritmusok (Ivanyos Gábor; Szabó Réka; Rónyai Lajos)

==Gyakorlatok==
Hivatalos, kötelező gyakorlat ugyan nincs a tárgyból, azonban minden évben szokott lenni fakultatív konzultáció, ahol a tárgyoldalra kirakott feladatsorokat veszik végig.

===Gyakorlat 2017===

[[Média:Nyau_gyak_2017.zip | Gyakorlati anyag 2017]]

[[Média:Nyau_szorgalmi_2017.pdf| Szorgalmi, nehéz feladatok 2017]]

===Gyakorlat 2014===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2014_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_2014_gyak1_megoldasok.pdf|Véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_2014_gyak2 megoldasok.pdf|Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_3_min.pdf‎|Minimalizálás]] || Minimalizálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_4_pump.pdf‎|Pumpálás]] || Pumpálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_5_reg_nyelv.pdf‎|Reguláris nyelvek]] || Reguláris nyelvek - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_6_nyelvtan.pdf|Nyelvtanok]] || Nyelvtanok - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_7_cf_nyelvtanok.pdf|CF nyelvtanok átalakításai, egyértelműség]] || [[Média:Nyau_2014_gyak7_megoldasok.pdf|CF nyelvtanok átalakításai, egyértelműség - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_8_cf_pumpa.pdf‎|CF pumpálás]] || [[Média:Nyau_2014_gyak8_megoldasok.pdf|CF pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_9_veremautomatak.pdf‎|Veremautomaták]] || [[Média:Nyau_2014_gyak9_megoldasok.pdf|Veremautomaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_10_cf_pda.pdf‎|Veremautomaták és CF nyelvtanok]] || [[Média:Nyau_2014_gyak10_megoldasok.pdf|Veremautomaták és CF nyelvtanok - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_11_cnf_cyk.pdf‎|Chomsky-normálforma, CYK algoritmus]] || [[Média:Nyau_2014_gyak11_megoldasok.pdf|Chomsky-normálforma, CYK algoritmus - megoldások]]
|-
| [[Média:Nyau_2014_gyak12_feladat.pdf|Turing-gép]] || [[Média:Nyau_2014_gyak12_megoldasok.pdf|Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak13_feladat.pdf|k-szalagos Turing-gép]] || [[Média:Nyau_2014_gyak13_megoldasok.pdf|k-szalagos Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak14_feladat.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE]] || [[Média:Nyau_2014_gyak14_megoldasok.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE - megoldások]]
|-
| [[Média:Nyau_2014_gyak15_feladat.pdf|R, RE, Nevezetes nyelvek]] || [[Média:Nyau_2014_gyak15_megoldasok.pdf|R, RE, Nevezetes nyelvek - megoldások]]
|-
| [[Média:Nyau_2014_gyak16_feladat.pdf|Rice tétel, PCP]] || [[Média:Nyau_2014_gyak16_megoldasok.pdf|Rice tétel, PCP - megoldások]]
|-
| [[Média:Nyau_2014_gyak17_feladat.pdf|Nyelvtanok és TG-ek]] || [[Média:Nyau_2014_gyak17_megoldasok.pdf|Nyelvtanok és TG-ek - megoldások]]
|-
| [[Média:Nyau_2014_gyak18_feladat.pdf|Tár- és időbonyolultság]] || [[Média:Nyau_2014_gyak18_megoldasok.pdf|Tár- és időbonyolultság - megoldások]]
|}

===Gyakorlat 2012===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2012_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_3_min.pdf‎|Minimalizálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_4_pump.pdf‎|Pumpálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|}
===Gyakorlat 2011===
* [[Média:NyA-2011Osz-Gyakorlat-Feladatok.zip|NyA-2011Osz-Gyakorlat-Feladatok.zip]]
* [[Média:nyau_3.zip|2011. 3 ZH előtti gyakorlatok]]

===Gyakorlat 2010===
(Nem hivatalos megoldások, tehát tartalmazhatnak hibát, csak saját felelősségre!)
* 1. gyakorlat (2010.09.09) [[Média:Nya-g-10o-1-va.pdf|Feladatsor]]
* 2. gyakorlat (2010.09.16) [[Média:Nya-g-10o-2-va.pdf|Feladatsor]] [[Média:Nya-m-10o-2.pdf|Megoldás]]
* 3. gyakorlat (2010.09.23) [[Média:Nya-g-10o-3-rkif.pdf|Feladatsor]] [[Média:Nya-m-10o-3.pdf|Megoldás]]
* 4. gyakorlat (2010.09.30) [[Média:Nya-g-10o-4-nyelvtan.pdf|Feladatsor]] [[Média:Nya-m-10o-4.pdf|Megoldás]]
* 5. gyakorlat (2010.10.14) [[Média:Nya-g-10o-5-verem.pdf|Feladatsor]] [[Média:Gyak05.zip|Megoldás]]
* 6. gyakorlat (2010.10.21) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak06.zip|Megoldás]] (6/1 c. feladatnál a megoldás jó, de nem az algoritmus szerint van átalakítva. ZH-n az algoritmust kell használni)
* 7. gyakorlat (2010.10.28) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak07.zip|Megoldás]]
* 8. gyakorlat (2010.11.04) [[Média:Nya-g-10o-7-cfpump.pdf|Feladatsor]] [[Média:Gyak08.zip|Megoldás]]
* 9. gyakorlat (2010.11.11) [[Média:Nya-g-10o-8-re.pdf|Feladatsor]] [[Média:Gyak09.zip|Megoldás]] (Frissült 2010.12.04-én)
* 10. gyakorlat (2010.11.18) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak10.zip|Megoldás]]
* 11. gyakorlat (2010.11.25) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak11.zip|Megoldás]]
* 12. gyakorlat (2010.12.02) [[Média:Nya-g-10o-10-ido.pdf|Feladatsor]] [[Média:Gyak12.zip|Megoldás]]

===Gyakorlat 2009 ===
* {{InLineFileLink|Infoszak|Nya|nya09f1.zip|nya09f1.zip}}: az első 2009-es feladatsor "megoldása" (itt-ott lehet hibás)
* {{InLineFileLink|Infoszak|Nya|nya09f2.zip|nya09f2.zip}}: a második 2009-es feladatsor "megoldása" (itt-ott lehet hibás)

==ZH-k==
Három zh lesz, ezeken az anyaghoz kapcsolódó feladatokat kell megoldani, illetve az órai anyagot számonkérő elméleti kérdés(ek)re kell válaszolni. Minden zh a hozzá tartozó pótzh-n pótolható/javítható. (általában egy héttel később kedd/csütörtök) Egy zh pótolható ezen felül a pótlási héten (pótpótzh). A 2014-es őszi félévtől kezdve egy elméleti kérdés (tétel, vagy definíció kimondása, esetleg egyszerűbb bizonyítás vagy órán tanult konstrukció) is van.

===1. ZH===
* [[Média:Nyau_zh1_2012.jpg|2012 ZH1]]
* [[Média:Nyau_zh1_zh2_2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh1_2010.jpg|2010 ZH1]]
* [[Média:Nyau_zh1_2009.pdf|2009 ZH1]]

===2. ZH===
* [[Média:Nyau_zh2_2014.pdf| Nem hivatalos feladat megoldások 2.ZH témaköréből]]
* [[Média:Nyau_zh2_2013.pdf‎|2013 ZH2]]
* [[Média:Nyau_zh2_2012.pdf‎|2012 ZH2]]
* [[Média:Nyau_zh2_2011.pdf‎‎|2011 ZH2]]
* [[Média:Nyau zh1 zh2 2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh2_2010.pdf‎|2010 ZH2]]
* {{InLineFileLink|Infoszak|Nya|2010osz_zh2mo.zip|2010 ősz 2. ZH Megoldás}}
* [[Média:Nyau_zh2_2009.pdf|2009 ZH2]]

===3. ZH===
* [[Média:Nyau_zh3_2014.pdf| Nem hivatalos feladat megoldások 3.ZH témaköréből]]
* [[Média:Nyau_zh3_2013.pdf‎|2013 ZH3]]
* [[Média:Nyau_zh3_2012.pdf‎‎‎‎|2012 ZH3]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-3ZH-3PZH.jpg|2011 ősz 3. ZH és 3. PZH Feladatsor}}
* [[Média:Nyau_zh3_2011.pdf‎‎‎|2011 ZH3]]
* [[Média:Nyau_zh3_2010.pdf‎‎|2010 ZH3]]
* [[Média:Nyau_zh3_2009.pdf‎|2009 ZH3]]

===4. ZH===
* [[Média:Nyau_zh4_2014.pdf| Nem hivatalos feladat megoldások 4.ZH témaköréből]]
* [[Média:Nyau_zh4_2013.pdf|2013 ZH4]]
* [[Média:Nyau_zh4_2012.pdf|2012 ZH4]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-4PZH.jpg|2011 ősz 4. pótZH Feladatsor}}
* [[Média:Nyau_zh4_2011.pdf|2011 ZH4]]
* [[Média:Nyau_zh4_2010.pdf|2010 ZH4]]
* [[Média:Nyau_zh4_2009.pdf|2009 ZH4]]

{{Lábléc - Mérnök informatikus mesterszak}}

Nyelvek és automaták

2018-01-18T17:07:23Z

Tóth Krisztián Dávid: /* Jegyzetek */

{{Tantárgy
|nev=Nyelvek és automaták
|tárgykód = VISZMA04
|kredit=4
|felev=Őszi
|kiszh=
|vizsga=nincs
|nagyzh=3 db
|hf=opcionális
|szak=MSC info
|levlista=infomscATsch.bme.hu
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZM104/
|targyhonlap=http://cs.bme.hu/nya/
}}

==Hasznos Infók==
* Előadó: Csima Judit (2017)
* A tárgy ötéves megfelelője: [[Formális nyelvek]]

==Segédanyagok==
===Jegyzetek===
* '''[http://www.cs.bme.hu/~friedl/nya/jegyzet-13.pdf Hivatalos jegyzet]'''
* [[Média:Nyau_jegyzet_2010.pdf‎|Legépelt jegyzet 2010 ősz]]
* [[Média:Nyau_kieg_2017_CYK_Algo.pdf|Kiegészítő anyag 2017 - CYK algoritmus]]

===Könyv===
* [[Média:Nyau_konyv_2002.pdf‎‎|Formális nyelvek (Bach Iván)]]
* Algoritmusok (Ivanyos Gábor; Szabó Réka; Rónyai Lajos)

==Gyakorlatok==
Hivatalos, kötelező gyakorlat ugyan nincs a tárgyból, azonban minden évben szokott lenni fakultatív konzultáció, ahol a tárgyoldalra kirakott feladatsorokat veszik végig.

===Gyakorlat 2017===

[[Média:Nyau_gyak_2017.zip | Gyakorlati anyag 2017]]

[[Média:Nyau_szorgalmi_2017.pdf| Szorgalmi, nehéz feladatok 2017]]

===Gyakorlat 2014===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2014_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_2014_gyak1_megoldasok.pdf|Véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_2014_gyak2 megoldasok.pdf|Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_3_min.pdf‎|Minimalizálás]] || Minimalizálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_4_pump.pdf‎|Pumpálás]] || Pumpálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_5_reg_nyelv.pdf‎|Reguláris nyelvek]] || Reguláris nyelvek - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_6_nyelvtan.pdf|Nyelvtanok]] || Nyelvtanok - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_7_cf_nyelvtanok.pdf|CF nyelvtanok átalakításai, egyértelműség]] || [[Média:Nyau_2014_gyak7_megoldasok.pdf|CF nyelvtanok átalakításai, egyértelműség - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_8_cf_pumpa.pdf‎|CF pumpálás]] || [[Média:Nyau_2014_gyak8_megoldasok.pdf|CF pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_9_veremautomatak.pdf‎|Veremautomaták]] || [[Média:Nyau_2014_gyak9_megoldasok.pdf|Veremautomaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_10_cf_pda.pdf‎|Veremautomaták és CF nyelvtanok]] || [[Média:Nyau_2014_gyak10_megoldasok.pdf|Veremautomaták és CF nyelvtanok - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_11_cnf_cyk.pdf‎|Chomsky-normálforma, CYK algoritmus]] || [[Média:Nyau_2014_gyak11_megoldasok.pdf|Chomsky-normálforma, CYK algoritmus - megoldások]]
|-
| [[Média:Nyau_2014_gyak12_feladat.pdf|Turing-gép]] || [[Média:Nyau_2014_gyak12_megoldasok.pdf|Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak13_feladat.pdf|k-szalagos Turing-gép]] || [[Média:Nyau_2014_gyak13_megoldasok.pdf|k-szalagos Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak14_feladat.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE]] || [[Média:Nyau_2014_gyak14_megoldasok.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE - megoldások]]
|-
| [[Média:Nyau_2014_gyak15_feladat.pdf|R, RE, Nevezetes nyelvek]] || [[Média:Nyau_2014_gyak15_megoldasok.pdf|R, RE, Nevezetes nyelvek - megoldások]]
|-
| [[Média:Nyau_2014_gyak16_feladat.pdf|Rice tétel, PCP]] || [[Média:Nyau_2014_gyak16_megoldasok.pdf|Rice tétel, PCP - megoldások]]
|-
| [[Média:Nyau_2014_gyak17_feladat.pdf|Nyelvtanok és TG-ek]] || [[Média:Nyau_2014_gyak17_megoldasok.pdf|Nyelvtanok és TG-ek - megoldások]]
|-
| [[Média:Nyau_2014_gyak18_feladat.pdf|Tár- és időbonyolultság]] || [[Média:Nyau_2014_gyak18_megoldasok.pdf|Tár- és időbonyolultság - megoldások]]
|}

===Gyakorlat 2012===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2012_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_3_min.pdf‎|Minimalizálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_4_pump.pdf‎|Pumpálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|}
===Gyakorlat 2011===
* [[Média:NyA-2011Osz-Gyakorlat-Feladatok.zip|NyA-2011Osz-Gyakorlat-Feladatok.zip]]
* [[Média:nyau_3.zip|2011. 3 ZH előtti gyakorlatok]]

===Gyakorlat 2010===
(Nem hivatalos megoldások, tehát tartalmazhatnak hibát, csak saját felelősségre!)
* 1. gyakorlat (2010.09.09) [[Média:Nya-g-10o-1-va.pdf|Feladatsor]]
* 2. gyakorlat (2010.09.16) [[Média:Nya-g-10o-2-va.pdf|Feladatsor]] [[Média:Nya-m-10o-2.pdf|Megoldás]]
* 3. gyakorlat (2010.09.23) [[Média:Nya-g-10o-3-rkif.pdf|Feladatsor]] [[Média:Nya-m-10o-3.pdf|Megoldás]]
* 4. gyakorlat (2010.09.30) [[Média:Nya-g-10o-4-nyelvtan.pdf|Feladatsor]] [[Média:Nya-m-10o-4.pdf|Megoldás]]
* 5. gyakorlat (2010.10.14) [[Média:Nya-g-10o-5-verem.pdf|Feladatsor]] [[Média:Gyak05.zip|Megoldás]]
* 6. gyakorlat (2010.10.21) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak06.zip|Megoldás]] (6/1 c. feladatnál a megoldás jó, de nem az algoritmus szerint van átalakítva. ZH-n az algoritmust kell használni)
* 7. gyakorlat (2010.10.28) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak07.zip|Megoldás]]
* 8. gyakorlat (2010.11.04) [[Média:Nya-g-10o-7-cfpump.pdf|Feladatsor]] [[Média:Gyak08.zip|Megoldás]]
* 9. gyakorlat (2010.11.11) [[Média:Nya-g-10o-8-re.pdf|Feladatsor]] [[Média:Gyak09.zip|Megoldás]] (Frissült 2010.12.04-én)
* 10. gyakorlat (2010.11.18) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak10.zip|Megoldás]]
* 11. gyakorlat (2010.11.25) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak11.zip|Megoldás]]
* 12. gyakorlat (2010.12.02) [[Média:Nya-g-10o-10-ido.pdf|Feladatsor]] [[Média:Gyak12.zip|Megoldás]]

===Gyakorlat 2009 ===
* {{InLineFileLink|Infoszak|Nya|nya09f1.zip|nya09f1.zip}}: az első 2009-es feladatsor "megoldása" (itt-ott lehet hibás)
* {{InLineFileLink|Infoszak|Nya|nya09f2.zip|nya09f2.zip}}: a második 2009-es feladatsor "megoldása" (itt-ott lehet hibás)

==ZH-k==
4 db ZH-t kell teljesíteni a félévben, amiből kettőnek az első alkalommal sikerülnie kell, a többi pótolható, egyik kétszer is (pótót). A 4 feladatos zh-kon nagyrészt gyakorlati példákat kell megoldani, a 2014-es őszi félévtől kezdve egy elméleti kérdés (tétel, vagy definíció kimondátsa, esetleg egyszerűbb bizonyítás) is van.

===1. ZH===
* [[Média:Nyau_zh1_2012.jpg|2012 ZH1]]
* [[Média:Nyau_zh1_zh2_2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh1_2010.jpg|2010 ZH1]]
* [[Média:Nyau_zh1_2009.pdf|2009 ZH1]]

===2. ZH===
* [[Média:Nyau_zh2_2014.pdf| Nem hivatalos feladat megoldások 2.ZH témaköréből]]
* [[Média:Nyau_zh2_2013.pdf‎|2013 ZH2]]
* [[Média:Nyau_zh2_2012.pdf‎|2012 ZH2]]
* [[Média:Nyau_zh2_2011.pdf‎‎|2011 ZH2]]
* [[Média:Nyau zh1 zh2 2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh2_2010.pdf‎|2010 ZH2]]
* {{InLineFileLink|Infoszak|Nya|2010osz_zh2mo.zip|2010 ősz 2. ZH Megoldás}}
* [[Média:Nyau_zh2_2009.pdf|2009 ZH2]]

===3. ZH===
* [[Média:Nyau_zh3_2014.pdf| Nem hivatalos feladat megoldások 3.ZH témaköréből]]
* [[Média:Nyau_zh3_2013.pdf‎|2013 ZH3]]
* [[Média:Nyau_zh3_2012.pdf‎‎‎‎|2012 ZH3]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-3ZH-3PZH.jpg|2011 ősz 3. ZH és 3. PZH Feladatsor}}
* [[Média:Nyau_zh3_2011.pdf‎‎‎|2011 ZH3]]
* [[Média:Nyau_zh3_2010.pdf‎‎|2010 ZH3]]
* [[Média:Nyau_zh3_2009.pdf‎|2009 ZH3]]

===4. ZH===
* [[Média:Nyau_zh4_2014.pdf| Nem hivatalos feladat megoldások 4.ZH témaköréből]]
* [[Média:Nyau_zh4_2013.pdf|2013 ZH4]]
* [[Média:Nyau_zh4_2012.pdf|2012 ZH4]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-4PZH.jpg|2011 ősz 4. pótZH Feladatsor}}
* [[Média:Nyau_zh4_2011.pdf|2011 ZH4]]
* [[Média:Nyau_zh4_2010.pdf|2010 ZH4]]
* [[Média:Nyau_zh4_2009.pdf|2009 ZH4]]

{{Lábléc - Mérnök informatikus mesterszak}}

Fájl:Nyau kieg 2017 CYK Algo.pdf

2018-01-18T17:06:00Z

Tóth Krisztián Dávid:

Nyelvek és automaták

2018-01-18T17:04:44Z

Tóth Krisztián Dávid: /* Gyakorlat 2017 */

{{Tantárgy
|nev=Nyelvek és automaták
|tárgykód = VISZMA04
|kredit=4
|felev=Őszi
|kiszh=
|vizsga=nincs
|nagyzh=3 db
|hf=opcionális
|szak=MSC info
|levlista=infomscATsch.bme.hu
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZM104/
|targyhonlap=http://cs.bme.hu/nya/
}}

==Hasznos Infók==
* Előadó: Csima Judit (2017)
* A tárgy ötéves megfelelője: [[Formális nyelvek]]

==Segédanyagok==
===Jegyzetek===
* '''[http://www.cs.bme.hu/~friedl/nya/jegyzet-13.pdf Hivatalos jegyzet]'''
* [[Média:Nyau_jegyzet_2010.pdf‎|Legépelt jegyzet 2010 ősz]]

===Könyv===
* [[Média:Nyau_konyv_2002.pdf‎‎|Formális nyelvek (Bach Iván)]]
* Algoritmusok (Ivanyos Gábor; Szabó Réka; Rónyai Lajos)

==Gyakorlatok==
Hivatalos, kötelező gyakorlat ugyan nincs a tárgyból, azonban minden évben szokott lenni fakultatív konzultáció, ahol a tárgyoldalra kirakott feladatsorokat veszik végig.

===Gyakorlat 2017===

[[Média:Nyau_gyak_2017.zip | Gyakorlati anyag 2017]]

[[Média:Nyau_szorgalmi_2017.pdf| Szorgalmi, nehéz feladatok 2017]]

===Gyakorlat 2014===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2014_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_2014_gyak1_megoldasok.pdf|Véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_2014_gyak2 megoldasok.pdf|Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_3_min.pdf‎|Minimalizálás]] || Minimalizálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_4_pump.pdf‎|Pumpálás]] || Pumpálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_5_reg_nyelv.pdf‎|Reguláris nyelvek]] || Reguláris nyelvek - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_6_nyelvtan.pdf|Nyelvtanok]] || Nyelvtanok - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_7_cf_nyelvtanok.pdf|CF nyelvtanok átalakításai, egyértelműség]] || [[Média:Nyau_2014_gyak7_megoldasok.pdf|CF nyelvtanok átalakításai, egyértelműség - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_8_cf_pumpa.pdf‎|CF pumpálás]] || [[Média:Nyau_2014_gyak8_megoldasok.pdf|CF pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_9_veremautomatak.pdf‎|Veremautomaták]] || [[Média:Nyau_2014_gyak9_megoldasok.pdf|Veremautomaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_10_cf_pda.pdf‎|Veremautomaták és CF nyelvtanok]] || [[Média:Nyau_2014_gyak10_megoldasok.pdf|Veremautomaták és CF nyelvtanok - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_11_cnf_cyk.pdf‎|Chomsky-normálforma, CYK algoritmus]] || [[Média:Nyau_2014_gyak11_megoldasok.pdf|Chomsky-normálforma, CYK algoritmus - megoldások]]
|-
| [[Média:Nyau_2014_gyak12_feladat.pdf|Turing-gép]] || [[Média:Nyau_2014_gyak12_megoldasok.pdf|Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak13_feladat.pdf|k-szalagos Turing-gép]] || [[Média:Nyau_2014_gyak13_megoldasok.pdf|k-szalagos Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak14_feladat.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE]] || [[Média:Nyau_2014_gyak14_megoldasok.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE - megoldások]]
|-
| [[Média:Nyau_2014_gyak15_feladat.pdf|R, RE, Nevezetes nyelvek]] || [[Média:Nyau_2014_gyak15_megoldasok.pdf|R, RE, Nevezetes nyelvek - megoldások]]
|-
| [[Média:Nyau_2014_gyak16_feladat.pdf|Rice tétel, PCP]] || [[Média:Nyau_2014_gyak16_megoldasok.pdf|Rice tétel, PCP - megoldások]]
|-
| [[Média:Nyau_2014_gyak17_feladat.pdf|Nyelvtanok és TG-ek]] || [[Média:Nyau_2014_gyak17_megoldasok.pdf|Nyelvtanok és TG-ek - megoldások]]
|-
| [[Média:Nyau_2014_gyak18_feladat.pdf|Tár- és időbonyolultság]] || [[Média:Nyau_2014_gyak18_megoldasok.pdf|Tár- és időbonyolultság - megoldások]]
|}

===Gyakorlat 2012===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2012_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_3_min.pdf‎|Minimalizálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_4_pump.pdf‎|Pumpálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|}
===Gyakorlat 2011===
* [[Média:NyA-2011Osz-Gyakorlat-Feladatok.zip|NyA-2011Osz-Gyakorlat-Feladatok.zip]]
* [[Média:nyau_3.zip|2011. 3 ZH előtti gyakorlatok]]

===Gyakorlat 2010===
(Nem hivatalos megoldások, tehát tartalmazhatnak hibát, csak saját felelősségre!)
* 1. gyakorlat (2010.09.09) [[Média:Nya-g-10o-1-va.pdf|Feladatsor]]
* 2. gyakorlat (2010.09.16) [[Média:Nya-g-10o-2-va.pdf|Feladatsor]] [[Média:Nya-m-10o-2.pdf|Megoldás]]
* 3. gyakorlat (2010.09.23) [[Média:Nya-g-10o-3-rkif.pdf|Feladatsor]] [[Média:Nya-m-10o-3.pdf|Megoldás]]
* 4. gyakorlat (2010.09.30) [[Média:Nya-g-10o-4-nyelvtan.pdf|Feladatsor]] [[Média:Nya-m-10o-4.pdf|Megoldás]]
* 5. gyakorlat (2010.10.14) [[Média:Nya-g-10o-5-verem.pdf|Feladatsor]] [[Média:Gyak05.zip|Megoldás]]
* 6. gyakorlat (2010.10.21) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak06.zip|Megoldás]] (6/1 c. feladatnál a megoldás jó, de nem az algoritmus szerint van átalakítva. ZH-n az algoritmust kell használni)
* 7. gyakorlat (2010.10.28) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak07.zip|Megoldás]]
* 8. gyakorlat (2010.11.04) [[Média:Nya-g-10o-7-cfpump.pdf|Feladatsor]] [[Média:Gyak08.zip|Megoldás]]
* 9. gyakorlat (2010.11.11) [[Média:Nya-g-10o-8-re.pdf|Feladatsor]] [[Média:Gyak09.zip|Megoldás]] (Frissült 2010.12.04-én)
* 10. gyakorlat (2010.11.18) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak10.zip|Megoldás]]
* 11. gyakorlat (2010.11.25) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak11.zip|Megoldás]]
* 12. gyakorlat (2010.12.02) [[Média:Nya-g-10o-10-ido.pdf|Feladatsor]] [[Média:Gyak12.zip|Megoldás]]

===Gyakorlat 2009 ===
* {{InLineFileLink|Infoszak|Nya|nya09f1.zip|nya09f1.zip}}: az első 2009-es feladatsor "megoldása" (itt-ott lehet hibás)
* {{InLineFileLink|Infoszak|Nya|nya09f2.zip|nya09f2.zip}}: a második 2009-es feladatsor "megoldása" (itt-ott lehet hibás)

==ZH-k==
4 db ZH-t kell teljesíteni a félévben, amiből kettőnek az első alkalommal sikerülnie kell, a többi pótolható, egyik kétszer is (pótót). A 4 feladatos zh-kon nagyrészt gyakorlati példákat kell megoldani, a 2014-es őszi félévtől kezdve egy elméleti kérdés (tétel, vagy definíció kimondátsa, esetleg egyszerűbb bizonyítás) is van.

===1. ZH===
* [[Média:Nyau_zh1_2012.jpg|2012 ZH1]]
* [[Média:Nyau_zh1_zh2_2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh1_2010.jpg|2010 ZH1]]
* [[Média:Nyau_zh1_2009.pdf|2009 ZH1]]

===2. ZH===
* [[Média:Nyau_zh2_2014.pdf| Nem hivatalos feladat megoldások 2.ZH témaköréből]]
* [[Média:Nyau_zh2_2013.pdf‎|2013 ZH2]]
* [[Média:Nyau_zh2_2012.pdf‎|2012 ZH2]]
* [[Média:Nyau_zh2_2011.pdf‎‎|2011 ZH2]]
* [[Média:Nyau zh1 zh2 2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh2_2010.pdf‎|2010 ZH2]]
* {{InLineFileLink|Infoszak|Nya|2010osz_zh2mo.zip|2010 ősz 2. ZH Megoldás}}
* [[Média:Nyau_zh2_2009.pdf|2009 ZH2]]

===3. ZH===
* [[Média:Nyau_zh3_2014.pdf| Nem hivatalos feladat megoldások 3.ZH témaköréből]]
* [[Média:Nyau_zh3_2013.pdf‎|2013 ZH3]]
* [[Média:Nyau_zh3_2012.pdf‎‎‎‎|2012 ZH3]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-3ZH-3PZH.jpg|2011 ősz 3. ZH és 3. PZH Feladatsor}}
* [[Média:Nyau_zh3_2011.pdf‎‎‎|2011 ZH3]]
* [[Média:Nyau_zh3_2010.pdf‎‎|2010 ZH3]]
* [[Média:Nyau_zh3_2009.pdf‎|2009 ZH3]]

===4. ZH===
* [[Média:Nyau_zh4_2014.pdf| Nem hivatalos feladat megoldások 4.ZH témaköréből]]
* [[Média:Nyau_zh4_2013.pdf|2013 ZH4]]
* [[Média:Nyau_zh4_2012.pdf|2012 ZH4]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-4PZH.jpg|2011 ősz 4. pótZH Feladatsor}}
* [[Média:Nyau_zh4_2011.pdf|2011 ZH4]]
* [[Média:Nyau_zh4_2010.pdf|2010 ZH4]]
* [[Média:Nyau_zh4_2009.pdf|2009 ZH4]]

{{Lábléc - Mérnök informatikus mesterszak}}

Nyelvek és automaták

2018-01-18T17:04:19Z

Tóth Krisztián Dávid: /* Gyakorlat 2017 */

{{Tantárgy
|nev=Nyelvek és automaták
|tárgykód = VISZMA04
|kredit=4
|felev=Őszi
|kiszh=
|vizsga=nincs
|nagyzh=3 db
|hf=opcionális
|szak=MSC info
|levlista=infomscATsch.bme.hu
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZM104/
|targyhonlap=http://cs.bme.hu/nya/
}}

==Hasznos Infók==
* Előadó: Csima Judit (2017)
* A tárgy ötéves megfelelője: [[Formális nyelvek]]

==Segédanyagok==
===Jegyzetek===
* '''[http://www.cs.bme.hu/~friedl/nya/jegyzet-13.pdf Hivatalos jegyzet]'''
* [[Média:Nyau_jegyzet_2010.pdf‎|Legépelt jegyzet 2010 ősz]]

===Könyv===
* [[Média:Nyau_konyv_2002.pdf‎‎|Formális nyelvek (Bach Iván)]]
* Algoritmusok (Ivanyos Gábor; Szabó Réka; Rónyai Lajos)

==Gyakorlatok==
Hivatalos, kötelező gyakorlat ugyan nincs a tárgyból, azonban minden évben szokott lenni fakultatív konzultáció, ahol a tárgyoldalra kirakott feladatsorokat veszik végig.

===Gyakorlat 2017===

[[Média:Nyau_gyak_2017.zip | Gyakorlati anyag 2017]]
[[Média:Nyau_szorgalmi_2017.pdf| Szorgalmi, nehéz feladatok 2017]]

===Gyakorlat 2014===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2014_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_2014_gyak1_megoldasok.pdf|Véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_2014_gyak2 megoldasok.pdf|Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_3_min.pdf‎|Minimalizálás]] || Minimalizálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_4_pump.pdf‎|Pumpálás]] || Pumpálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_5_reg_nyelv.pdf‎|Reguláris nyelvek]] || Reguláris nyelvek - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_6_nyelvtan.pdf|Nyelvtanok]] || Nyelvtanok - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_7_cf_nyelvtanok.pdf|CF nyelvtanok átalakításai, egyértelműség]] || [[Média:Nyau_2014_gyak7_megoldasok.pdf|CF nyelvtanok átalakításai, egyértelműség - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_8_cf_pumpa.pdf‎|CF pumpálás]] || [[Média:Nyau_2014_gyak8_megoldasok.pdf|CF pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_9_veremautomatak.pdf‎|Veremautomaták]] || [[Média:Nyau_2014_gyak9_megoldasok.pdf|Veremautomaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_10_cf_pda.pdf‎|Veremautomaták és CF nyelvtanok]] || [[Média:Nyau_2014_gyak10_megoldasok.pdf|Veremautomaták és CF nyelvtanok - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_11_cnf_cyk.pdf‎|Chomsky-normálforma, CYK algoritmus]] || [[Média:Nyau_2014_gyak11_megoldasok.pdf|Chomsky-normálforma, CYK algoritmus - megoldások]]
|-
| [[Média:Nyau_2014_gyak12_feladat.pdf|Turing-gép]] || [[Média:Nyau_2014_gyak12_megoldasok.pdf|Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak13_feladat.pdf|k-szalagos Turing-gép]] || [[Média:Nyau_2014_gyak13_megoldasok.pdf|k-szalagos Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak14_feladat.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE]] || [[Média:Nyau_2014_gyak14_megoldasok.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE - megoldások]]
|-
| [[Média:Nyau_2014_gyak15_feladat.pdf|R, RE, Nevezetes nyelvek]] || [[Média:Nyau_2014_gyak15_megoldasok.pdf|R, RE, Nevezetes nyelvek - megoldások]]
|-
| [[Média:Nyau_2014_gyak16_feladat.pdf|Rice tétel, PCP]] || [[Média:Nyau_2014_gyak16_megoldasok.pdf|Rice tétel, PCP - megoldások]]
|-
| [[Média:Nyau_2014_gyak17_feladat.pdf|Nyelvtanok és TG-ek]] || [[Média:Nyau_2014_gyak17_megoldasok.pdf|Nyelvtanok és TG-ek - megoldások]]
|-
| [[Média:Nyau_2014_gyak18_feladat.pdf|Tár- és időbonyolultság]] || [[Média:Nyau_2014_gyak18_megoldasok.pdf|Tár- és időbonyolultság - megoldások]]
|}

===Gyakorlat 2012===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2012_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_3_min.pdf‎|Minimalizálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_4_pump.pdf‎|Pumpálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|}
===Gyakorlat 2011===
* [[Média:NyA-2011Osz-Gyakorlat-Feladatok.zip|NyA-2011Osz-Gyakorlat-Feladatok.zip]]
* [[Média:nyau_3.zip|2011. 3 ZH előtti gyakorlatok]]

===Gyakorlat 2010===
(Nem hivatalos megoldások, tehát tartalmazhatnak hibát, csak saját felelősségre!)
* 1. gyakorlat (2010.09.09) [[Média:Nya-g-10o-1-va.pdf|Feladatsor]]
* 2. gyakorlat (2010.09.16) [[Média:Nya-g-10o-2-va.pdf|Feladatsor]] [[Média:Nya-m-10o-2.pdf|Megoldás]]
* 3. gyakorlat (2010.09.23) [[Média:Nya-g-10o-3-rkif.pdf|Feladatsor]] [[Média:Nya-m-10o-3.pdf|Megoldás]]
* 4. gyakorlat (2010.09.30) [[Média:Nya-g-10o-4-nyelvtan.pdf|Feladatsor]] [[Média:Nya-m-10o-4.pdf|Megoldás]]
* 5. gyakorlat (2010.10.14) [[Média:Nya-g-10o-5-verem.pdf|Feladatsor]] [[Média:Gyak05.zip|Megoldás]]
* 6. gyakorlat (2010.10.21) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak06.zip|Megoldás]] (6/1 c. feladatnál a megoldás jó, de nem az algoritmus szerint van átalakítva. ZH-n az algoritmust kell használni)
* 7. gyakorlat (2010.10.28) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak07.zip|Megoldás]]
* 8. gyakorlat (2010.11.04) [[Média:Nya-g-10o-7-cfpump.pdf|Feladatsor]] [[Média:Gyak08.zip|Megoldás]]
* 9. gyakorlat (2010.11.11) [[Média:Nya-g-10o-8-re.pdf|Feladatsor]] [[Média:Gyak09.zip|Megoldás]] (Frissült 2010.12.04-én)
* 10. gyakorlat (2010.11.18) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak10.zip|Megoldás]]
* 11. gyakorlat (2010.11.25) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak11.zip|Megoldás]]
* 12. gyakorlat (2010.12.02) [[Média:Nya-g-10o-10-ido.pdf|Feladatsor]] [[Média:Gyak12.zip|Megoldás]]

===Gyakorlat 2009 ===
* {{InLineFileLink|Infoszak|Nya|nya09f1.zip|nya09f1.zip}}: az első 2009-es feladatsor "megoldása" (itt-ott lehet hibás)
* {{InLineFileLink|Infoszak|Nya|nya09f2.zip|nya09f2.zip}}: a második 2009-es feladatsor "megoldása" (itt-ott lehet hibás)

==ZH-k==
4 db ZH-t kell teljesíteni a félévben, amiből kettőnek az első alkalommal sikerülnie kell, a többi pótolható, egyik kétszer is (pótót). A 4 feladatos zh-kon nagyrészt gyakorlati példákat kell megoldani, a 2014-es őszi félévtől kezdve egy elméleti kérdés (tétel, vagy definíció kimondátsa, esetleg egyszerűbb bizonyítás) is van.

===1. ZH===
* [[Média:Nyau_zh1_2012.jpg|2012 ZH1]]
* [[Média:Nyau_zh1_zh2_2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh1_2010.jpg|2010 ZH1]]
* [[Média:Nyau_zh1_2009.pdf|2009 ZH1]]

===2. ZH===
* [[Média:Nyau_zh2_2014.pdf| Nem hivatalos feladat megoldások 2.ZH témaköréből]]
* [[Média:Nyau_zh2_2013.pdf‎|2013 ZH2]]
* [[Média:Nyau_zh2_2012.pdf‎|2012 ZH2]]
* [[Média:Nyau_zh2_2011.pdf‎‎|2011 ZH2]]
* [[Média:Nyau zh1 zh2 2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh2_2010.pdf‎|2010 ZH2]]
* {{InLineFileLink|Infoszak|Nya|2010osz_zh2mo.zip|2010 ősz 2. ZH Megoldás}}
* [[Média:Nyau_zh2_2009.pdf|2009 ZH2]]

===3. ZH===
* [[Média:Nyau_zh3_2014.pdf| Nem hivatalos feladat megoldások 3.ZH témaköréből]]
* [[Média:Nyau_zh3_2013.pdf‎|2013 ZH3]]
* [[Média:Nyau_zh3_2012.pdf‎‎‎‎|2012 ZH3]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-3ZH-3PZH.jpg|2011 ősz 3. ZH és 3. PZH Feladatsor}}
* [[Média:Nyau_zh3_2011.pdf‎‎‎|2011 ZH3]]
* [[Média:Nyau_zh3_2010.pdf‎‎|2010 ZH3]]
* [[Média:Nyau_zh3_2009.pdf‎|2009 ZH3]]

===4. ZH===
* [[Média:Nyau_zh4_2014.pdf| Nem hivatalos feladat megoldások 4.ZH témaköréből]]
* [[Média:Nyau_zh4_2013.pdf|2013 ZH4]]
* [[Média:Nyau_zh4_2012.pdf|2012 ZH4]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-4PZH.jpg|2011 ősz 4. pótZH Feladatsor}}
* [[Média:Nyau_zh4_2011.pdf|2011 ZH4]]
* [[Média:Nyau_zh4_2010.pdf|2010 ZH4]]
* [[Média:Nyau_zh4_2009.pdf|2009 ZH4]]

{{Lábléc - Mérnök informatikus mesterszak}}

Nyelvek és automaták

2018-01-18T17:03:48Z

Tóth Krisztián Dávid: /* Gyakorlatok */

{{Tantárgy
|nev=Nyelvek és automaták
|tárgykód = VISZMA04
|kredit=4
|felev=Őszi
|kiszh=
|vizsga=nincs
|nagyzh=3 db
|hf=opcionális
|szak=MSC info
|levlista=infomscATsch.bme.hu
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZM104/
|targyhonlap=http://cs.bme.hu/nya/
}}

==Hasznos Infók==
* Előadó: Csima Judit (2017)
* A tárgy ötéves megfelelője: [[Formális nyelvek]]

==Segédanyagok==
===Jegyzetek===
* '''[http://www.cs.bme.hu/~friedl/nya/jegyzet-13.pdf Hivatalos jegyzet]'''
* [[Média:Nyau_jegyzet_2010.pdf‎|Legépelt jegyzet 2010 ősz]]

===Könyv===
* [[Média:Nyau_konyv_2002.pdf‎‎|Formális nyelvek (Bach Iván)]]
* Algoritmusok (Ivanyos Gábor; Szabó Réka; Rónyai Lajos)

==Gyakorlatok==
Hivatalos, kötelező gyakorlat ugyan nincs a tárgyból, azonban minden évben szokott lenni fakultatív konzultáció, ahol a tárgyoldalra kirakott feladatsorokat veszik végig.

===Gyakorlat 2017===

[[Média:Nyau_gyak_2017.zip | Gyakorlati anyag 2017]]
[[Fájl:Nyau szorgalmi 2017.pdf | Szorgalmi, nehéz feladatok 2017]]

===Gyakorlat 2014===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2014_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_2014_gyak1_megoldasok.pdf|Véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_2014_gyak2 megoldasok.pdf|Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_3_min.pdf‎|Minimalizálás]] || Minimalizálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_4_pump.pdf‎|Pumpálás]] || Pumpálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_5_reg_nyelv.pdf‎|Reguláris nyelvek]] || Reguláris nyelvek - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_6_nyelvtan.pdf|Nyelvtanok]] || Nyelvtanok - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_7_cf_nyelvtanok.pdf|CF nyelvtanok átalakításai, egyértelműség]] || [[Média:Nyau_2014_gyak7_megoldasok.pdf|CF nyelvtanok átalakításai, egyértelműség - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_8_cf_pumpa.pdf‎|CF pumpálás]] || [[Média:Nyau_2014_gyak8_megoldasok.pdf|CF pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_9_veremautomatak.pdf‎|Veremautomaták]] || [[Média:Nyau_2014_gyak9_megoldasok.pdf|Veremautomaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_10_cf_pda.pdf‎|Veremautomaták és CF nyelvtanok]] || [[Média:Nyau_2014_gyak10_megoldasok.pdf|Veremautomaták és CF nyelvtanok - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_11_cnf_cyk.pdf‎|Chomsky-normálforma, CYK algoritmus]] || [[Média:Nyau_2014_gyak11_megoldasok.pdf|Chomsky-normálforma, CYK algoritmus - megoldások]]
|-
| [[Média:Nyau_2014_gyak12_feladat.pdf|Turing-gép]] || [[Média:Nyau_2014_gyak12_megoldasok.pdf|Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak13_feladat.pdf|k-szalagos Turing-gép]] || [[Média:Nyau_2014_gyak13_megoldasok.pdf|k-szalagos Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak14_feladat.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE]] || [[Média:Nyau_2014_gyak14_megoldasok.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE - megoldások]]
|-
| [[Média:Nyau_2014_gyak15_feladat.pdf|R, RE, Nevezetes nyelvek]] || [[Média:Nyau_2014_gyak15_megoldasok.pdf|R, RE, Nevezetes nyelvek - megoldások]]
|-
| [[Média:Nyau_2014_gyak16_feladat.pdf|Rice tétel, PCP]] || [[Média:Nyau_2014_gyak16_megoldasok.pdf|Rice tétel, PCP - megoldások]]
|-
| [[Média:Nyau_2014_gyak17_feladat.pdf|Nyelvtanok és TG-ek]] || [[Média:Nyau_2014_gyak17_megoldasok.pdf|Nyelvtanok és TG-ek - megoldások]]
|-
| [[Média:Nyau_2014_gyak18_feladat.pdf|Tár- és időbonyolultság]] || [[Média:Nyau_2014_gyak18_megoldasok.pdf|Tár- és időbonyolultság - megoldások]]
|}

===Gyakorlat 2012===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2012_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_3_min.pdf‎|Minimalizálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_4_pump.pdf‎|Pumpálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|}
===Gyakorlat 2011===
* [[Média:NyA-2011Osz-Gyakorlat-Feladatok.zip|NyA-2011Osz-Gyakorlat-Feladatok.zip]]
* [[Média:nyau_3.zip|2011. 3 ZH előtti gyakorlatok]]

===Gyakorlat 2010===
(Nem hivatalos megoldások, tehát tartalmazhatnak hibát, csak saját felelősségre!)
* 1. gyakorlat (2010.09.09) [[Média:Nya-g-10o-1-va.pdf|Feladatsor]]
* 2. gyakorlat (2010.09.16) [[Média:Nya-g-10o-2-va.pdf|Feladatsor]] [[Média:Nya-m-10o-2.pdf|Megoldás]]
* 3. gyakorlat (2010.09.23) [[Média:Nya-g-10o-3-rkif.pdf|Feladatsor]] [[Média:Nya-m-10o-3.pdf|Megoldás]]
* 4. gyakorlat (2010.09.30) [[Média:Nya-g-10o-4-nyelvtan.pdf|Feladatsor]] [[Média:Nya-m-10o-4.pdf|Megoldás]]
* 5. gyakorlat (2010.10.14) [[Média:Nya-g-10o-5-verem.pdf|Feladatsor]] [[Média:Gyak05.zip|Megoldás]]
* 6. gyakorlat (2010.10.21) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak06.zip|Megoldás]] (6/1 c. feladatnál a megoldás jó, de nem az algoritmus szerint van átalakítva. ZH-n az algoritmust kell használni)
* 7. gyakorlat (2010.10.28) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak07.zip|Megoldás]]
* 8. gyakorlat (2010.11.04) [[Média:Nya-g-10o-7-cfpump.pdf|Feladatsor]] [[Média:Gyak08.zip|Megoldás]]
* 9. gyakorlat (2010.11.11) [[Média:Nya-g-10o-8-re.pdf|Feladatsor]] [[Média:Gyak09.zip|Megoldás]] (Frissült 2010.12.04-én)
* 10. gyakorlat (2010.11.18) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak10.zip|Megoldás]]
* 11. gyakorlat (2010.11.25) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak11.zip|Megoldás]]
* 12. gyakorlat (2010.12.02) [[Média:Nya-g-10o-10-ido.pdf|Feladatsor]] [[Média:Gyak12.zip|Megoldás]]

===Gyakorlat 2009 ===
* {{InLineFileLink|Infoszak|Nya|nya09f1.zip|nya09f1.zip}}: az első 2009-es feladatsor "megoldása" (itt-ott lehet hibás)
* {{InLineFileLink|Infoszak|Nya|nya09f2.zip|nya09f2.zip}}: a második 2009-es feladatsor "megoldása" (itt-ott lehet hibás)

==ZH-k==
4 db ZH-t kell teljesíteni a félévben, amiből kettőnek az első alkalommal sikerülnie kell, a többi pótolható, egyik kétszer is (pótót). A 4 feladatos zh-kon nagyrészt gyakorlati példákat kell megoldani, a 2014-es őszi félévtől kezdve egy elméleti kérdés (tétel, vagy definíció kimondátsa, esetleg egyszerűbb bizonyítás) is van.

===1. ZH===
* [[Média:Nyau_zh1_2012.jpg|2012 ZH1]]
* [[Média:Nyau_zh1_zh2_2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh1_2010.jpg|2010 ZH1]]
* [[Média:Nyau_zh1_2009.pdf|2009 ZH1]]

===2. ZH===
* [[Média:Nyau_zh2_2014.pdf| Nem hivatalos feladat megoldások 2.ZH témaköréből]]
* [[Média:Nyau_zh2_2013.pdf‎|2013 ZH2]]
* [[Média:Nyau_zh2_2012.pdf‎|2012 ZH2]]
* [[Média:Nyau_zh2_2011.pdf‎‎|2011 ZH2]]
* [[Média:Nyau zh1 zh2 2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh2_2010.pdf‎|2010 ZH2]]
* {{InLineFileLink|Infoszak|Nya|2010osz_zh2mo.zip|2010 ősz 2. ZH Megoldás}}
* [[Média:Nyau_zh2_2009.pdf|2009 ZH2]]

===3. ZH===
* [[Média:Nyau_zh3_2014.pdf| Nem hivatalos feladat megoldások 3.ZH témaköréből]]
* [[Média:Nyau_zh3_2013.pdf‎|2013 ZH3]]
* [[Média:Nyau_zh3_2012.pdf‎‎‎‎|2012 ZH3]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-3ZH-3PZH.jpg|2011 ősz 3. ZH és 3. PZH Feladatsor}}
* [[Média:Nyau_zh3_2011.pdf‎‎‎|2011 ZH3]]
* [[Média:Nyau_zh3_2010.pdf‎‎|2010 ZH3]]
* [[Média:Nyau_zh3_2009.pdf‎|2009 ZH3]]

===4. ZH===
* [[Média:Nyau_zh4_2014.pdf| Nem hivatalos feladat megoldások 4.ZH témaköréből]]
* [[Média:Nyau_zh4_2013.pdf|2013 ZH4]]
* [[Média:Nyau_zh4_2012.pdf|2012 ZH4]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-4PZH.jpg|2011 ősz 4. pótZH Feladatsor}}
* [[Média:Nyau_zh4_2011.pdf|2011 ZH4]]
* [[Média:Nyau_zh4_2010.pdf|2010 ZH4]]
* [[Média:Nyau_zh4_2009.pdf|2009 ZH4]]

{{Lábléc - Mérnök informatikus mesterszak}}

Fájl:Nyau szorgalmi 2017.pdf

2018-01-18T17:03:13Z

Tóth Krisztián Dávid:

Fájl:Nyau gyak 2017.zip

2018-01-18T17:01:18Z

Tóth Krisztián Dávid:

Nyelvek és automaták

2018-01-18T16:54:45Z

Tóth Krisztián Dávid: /* Hasznos Infók */

{{Tantárgy
|nev=Nyelvek és automaták
|tárgykód = VISZMA04
|kredit=4
|felev=Őszi
|kiszh=
|vizsga=nincs
|nagyzh=3 db
|hf=opcionális
|szak=MSC info
|levlista=infomscATsch.bme.hu
|tad=https://www.vik.bme.hu/kepzes/targyak/VISZM104/
|targyhonlap=http://cs.bme.hu/nya/
}}

==Hasznos Infók==
* Előadó: Csima Judit (2017)
* A tárgy ötéves megfelelője: [[Formális nyelvek]]

==Segédanyagok==
===Jegyzetek===
* '''[http://www.cs.bme.hu/~friedl/nya/jegyzet-13.pdf Hivatalos jegyzet]'''
* [[Média:Nyau_jegyzet_2010.pdf‎|Legépelt jegyzet 2010 ősz]]

===Könyv===
* [[Média:Nyau_konyv_2002.pdf‎‎|Formális nyelvek (Bach Iván)]]
* Algoritmusok (Ivanyos Gábor; Szabó Réka; Rónyai Lajos)

==Gyakorlatok==
Hivatalos, kötelező gyakorlat ugyan nincs a tárgyból, azonban minden évben szokott lenni fakultatív konzultáció, ahol a tárgyoldalra kirakott feladatsorokat veszik végig.

===Gyakorlat 2014===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2014_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_2014_gyak1_megoldasok.pdf|Véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_2014_gyak2 megoldasok.pdf|Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_3_min.pdf‎|Minimalizálás]] || Minimalizálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_4_pump.pdf‎|Pumpálás]] || Pumpálás - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_5_reg_nyelv.pdf‎|Reguláris nyelvek]] || Reguláris nyelvek - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_6_nyelvtan.pdf|Nyelvtanok]] || Nyelvtanok - megoldások
|-
| [[Média:Nyau_gyakorlat_2014_7_cf_nyelvtanok.pdf|CF nyelvtanok átalakításai, egyértelműség]] || [[Média:Nyau_2014_gyak7_megoldasok.pdf|CF nyelvtanok átalakításai, egyértelműség - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_8_cf_pumpa.pdf‎|CF pumpálás]] || [[Média:Nyau_2014_gyak8_megoldasok.pdf|CF pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_9_veremautomatak.pdf‎|Veremautomaták]] || [[Média:Nyau_2014_gyak9_megoldasok.pdf|Veremautomaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_10_cf_pda.pdf‎|Veremautomaták és CF nyelvtanok]] || [[Média:Nyau_2014_gyak10_megoldasok.pdf|Veremautomaták és CF nyelvtanok - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2014_11_cnf_cyk.pdf‎|Chomsky-normálforma, CYK algoritmus]] || [[Média:Nyau_2014_gyak11_megoldasok.pdf|Chomsky-normálforma, CYK algoritmus - megoldások]]
|-
| [[Média:Nyau_2014_gyak12_feladat.pdf|Turing-gép]] || [[Média:Nyau_2014_gyak12_megoldasok.pdf|Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak13_feladat.pdf|k-szalagos Turing-gép]] || [[Média:Nyau_2014_gyak13_megoldasok.pdf|k-szalagos Turing-gép - megoldások]]
|-
| [[Média:Nyau_2014_gyak14_feladat.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE]] || [[Média:Nyau_2014_gyak14_megoldasok.pdf|Kiszámolós TG, nevezetes nyelvek, R, RE - megoldások]]
|-
| [[Média:Nyau_2014_gyak15_feladat.pdf|R, RE, Nevezetes nyelvek]] || [[Média:Nyau_2014_gyak15_megoldasok.pdf|R, RE, Nevezetes nyelvek - megoldások]]
|-
| [[Média:Nyau_2014_gyak16_feladat.pdf|Rice tétel, PCP]] || [[Média:Nyau_2014_gyak16_megoldasok.pdf|Rice tétel, PCP - megoldások]]
|-
| [[Média:Nyau_2014_gyak17_feladat.pdf|Nyelvtanok és TG-ek]] || [[Média:Nyau_2014_gyak17_megoldasok.pdf|Nyelvtanok és TG-ek - megoldások]]
|-
| [[Média:Nyau_2014_gyak18_feladat.pdf|Tár- és időbonyolultság]] || [[Média:Nyau_2014_gyak18_megoldasok.pdf|Tár- és időbonyolultság - megoldások]]
|}

===Gyakorlat 2012===

{| border="1"
| '''Feladatok''' || '''Megoldás'''
|-
| [[Média:Nyau_gyakorlat_2012_1_va.pdf‎|Véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_2_nva.pdf‎|Nemdeterminisztikus véges automaták]] || [[Média:Nyau_gyakorlat_2012_1_va_megoldasok.pdf‎|Véges automaták, Nemdeterminisztikus véges automaták - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_3_min.pdf‎|Minimalizálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|-
| [[Média:Nyau_gyakorlat_2012_4_pump.pdf‎|Pumpálás]] || [[Média:Nyau_gyakorlat_2012_3_min_4_pump_megoldasok.pdf‎|Minimalizálás, Pumpálás - megoldások]]
|}
===Gyakorlat 2011===
* [[Média:NyA-2011Osz-Gyakorlat-Feladatok.zip|NyA-2011Osz-Gyakorlat-Feladatok.zip]]
* [[Média:nyau_3.zip|2011. 3 ZH előtti gyakorlatok]]

===Gyakorlat 2010===
(Nem hivatalos megoldások, tehát tartalmazhatnak hibát, csak saját felelősségre!)
* 1. gyakorlat (2010.09.09) [[Média:Nya-g-10o-1-va.pdf|Feladatsor]]
* 2. gyakorlat (2010.09.16) [[Média:Nya-g-10o-2-va.pdf|Feladatsor]] [[Média:Nya-m-10o-2.pdf|Megoldás]]
* 3. gyakorlat (2010.09.23) [[Média:Nya-g-10o-3-rkif.pdf|Feladatsor]] [[Média:Nya-m-10o-3.pdf|Megoldás]]
* 4. gyakorlat (2010.09.30) [[Média:Nya-g-10o-4-nyelvtan.pdf|Feladatsor]] [[Média:Nya-m-10o-4.pdf|Megoldás]]
* 5. gyakorlat (2010.10.14) [[Média:Nya-g-10o-5-verem.pdf|Feladatsor]] [[Média:Gyak05.zip|Megoldás]]
* 6. gyakorlat (2010.10.21) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak06.zip|Megoldás]] (6/1 c. feladatnál a megoldás jó, de nem az algoritmus szerint van átalakítva. ZH-n az algoritmust kell használni)
* 7. gyakorlat (2010.10.28) [[Média:Nya-g-10o-6-cyk.pdf|Feladatsor]] [[Média:Gyak07.zip|Megoldás]]
* 8. gyakorlat (2010.11.04) [[Média:Nya-g-10o-7-cfpump.pdf|Feladatsor]] [[Média:Gyak08.zip|Megoldás]]
* 9. gyakorlat (2010.11.11) [[Média:Nya-g-10o-8-re.pdf|Feladatsor]] [[Média:Gyak09.zip|Megoldás]] (Frissült 2010.12.04-én)
* 10. gyakorlat (2010.11.18) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak10.zip|Megoldás]]
* 11. gyakorlat (2010.11.25) [[Média:Nya-g-10o-9-rice.pdf|Feladatsor]] [[Média:Gyak11.zip|Megoldás]]
* 12. gyakorlat (2010.12.02) [[Média:Nya-g-10o-10-ido.pdf|Feladatsor]] [[Média:Gyak12.zip|Megoldás]]

===Gyakorlat 2009 ===
* {{InLineFileLink|Infoszak|Nya|nya09f1.zip|nya09f1.zip}}: az első 2009-es feladatsor "megoldása" (itt-ott lehet hibás)
* {{InLineFileLink|Infoszak|Nya|nya09f2.zip|nya09f2.zip}}: a második 2009-es feladatsor "megoldása" (itt-ott lehet hibás)

==ZH-k==
4 db ZH-t kell teljesíteni a félévben, amiből kettőnek az első alkalommal sikerülnie kell, a többi pótolható, egyik kétszer is (pótót). A 4 feladatos zh-kon nagyrészt gyakorlati példákat kell megoldani, a 2014-es őszi félévtől kezdve egy elméleti kérdés (tétel, vagy definíció kimondátsa, esetleg egyszerűbb bizonyítás) is van.

===1. ZH===
* [[Média:Nyau_zh1_2012.jpg|2012 ZH1]]
* [[Média:Nyau_zh1_zh2_2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh1_2010.jpg|2010 ZH1]]
* [[Média:Nyau_zh1_2009.pdf|2009 ZH1]]

===2. ZH===
* [[Média:Nyau_zh2_2014.pdf| Nem hivatalos feladat megoldások 2.ZH témaköréből]]
* [[Média:Nyau_zh2_2013.pdf‎|2013 ZH2]]
* [[Média:Nyau_zh2_2012.pdf‎|2012 ZH2]]
* [[Média:Nyau_zh2_2011.pdf‎‎|2011 ZH2]]
* [[Média:Nyau zh1 zh2 2011.jpg|2011 ZH1-ZH2]]
* [[Média:Nyau_zh2_2010.pdf‎|2010 ZH2]]
* {{InLineFileLink|Infoszak|Nya|2010osz_zh2mo.zip|2010 ősz 2. ZH Megoldás}}
* [[Média:Nyau_zh2_2009.pdf|2009 ZH2]]

===3. ZH===
* [[Média:Nyau_zh3_2014.pdf| Nem hivatalos feladat megoldások 3.ZH témaköréből]]
* [[Média:Nyau_zh3_2013.pdf‎|2013 ZH3]]
* [[Média:Nyau_zh3_2012.pdf‎‎‎‎|2012 ZH3]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-3ZH-3PZH.jpg|2011 ősz 3. ZH és 3. PZH Feladatsor}}
* [[Média:Nyau_zh3_2011.pdf‎‎‎|2011 ZH3]]
* [[Média:Nyau_zh3_2010.pdf‎‎|2010 ZH3]]
* [[Média:Nyau_zh3_2009.pdf‎|2009 ZH3]]

===4. ZH===
* [[Média:Nyau_zh4_2014.pdf| Nem hivatalos feladat megoldások 4.ZH témaköréből]]
* [[Média:Nyau_zh4_2013.pdf|2013 ZH4]]
* [[Média:Nyau_zh4_2012.pdf|2012 ZH4]]
* {{InLineFileLink|Infoszak|Nya|NyA-2011Osz-4PZH.jpg|2011 ősz 4. pótZH Feladatsor}}
* [[Média:Nyau_zh4_2011.pdf|2011 ZH4]]
* [[Média:Nyau_zh4_2010.pdf|2010 ZH4]]
* [[Média:Nyau_zh4_2009.pdf|2009 ZH4]]

{{Lábléc - Mérnök informatikus mesterszak}}

Alkalmazott algebra és matematikai logika

2018-01-10T18:09:18Z

Tóth Krisztián Dávid: /* Vizsgák */

A [[Mérnök informatikus MSc | mérnök informatikus MSc]] Felsőbb matematika tárgyblokk egyik tantárgya.

{{Tantárgy
| név = Alkalmazott algebra és matematikai logika
| tárgykód = TE90MX57
| szak = info MSc
| kredit = 4
| félév =
| kereszt =
| tanszék =
| jelenlét =
| minmunka =
| labor =
| kiszh =
| nagyzh = 1 db
| hf =
| vizsga = írásbeli
| levlista =
| tad = https://www.vik.bme.hu/kepzes/targyak/TE90MX41/
| tárgyhonlap = https://algebra.math.bme.hu/nagy-gabor
}}

=Alkalmazott algebra=

* Előadó: [http://algebra.math.bme.hu/nagy-gabor Nagy Gábor Péter]
* [https://my.owndrive.com/index.php/s/gvf6ZW3soZIXHHo#pdfviewer Előadásdiák]
* '''[http://math.bme.hu/~wettl/okt/Jegyzet/00la.pdf Hivatalos jegyzet]''' (Jóval részeltesebb, mint a tárgy anyaga)
* '''[http://www.math.u-szeged.hu/~nagyg/?pos=47 Hivatalos gyakorlófeladatok]'''

{{Rejtett
|mutatott=Elavult anyagok, a régi különálló Alkalmazott algebra tárgyhoz:
|szöveg=
=== Segédanyagok ===
* [http://www.math.bme.hu/~ig/alkalg/ korábbi jegyzetek]
*[[Alkalmazott algebra - Előadások 2012 | Előadásjegyzet 2012-ből]], [http://www.math.bme.hu/~lukacs/bboard/alkalg/2012/ea_12aa.html ez] alapján.
*[[Media:Alkalg_jegyzet_2012_kezzelirt.pdf | Kézzel írt előadásjegyzet 2012]] Tartalmazhat [[Alkalmazott algebra - Hibák a kézzel írt 2012-es jegyzetben | hibákat]], az utolsó előadást még nem tartalmazza. (Lehet, hogy érdemes 50%-osban nyomtatni.)
*[[Media:Alkalg_jegyzet_2012_hivatalos.pdf | Hivatalos jegyzet 2012]]
*[[Media:Alkalg_jegyzet_2010_hivatalos.pdf | Hivatalos jegyzet 2010]] <- [[Media:Alkalg_jegyzet_2010_hivatalos_tartalomjegyzek.pdf | tartalomjegyzék]]
*[[Media:Alkalg_diasor_2012.pdf | Diasorok összefűzve]], [[Media:Alkalg_diasor_2012_vagva.pdf | teteje levágva]], [[Media:Alkalg_diasor_2012_vagva_8.pdf | 8 dia/oldal]]

=== Zárthelyik ===
*[[Media:Alkalg_zh_2011_regi.pdf | Régebbi zh-k]], és [[Media:Alkalg_zh_2011_regi_mego.pdf | megoldásaik]]
}}

= Matematikai logika =
* Előadó: [http://renyi.hu/~sagi/ Sági Gábor]
* '''[http://renyi.hu/~sagi/felsobbmatC-2010osz-eljgyz.html Hivatalos 2010-es jegyzet]'''
* '''[http://www.renyi.hu/~sagi/felsmat-2017osz-letoltesek.html Hivatalos gyakorlófeladatok]'''
* [[Media:felsmat-2010-merged.pdf | Hivatalos 2010-es jegyzet egy PDF-be fésülve]]
* '''[http://goo.gl/AN8x2w Nem hivatalos, kézzel írt tételkidolgozás - 2017 Ősz - Demeter Deli Kristóf]'''

{{Rejtett
|mutatott=Elavult anyagok, a régi különálló Matematikai logika tárgyhoz:
|szöveg=
===Segédanyagok===
A tárgyhonlapot nem tudjuk, hol van, egyáltalán van-e, egy nagyon régi maradványt sikerült csak megtalálni: http://www.renyi.hu/~sagi/teaching2010sep.html

2014-es honlap: http://www.math.bme.hu/~ferenczi/FelsoMatek14

*[[Media:Matematikailogika_jegyzet_2004.docx | Összefoglaló 2004]]

====2014-es összefoglalás====
Előadásjegyzet alapján, erősen kivonatolva (pl. a feladatmegoldások lépéseit kihagytam belőle) 
Leginkább csak tételek és definíciók. 
(Amelyik tétel vastaggal ki van emelve, arról elhangzott, hogy az fontos) 
Szerkeszthető (DOCX, W2013, egyenletszerkesztős): [[:File:Összefoglalo_2014_(docx).docx]] 
PDF: [[:File:Összefoglalo_2014_(pdf).pdf]]

===Zárthelyik===
*[[Media:Matematikailogika_zh_minta.pdf | Minta ZH]]
*[[Media:Matematikailogika_zh_minta_megoldas.pdf | Minta ZH megoldás]]
*[[Media:Matematikailogika_zh_20101129.png | 2010. őszi ZH]]
*[[Media:matlog_mintazh_2014osz.pdf | 2014. őszi minta ZH]]
*[[:File:2014_zh_1.jpg | 2014. ZH 1. oldal]]
*[[:File:2014_zh_2.jpg | 2014. ZH 2. oldal]]
}}

=Zárthelyik=
* [[:File:Alglog zh1 2016 10 25.jpg|2016. ZH1]]
* [[:File:Alglog pzh1 2016 12 12.jpg|2016. PZH1]]
* [[:File:Alglog 2017 osz ZH.pdf|2017. ZH]]
* [[:File:Alglog 2017 osz PZH.jpg|2017. PZH]]

=== Vizsgák ===
* [[:File:Alglog_ev_osz_2017_12_15.pdf | 2017.12.15 Elővizsga]]
* [[:File:Alglog_v_osz_2017.jpg| 2017.12.19.]]
* [[:File:Alglog_v_osz_2018_01_09.pdf | 2018.01.09]]

{{Lábléc - Mérnök informatikus mesterszak}}

Fájl:Alglog ev osz 2017 12 15.pdf

2018-01-10T18:08:44Z

Tóth Krisztián Dávid:

Alkalmazott algebra és matematikai logika

2018-01-10T18:05:13Z

Tóth Krisztián Dávid:

A [[Mérnök informatikus MSc | mérnök informatikus MSc]] Felsőbb matematika tárgyblokk egyik tantárgya.

{{Tantárgy
| név = Alkalmazott algebra és matematikai logika
| tárgykód = TE90MX57
| szak = info MSc
| kredit = 4
| félév =
| kereszt =
| tanszék =
| jelenlét =
| minmunka =
| labor =
| kiszh =
| nagyzh = 1 db
| hf =
| vizsga = írásbeli
| levlista =
| tad = https://www.vik.bme.hu/kepzes/targyak/TE90MX41/
| tárgyhonlap = https://algebra.math.bme.hu/nagy-gabor
}}

=Alkalmazott algebra=

* Előadó: [http://algebra.math.bme.hu/nagy-gabor Nagy Gábor Péter]
* [https://my.owndrive.com/index.php/s/gvf6ZW3soZIXHHo#pdfviewer Előadásdiák]
* '''[http://math.bme.hu/~wettl/okt/Jegyzet/00la.pdf Hivatalos jegyzet]''' (Jóval részeltesebb, mint a tárgy anyaga)
* '''[http://www.math.u-szeged.hu/~nagyg/?pos=47 Hivatalos gyakorlófeladatok]'''

{{Rejtett
|mutatott=Elavult anyagok, a régi különálló Alkalmazott algebra tárgyhoz:
|szöveg=
=== Segédanyagok ===
* [http://www.math.bme.hu/~ig/alkalg/ korábbi jegyzetek]
*[[Alkalmazott algebra - Előadások 2012 | Előadásjegyzet 2012-ből]], [http://www.math.bme.hu/~lukacs/bboard/alkalg/2012/ea_12aa.html ez] alapján.
*[[Media:Alkalg_jegyzet_2012_kezzelirt.pdf | Kézzel írt előadásjegyzet 2012]] Tartalmazhat [[Alkalmazott algebra - Hibák a kézzel írt 2012-es jegyzetben | hibákat]], az utolsó előadást még nem tartalmazza. (Lehet, hogy érdemes 50%-osban nyomtatni.)
*[[Media:Alkalg_jegyzet_2012_hivatalos.pdf | Hivatalos jegyzet 2012]]
*[[Media:Alkalg_jegyzet_2010_hivatalos.pdf | Hivatalos jegyzet 2010]] <- [[Media:Alkalg_jegyzet_2010_hivatalos_tartalomjegyzek.pdf | tartalomjegyzék]]
*[[Media:Alkalg_diasor_2012.pdf | Diasorok összefűzve]], [[Media:Alkalg_diasor_2012_vagva.pdf | teteje levágva]], [[Media:Alkalg_diasor_2012_vagva_8.pdf | 8 dia/oldal]]

=== Zárthelyik ===
*[[Media:Alkalg_zh_2011_regi.pdf | Régebbi zh-k]], és [[Media:Alkalg_zh_2011_regi_mego.pdf | megoldásaik]]
}}

= Matematikai logika =
* Előadó: [http://renyi.hu/~sagi/ Sági Gábor]
* '''[http://renyi.hu/~sagi/felsobbmatC-2010osz-eljgyz.html Hivatalos 2010-es jegyzet]'''
* '''[http://www.renyi.hu/~sagi/felsmat-2017osz-letoltesek.html Hivatalos gyakorlófeladatok]'''
* [[Media:felsmat-2010-merged.pdf | Hivatalos 2010-es jegyzet egy PDF-be fésülve]]
* '''[http://goo.gl/AN8x2w Nem hivatalos, kézzel írt tételkidolgozás - 2017 Ősz - Demeter Deli Kristóf]'''

{{Rejtett
|mutatott=Elavult anyagok, a régi különálló Matematikai logika tárgyhoz:
|szöveg=
===Segédanyagok===
A tárgyhonlapot nem tudjuk, hol van, egyáltalán van-e, egy nagyon régi maradványt sikerült csak megtalálni: http://www.renyi.hu/~sagi/teaching2010sep.html

2014-es honlap: http://www.math.bme.hu/~ferenczi/FelsoMatek14

*[[Media:Matematikailogika_jegyzet_2004.docx | Összefoglaló 2004]]

====2014-es összefoglalás====
Előadásjegyzet alapján, erősen kivonatolva (pl. a feladatmegoldások lépéseit kihagytam belőle) 
Leginkább csak tételek és definíciók. 
(Amelyik tétel vastaggal ki van emelve, arról elhangzott, hogy az fontos) 
Szerkeszthető (DOCX, W2013, egyenletszerkesztős): [[:File:Összefoglalo_2014_(docx).docx]] 
PDF: [[:File:Összefoglalo_2014_(pdf).pdf]]

===Zárthelyik===
*[[Media:Matematikailogika_zh_minta.pdf | Minta ZH]]
*[[Media:Matematikailogika_zh_minta_megoldas.pdf | Minta ZH megoldás]]
*[[Media:Matematikailogika_zh_20101129.png | 2010. őszi ZH]]
*[[Media:matlog_mintazh_2014osz.pdf | 2014. őszi minta ZH]]
*[[:File:2014_zh_1.jpg | 2014. ZH 1. oldal]]
*[[:File:2014_zh_2.jpg | 2014. ZH 2. oldal]]
}}

=Zárthelyik=
* [[:File:Alglog zh1 2016 10 25.jpg|2016. ZH1]]
* [[:File:Alglog pzh1 2016 12 12.jpg|2016. PZH1]]
* [[:File:Alglog 2017 osz ZH.pdf|2017. ZH]]
* [[:File:Alglog 2017 osz PZH.jpg|2017. PZH]]

=== Vizsgák ===
* [[:File:Alglog_v_osz_2017.jpg| 2017.12.19.]]
* [[:File:Alglog_v_osz_2018_01_09.pdf | 2018.01.09]]

{{Lábléc - Mérnök informatikus mesterszak}}

Fájl:Alglog v osz 2018 01 09.pdf

2018-01-10T18:04:25Z

Tóth Krisztián Dávid:

Alkalmazott algebra és matematikai logika

2017-11-08T07:50:13Z

Tóth Krisztián Dávid:

A [[Mérnök informatikus MSc | mérnök informatikus MSc]] Felsőbb matematika tárgyblokk egyik tantárgya.

{{Tantárgy
| név = Alkalmazott algebra és matematikai logika
| tárgykód = TE90MX57
| szak = info MSc
| kredit = 4
| félév =
| kereszt =
| tanszék =
| jelenlét =
| minmunka =
| labor =
| kiszh =
| nagyzh = 2 db
| hf =
| vizsga = írásbeli
| levlista =
| tad = https://www.vik.bme.hu/kepzes/targyak/TE90MX41/
| tárgyhonlap = https://algebra.math.bme.hu/nagy-gabor
}}

=Alkalmazott algebra=

* Előadó: [http://algebra.math.bme.hu/nagy-gabor Nagy Gábor Péter]
* [https://www.dropbox.com/s/2wv0v6p7qaax36l/Applied%20Linear%20Algebra%20presentation.pdf?dl=0 Előadásdiák] (korábbról, angolul, de a tárgy anyagát ránézésre lefedeik)
* '''[http://math.bme.hu/~wettl/okt/Jegyzet/00la.pdf Hivatalos jegyzet]''' (Jóval részeltesebb, mint a tárgy anyaga)
* '''[http://www.math.u-szeged.hu/~nagyg/DinEx/DinEx_lista.html Hivatalos gyakorlófeladatok]'''

{{Rejtett
|mutatott=Elavult anyagok, a régi különálló Alkalmazott algebra tárgyhoz:
|szöveg=
=== Segédanyagok ===
* [http://www.math.bme.hu/~ig/alkalg/ korábbi jegyzetek]
*[[Alkalmazott algebra - Előadások 2012 | Előadásjegyzet 2012-ből]], [http://www.math.bme.hu/~lukacs/bboard/alkalg/2012/ea_12aa.html ez] alapján.
*[[Media:Alkalg_jegyzet_2012_kezzelirt.pdf | Kézzel írt előadásjegyzet 2012]] Tartalmazhat [[Alkalmazott algebra - Hibák a kézzel írt 2012-es jegyzetben | hibákat]], az utolsó előadást még nem tartalmazza. (Lehet, hogy érdemes 50%-osban nyomtatni.)
*[[Media:Alkalg_jegyzet_2012_hivatalos.pdf | Hivatalos jegyzet 2012]]
*[[Media:Alkalg_jegyzet_2010_hivatalos.pdf | Hivatalos jegyzet 2010]] <- [[Media:Alkalg_jegyzet_2010_hivatalos_tartalomjegyzek.pdf | tartalomjegyzék]]
*[[Media:Alkalg_diasor_2012.pdf | Diasorok összefűzve]], [[Media:Alkalg_diasor_2012_vagva.pdf | teteje levágva]], [[Media:Alkalg_diasor_2012_vagva_8.pdf | 8 dia/oldal]]

=== Zárthelyik ===
*[[Media:Alkalg_zh_2011_regi.pdf | Régebbi zh-k]], és [[Media:Alkalg_zh_2011_regi_mego.pdf | megoldásaik]]
}}

= Matematikai logika =
* Előadó: [http://renyi.hu/~sagi/ Sági Gábor]
* '''[http://renyi.hu/~sagi/felsobbmatC-2010osz-eljgyz.html Hivatalos jegyzet]'''
* '''[http://renyi.hu/~sagi/felsmat-2016osz-letoltesek.html Hivatalos gyakorlófeladatok]'''
* [[Media:felsmat-2010-merged.pdf | Hivatalos jegyzet egy PDF-be fésülve]]

{{Rejtett
|mutatott=Elavult anyagok, a régi különálló Matematikai logika tárgyhoz:
|szöveg=
===Segédanyagok===
A tárgyhonlapot nem tudjuk, hol van, egyáltalán van-e, egy nagyon régi maradványt sikerült csak megtalálni: http://www.renyi.hu/~sagi/teaching2010sep.html

2014-es honlap: http://www.math.bme.hu/~ferenczi/FelsoMatek14

*[[Media:Matematikailogika_jegyzet_2004.docx | Összefoglaló 2004]]

====2014-es összefoglalás====
Előadásjegyzet alapján, erősen kivonatolva (pl. a feladatmegoldások lépéseit kihagytam belőle) 
Leginkább csak tételek és definíciók. 
(Amelyik tétel vastaggal ki van emelve, arról elhangzott, hogy az fontos) 
Szerkeszthető (DOCX, W2013, egyenletszerkesztős): [[:File:Összefoglalo_2014_(docx).docx]] 
PDF: [[:File:Összefoglalo_2014_(pdf).pdf]]

===Zárthelyik===
*[[Media:Matematikailogika_zh_minta.pdf | Minta ZH]]
*[[Media:Matematikailogika_zh_minta_megoldas.pdf | Minta ZH megoldás]]
*[[Media:Matematikailogika_zh_20101129.png | 2010. őszi ZH]]
*[[Media:matlog_mintazh_2014osz.pdf | 2014. őszi minta ZH]]
*[[:File:2014_zh_1.jpg | 2014. ZH 1. oldal]]
*[[:File:2014_zh_2.jpg | 2014. ZH 2. oldal]]
}}

=Zárthelyik=
* [[:File:Alglog zh1 2016 10 25.jpg|2016. ZH1]]
* [[:File:Alglog pzh1 2016 12 12.jpg|2016. PZH1]]
* [[:File:Alglog 2017 osz ZH.pdf|2017. ZH]]

{{Lábléc - Mérnök informatikus mesterszak}}

Alkalmazott algebra és matematikai logika

2017-11-08T07:48:53Z

Tóth Krisztián Dávid:

A [[Mérnök informatikus MSc | mérnök informatikus MSc]] Felsőbb matematika tárgyblokk egyik tantárgya.

{{Tantárgy
| név = Alkalmazott algebra és matematikai logika
| tárgykód = TE90MX57
| szak = info MSc
| kredit = 4
| félév =
| kereszt =
| tanszék =
| jelenlét =
| minmunka =
| labor =
| kiszh =
| nagyzh = 2 db
| hf =
| vizsga = írásbeli
| levlista =
| tad = https://www.vik.bme.hu/kepzes/targyak/TE90MX41/
| tárgyhonlap = https://algebra.math.bme.hu/nagy-gabor
}}

=Alkalmazott algebra=

* Előadó: [http://algebra.math.bme.hu/nagy-gabor Nagy Gábor Péter]
* [https://www.dropbox.com/s/2wv0v6p7qaax36l/Applied%20Linear%20Algebra%20presentation.pdf?dl=0 Előadásdiák] (korábbról, angolul, de a tárgy anyagát ránézésre lefedeik)
* '''[http://math.bme.hu/~wettl/okt/Jegyzet/00la.pdf Hivatalos jegyzet]''' (Jóval részeltesebb, mint a tárgy anyaga)
* '''[http://www.math.u-szeged.hu/~nagyg/DinEx/DinEx_lista.html Hivatalos gyakorlófeladatok]'''

{{Rejtett
|mutatott=Elavult anyagok, a régi különálló Alkalmazott algebra tárgyhoz:
|szöveg=
=== Segédanyagok ===
* [http://www.math.bme.hu/~ig/alkalg/ korábbi jegyzetek]
*[[Alkalmazott algebra - Előadások 2012 | Előadásjegyzet 2012-ből]], [http://www.math.bme.hu/~lukacs/bboard/alkalg/2012/ea_12aa.html ez] alapján.
*[[Media:Alkalg_jegyzet_2012_kezzelirt.pdf | Kézzel írt előadásjegyzet 2012]] Tartalmazhat [[Alkalmazott algebra - Hibák a kézzel írt 2012-es jegyzetben | hibákat]], az utolsó előadást még nem tartalmazza. (Lehet, hogy érdemes 50%-osban nyomtatni.)
*[[Media:Alkalg_jegyzet_2012_hivatalos.pdf | Hivatalos jegyzet 2012]]
*[[Media:Alkalg_jegyzet_2010_hivatalos.pdf | Hivatalos jegyzet 2010]] <- [[Media:Alkalg_jegyzet_2010_hivatalos_tartalomjegyzek.pdf | tartalomjegyzék]]
*[[Media:Alkalg_diasor_2012.pdf | Diasorok összefűzve]], [[Media:Alkalg_diasor_2012_vagva.pdf | teteje levágva]], [[Media:Alkalg_diasor_2012_vagva_8.pdf | 8 dia/oldal]]

=== Zárthelyik ===
*[[Media:Alkalg_zh_2011_regi.pdf | Régebbi zh-k]], és [[Media:Alkalg_zh_2011_regi_mego.pdf | megoldásaik]]
}}

= Matematikai logika =
* Előadó: [http://renyi.hu/~sagi/ Sági Gábor]
* '''[http://renyi.hu/~sagi/felsobbmatC-2010osz-eljgyz.html Hivatalos jegyzet]'''
* '''[http://renyi.hu/~sagi/felsmat-2016osz-letoltesek.html Hivatalos gyakorlófeladatok]'''
* [[Media:felsmat-2010-merged.pdf | Hivatalos jegyzet egy PDF-be fésülve]]

{{Rejtett
|mutatott=Elavult anyagok, a régi különálló Matematikai logika tárgyhoz:
|szöveg=
===Segédanyagok===
A tárgyhonlapot nem tudjuk, hol van, egyáltalán van-e, egy nagyon régi maradványt sikerült csak megtalálni: http://www.renyi.hu/~sagi/teaching2010sep.html

2014-es honlap: http://www.math.bme.hu/~ferenczi/FelsoMatek14

*[[Media:Matematikailogika_jegyzet_2004.docx | Összefoglaló 2004]]

====2014-es összefoglalás====
Előadásjegyzet alapján, erősen kivonatolva (pl. a feladatmegoldások lépéseit kihagytam belőle) 
Leginkább csak tételek és definíciók. 
(Amelyik tétel vastaggal ki van emelve, arról elhangzott, hogy az fontos) 
Szerkeszthető (DOCX, W2013, egyenletszerkesztős): [[:File:Összefoglalo_2014_(docx).docx]] 
PDF: [[:File:Összefoglalo_2014_(pdf).pdf]]

===Zárthelyik===
*[[Media:Matematikailogika_zh_minta.pdf | Minta ZH]]
*[[Media:Matematikailogika_zh_minta_megoldas.pdf | Minta ZH megoldás]]
*[[Media:Matematikailogika_zh_20101129.png | 2010. őszi ZH]]
*[[Media:matlog_mintazh_2014osz.pdf | 2014. őszi minta ZH]]
*[[:File:2014_zh_1.jpg | 2014. ZH 1. oldal]]
*[[:File:2014_zh_2.jpg | 2014. ZH 2. oldal]]
}}

=Zárthelyik=
* [[:File:Alglog zh1 2016 10 25.jpg|2016. ZH1]]
* [[:File:Alglog pzh1 2016 12 12.jpg|2016. PZH1]]
* [[:File:Alglog_2017_osz_ZH.pdf|2017. ZH]]

{{Lábléc - Mérnök informatikus mesterszak}}

Fájl:Alglog 2017 osz ZH.pdf

2017-11-08T07:48:01Z

Tóth Krisztián Dávid:

Alkalmazott algebra és matematikai logika

2017-11-08T07:47:38Z

Tóth Krisztián Dávid:

A [[Mérnök informatikus MSc | mérnök informatikus MSc]] Felsőbb matematika tárgyblokk egyik tantárgya.

{{Tantárgy
| név = Alkalmazott algebra és matematikai logika
| tárgykód = TE90MX57
| szak = info MSc
| kredit = 4
| félév =
| kereszt =
| tanszék =
| jelenlét =
| minmunka =
| labor =
| kiszh =
| nagyzh = 2 db
| hf =
| vizsga = írásbeli
| levlista =
| tad = https://www.vik.bme.hu/kepzes/targyak/TE90MX41/
| tárgyhonlap = https://algebra.math.bme.hu/nagy-gabor
}}

=Alkalmazott algebra=

* Előadó: [http://algebra.math.bme.hu/nagy-gabor Nagy Gábor Péter]
* [https://www.dropbox.com/s/2wv0v6p7qaax36l/Applied%20Linear%20Algebra%20presentation.pdf?dl=0 Előadásdiák] (korábbról, angolul, de a tárgy anyagát ránézésre lefedeik)
* '''[http://math.bme.hu/~wettl/okt/Jegyzet/00la.pdf Hivatalos jegyzet]''' (Jóval részeltesebb, mint a tárgy anyaga)
* '''[http://www.math.u-szeged.hu/~nagyg/DinEx/DinEx_lista.html Hivatalos gyakorlófeladatok]'''

{{Rejtett
|mutatott=Elavult anyagok, a régi különálló Alkalmazott algebra tárgyhoz:
|szöveg=
=== Segédanyagok ===
* [http://www.math.bme.hu/~ig/alkalg/ korábbi jegyzetek]
*[[Alkalmazott algebra - Előadások 2012 | Előadásjegyzet 2012-ből]], [http://www.math.bme.hu/~lukacs/bboard/alkalg/2012/ea_12aa.html ez] alapján.
*[[Media:Alkalg_jegyzet_2012_kezzelirt.pdf | Kézzel írt előadásjegyzet 2012]] Tartalmazhat [[Alkalmazott algebra - Hibák a kézzel írt 2012-es jegyzetben | hibákat]], az utolsó előadást még nem tartalmazza. (Lehet, hogy érdemes 50%-osban nyomtatni.)
*[[Media:Alkalg_jegyzet_2012_hivatalos.pdf | Hivatalos jegyzet 2012]]
*[[Media:Alkalg_jegyzet_2010_hivatalos.pdf | Hivatalos jegyzet 2010]] <- [[Media:Alkalg_jegyzet_2010_hivatalos_tartalomjegyzek.pdf | tartalomjegyzék]]
*[[Media:Alkalg_diasor_2012.pdf | Diasorok összefűzve]], [[Media:Alkalg_diasor_2012_vagva.pdf | teteje levágva]], [[Media:Alkalg_diasor_2012_vagva_8.pdf | 8 dia/oldal]]

=== Zárthelyik ===
*[[Media:Alkalg_zh_2011_regi.pdf | Régebbi zh-k]], és [[Media:Alkalg_zh_2011_regi_mego.pdf | megoldásaik]]
}}

= Matematikai logika =
* Előadó: [http://renyi.hu/~sagi/ Sági Gábor]
* '''[http://renyi.hu/~sagi/felsobbmatC-2010osz-eljgyz.html Hivatalos jegyzet]'''
* '''[http://renyi.hu/~sagi/felsmat-2016osz-letoltesek.html Hivatalos gyakorlófeladatok]'''
* [[Media:felsmat-2010-merged.pdf | Hivatalos jegyzet egy PDF-be fésülve]]

{{Rejtett
|mutatott=Elavult anyagok, a régi különálló Matematikai logika tárgyhoz:
|szöveg=
===Segédanyagok===
A tárgyhonlapot nem tudjuk, hol van, egyáltalán van-e, egy nagyon régi maradványt sikerült csak megtalálni: http://www.renyi.hu/~sagi/teaching2010sep.html

2014-es honlap: http://www.math.bme.hu/~ferenczi/FelsoMatek14

*[[Media:Matematikailogika_jegyzet_2004.docx | Összefoglaló 2004]]

====2014-es összefoglalás====
Előadásjegyzet alapján, erősen kivonatolva (pl. a feladatmegoldások lépéseit kihagytam belőle) 
Leginkább csak tételek és definíciók. 
(Amelyik tétel vastaggal ki van emelve, arról elhangzott, hogy az fontos) 
Szerkeszthető (DOCX, W2013, egyenletszerkesztős): [[:File:Összefoglalo_2014_(docx).docx]] 
PDF: [[:File:Összefoglalo_2014_(pdf).pdf]]

===Zárthelyik===
*[[Media:Matematikailogika_zh_minta.pdf | Minta ZH]]
*[[Media:Matematikailogika_zh_minta_megoldas.pdf | Minta ZH megoldás]]
*[[Media:Matematikailogika_zh_20101129.png | 2010. őszi ZH]]
*[[Media:matlog_mintazh_2014osz.pdf | 2014. őszi minta ZH]]
*[[:File:2014_zh_1.jpg | 2014. ZH 1. oldal]]
*[[:File:2014_zh_2.jpg | 2014. ZH 2. oldal]]
}}

=Zárthelyik=
* [[:File:Alglog zh1 2016 10 25.jpg|2016. ZH1]]
* [[:File:Alglog pzh1 2016 12 12.jpg|2016. PZH1]]
* [[Fájl:Alglog 2017 osz ZH.pdf|2017. ZH]]

{{Lábléc - Mérnök informatikus mesterszak}}

Alkalmazott algebra és matematikai logika

2017-11-01T11:18:10Z

Tóth Krisztián Dávid:

A [[Mérnök informatikus MSc | mérnök informatikus MSc]] Felsőbb matematika tárgyblokk egyik tantárgya.

{{Tantárgy
| név = Alkalmazott algebra és matematikai logika
| tárgykód = TE90MX57
| szak = info MSc
| kredit = 4
| félév =
| kereszt =
| tanszék =
| jelenlét =
| minmunka =
| labor =
| kiszh =
| nagyzh = 2 db
| hf =
| vizsga = írásbeli
| levlista =
| tad = https://www.vik.bme.hu/kepzes/targyak/TE90MX41/
| tárgyhonlap = https://algebra.math.bme.hu/nagy-gabor
}}

=Alkalmazott algebra=

* Előadó: [http://algebra.math.bme.hu/nagy-gabor Nagy Gábor Péter]
* [https://www.dropbox.com/s/2wv0v6p7qaax36l/Applied%20Linear%20Algebra%20presentation.pdf?dl=0 Előadásdiák] (korábbról, angolul, de a tárgy anyagát ránézésre lefedeik)
* '''[http://math.bme.hu/~wettl/okt/Jegyzet/00la.pdf Hivatalos jegyzet]''' (Jóval részeltesebb, mint a tárgy anyaga)
* '''[http://www.math.u-szeged.hu/~nagyg/DinEx/DinEx_lista.html Hivatalos gyakorlófeladatok]'''

{{Rejtett
|mutatott=Elavult anyagok, a régi különálló Alkalmazott algebra tárgyhoz:
|szöveg=
=== Segédanyagok ===
* [http://www.math.bme.hu/~ig/alkalg/ korábbi jegyzetek]
*[[Alkalmazott algebra - Előadások 2012 | Előadásjegyzet 2012-ből]], [http://www.math.bme.hu/~lukacs/bboard/alkalg/2012/ea_12aa.html ez] alapján.
*[[Media:Alkalg_jegyzet_2012_kezzelirt.pdf | Kézzel írt előadásjegyzet 2012]] Tartalmazhat [[Alkalmazott algebra - Hibák a kézzel írt 2012-es jegyzetben | hibákat]], az utolsó előadást még nem tartalmazza. (Lehet, hogy érdemes 50%-osban nyomtatni.)
*[[Media:Alkalg_jegyzet_2012_hivatalos.pdf | Hivatalos jegyzet 2012]]
*[[Media:Alkalg_jegyzet_2010_hivatalos.pdf | Hivatalos jegyzet 2010]] <- [[Media:Alkalg_jegyzet_2010_hivatalos_tartalomjegyzek.pdf | tartalomjegyzék]]
*[[Media:Alkalg_diasor_2012.pdf | Diasorok összefűzve]], [[Media:Alkalg_diasor_2012_vagva.pdf | teteje levágva]], [[Media:Alkalg_diasor_2012_vagva_8.pdf | 8 dia/oldal]]

=== Zárthelyik ===
*[[Media:Alkalg_zh_2011_regi.pdf | Régebbi zh-k]], és [[Media:Alkalg_zh_2011_regi_mego.pdf | megoldásaik]]
}}

= Matematikai logika =
* Előadó: [http://renyi.hu/~sagi/ Sági Gábor]
* '''[http://renyi.hu/~sagi/felsobbmatC-2010osz-eljgyz.html Hivatalos jegyzet]'''
* '''[http://renyi.hu/~sagi/felsmat-2016osz-letoltesek.html Hivatalos gyakorlófeladatok]'''
* [[Media:felsmat-2010-merged.pdf | Hivatalos jegyzet egy PDF-be fésülve]]

{{Rejtett
|mutatott=Elavult anyagok, a régi különálló Matematikai logika tárgyhoz:
|szöveg=
===Segédanyagok===
A tárgyhonlapot nem tudjuk, hol van, egyáltalán van-e, egy nagyon régi maradványt sikerült csak megtalálni: http://www.renyi.hu/~sagi/teaching2010sep.html

2014-es honlap: http://www.math.bme.hu/~ferenczi/FelsoMatek14

*[[Media:Matematikailogika_jegyzet_2004.docx | Összefoglaló 2004]]

====2014-es összefoglalás====
Előadásjegyzet alapján, erősen kivonatolva (pl. a feladatmegoldások lépéseit kihagytam belőle) 
Leginkább csak tételek és definíciók. 
(Amelyik tétel vastaggal ki van emelve, arról elhangzott, hogy az fontos) 
Szerkeszthető (DOCX, W2013, egyenletszerkesztős): [[:File:Összefoglalo_2014_(docx).docx]] 
PDF: [[:File:Összefoglalo_2014_(pdf).pdf]]

===Zárthelyik===
*[[Media:Matematikailogika_zh_minta.pdf | Minta ZH]]
*[[Media:Matematikailogika_zh_minta_megoldas.pdf | Minta ZH megoldás]]
*[[Media:Matematikailogika_zh_20101129.png | 2010. őszi ZH]]
*[[Media:matlog_mintazh_2014osz.pdf | 2014. őszi minta ZH]]
*[[:File:2014_zh_1.jpg | 2014. ZH 1. oldal]]
*[[:File:2014_zh_2.jpg | 2014. ZH 2. oldal]]
}}

=Zárthelyik=
* [[:File:Alglog zh1 2016 10 25.jpg|2016. ZH1]]
* [[:File:Alglog pzh1 2016 12 12.jpg|2016. PZH1]]

{{Lábléc - Mérnök informatikus mesterszak}}

Szoftverarchitektúrák

2017-08-29T07:06:19Z

Tóth Krisztián Dávid:

{{Tantárgy
| név = Szoftverarchitektúrák
| tárgykód = VIAUMA06
| szak = info MSc
| kredit = 4
| félév = őszi
| kereszt =
| tanszék = AAIT
| jelenlét =
| minmunka =
| labor =
| kiszh = 2 db
| nagyzh = 1 db
| hf = 1 nagy beadandó
| vizsga = nincs
| levlista = infomsc{{kukac}}sch.bme.hu
| tad = https://portal.vik.bme.hu/kepzes/targyak/VIAUMA06/
| tárgyhonlap = https://www.aut.bme.hu/Course/VIAUMA06
}}

==Hasznos linkek==
* Top Ten Software Architecture Mistakes: [http://www.developerfusion.com/article/84904/avoiding-the-icebergs/ link]
* Top Ten Software Architecture Mistakes II.: [http://www.developerfusion.com/article/84906/avoiding-the-icebergs-top-ten-software-architecture-mistakes-8211-part-2/ link]
* SaaS előadáson mutatott illusztráció: [http://www.silverlighthack.com/post/2011/02/27/IaaS-PaaS-and-SaaS-Terms-Explained-and-Defined.aspx link]

==Jegyzet==
* [[Szoftverarchitektúrák - Jegyzet | Jegyzet]]
* [[Media:SZOFTARCH_kivonat_v11.pdf | Bővebb jegyzet (PDF)]]
* [[Media:szoftarch_web_architekturak_2014.pdf | Web architektúrák diasor]]

==Kis ZH-k==
===1. Kis ZH, 2010 ősz===
* Röviden foglalja össze, hogy milyen architektúrák léteznek, említsen meg 3-at! (3p)
* Mutassa be az Active Object tervezési mintát! (7p)

===2. Kis ZH, 2010 ősz===
* Csoportosítsa a P2P hálózatokat legalább 2 csoportosítás szerint! Fejtse ki a csoportosítás szempontjait. (6p)
* Mi a kapcsolat a felsorolt elemek között? Hol használjuk? 1-1 mondatban jellemezze az alábbiakat felhasználás szempontból: Platform szoftver, IaaS, SaaS, PaaS! (4p)

===1. Kis ZH, 2014 ősz===
* Röviden foglalja össze, a Filters & Pipelines architektúra típus lényegét!
* Mutassa be a Reactor tervezési mintát!

===1. Kis ZH, 2015 ősz===
* Ismertesse a tipikus architektúra hibákat, kifejtéssel együtt! (3p)
* Mutassa be a Component Configurator tervezési mintát! (7p)

===2. Kis ZH, 2015 ősz===
* Melyek a felhasználói dokumentáció legfontosabb követelményei? (5p)
* Írja le a kapacitás tervezés lépéseit és fejtsen ki a közülül kettőt! (5p)

===1. Kis ZH, 2016 ősz===
* Ismertessen legalább 6 tipikus architektúra hibát kifejtéssel együtt! (3p)
* Mutassa be a Reactor tervezési mintát! (7p)

==ZH-k==

===2016. ősz zh===
# Component Configurator (7p)
# Acceptor-Connector (7p)
# Active Object (7p)
# Zachman Framework főbb elemei (táblázat) (9p)
# IT mérőszámok, terheléstől való függésük, ábra, magyarázat (6p)
# Self-managing rendszerek 4 autonómia attributuma (4p)

===2015. ősz pzh===
# Extension Interface (7p)
# Acceptor-Connector (7p)
# Leader-Followers (7p)
# TOGAF (The Open Group Architecture Forum) főbb elemeinek és lépéseinek bemutatása (10p)
# IT mérőszámok, ábra, magyarázat (3p)
# Mi az a DI (Dependency Injection)? Milyen tervezési mintákkal lehet megvalósítani? (6p)

===2014. ősz ppzh===
# Acceptor-Connector
# Leader-Followers
# Interceptor
# Filters & Pipelines
# Mutassa be az MVVM architektúrát!
# Rétegelt arch (előnyök, mikor érdemes alkalmazni, mikor nem?)

===2014. ősz pzh===
# Component Configurator
# Leader-Followers
# Rétegelt arch (előnyök, mikor érdemes alkalmazni, mikor nem?)
# Soroljon fel 6 architektúra hibát!
# Mutassa be az MVVM architektúrát!
# Aspektus-orientált programozás

===2016. ősz zh===
# Component Configurator
# Acceptor-Connector
# Active Object
# Zachman Framework
# Teljesítmény mérőszámok
# Self-managing rendszerek ábra

===2014. ősz zh===
# Interceptor
# Acceptor-Connector
# Active Object
# Soroljon fel 6 architektúra hibát!
# Mutassa be az MVVM architektúrát!
# Milyen problémát old meg a Dependency Injection és hogyan oldja meg?

===2013. ősz zh===
# Interceptor
# Acceptor-Connector
# Active Object
# Architect súlyos hibái közül 6
# Rétegelt architektúra előnyei. Mikor érdemes ilyet használni?
# a) SaaS, PaaS, IaaS. b) számítási felhők 5 jellemzője

===2011. ősz zh===
# Reactor minta (7p)
# Acceptor-Connector minta (7p)
# Active Object minta (7p)
# Hogyan osztasz meg valaimt torrenten? Mi a tracker, torrent fájl, darab (piece)? (7p)
# Milyen mérőszámai vannak a teljesítménynek, részletezze. (6p)
# Mire jók a réteges architektúrák, mikor használjuk, mikor nem? (6p)

===2010. ősz zh===
# Ismertesse a Komponens Konfigurátor tervezési mintát! (6p)
# Ismertesse az Acceptor - Connector tervezési mintát! (6p)
# Milyen módosításokat kell végezni egy hagyományos egyprocesszoros környezetben működő 32 bites Linux alá fejlesztett alkalmazáson, hogy szimmetrikus multiprocesszoros rendszerekben is működőképes legyen? Hogyan befolyásolja a fent végzett portolás az alkalmazás teljesítményét? (5p)
# Mi az MPI kommunikátor és miért érdemes alkalmazni? Mik az MPI kommunikációs primitívjei? (6p)
# A sorbanállási modell esetén milyen erőforrásokat különböztetünk meg és hogyan alakul a kiszolgálási idejük a várakozási sor függvényében? (6p)
# Mikor érdemes és mikor nem érdemes háromrétegű architektúrát használni? Melyek a háromrétegű architektúra előnyei és hátrányai? (6p)
# Soroljon fel SaaS 5 előnyét és 5 hátrányát! (5p)

===2010. ősz pótzh===
# Ismertesse az Interceptor tervezési mintát! (7p)
# Ismertesse a Reaktor tervezési mintát! (7p)
# Mi a különbség a cache koherens és a nem cache koherens NUMA architektúra között? Melyik skálázhatóbb, mi a kiterjesztett skálázhatóság ára? (7p)
# Mi a válaszidő? Hogyan lehet csökkenteni a válaszidőt? (7p)
# Mikor érdemes rétegzett architektúrát használni? Melyek a rétegzett architektúra előnyei és hátrányai? (7p)
# Mikor érdemes SaaS megközelítést alkalmazni? (5p)

{{Lábléc - Mérnök informatikus mesterszak}}

Kritikus rendszerek szakirány

2017-08-29T07:00:34Z

Tóth Krisztián Dávid:

==Bemutatkozás==
Kritikus rendszerekben a rendszer hibás működése komoly üzleti vagy akár emberéletekben mérhető károkat okozhat. Biztonság-kritikus rendszerekkel találkozunk repülőgépek, autók, vasutak, gyárak, reaktorok, egészségügyi rendszerek esetén, de kiemelt jelentőségűek az üzletileg kritikus szolgáltatások számítógép infrastruktúrák, big data alkalmazások, virtualizációs és cloud platformok is. Napjainkban már e kritikus rendszerek 70-80%-át szoftveralkalmazások teszik ki. Kritikus rendszerek esetén a kiemelt minőség az elsődleges tervezési paraméter. Biztonsági szabványok által előírtan kell biztosítani a garantáltan hibamentes működést, az olcsó gyártást és a hosszútávú gazdaságos üzemeltetést. Egyetlen repülőgép sem szállhat fel, amíg a gyártó nem igazolja független bizottság előtt, hogy a 30 éves életciklus alatt nem fordulhat elő egyetlen veszélyt okozó meghibásodás sem. Egy új autó hardver architektúrájában minden megspórolt 50 cent több milliós gyártás esetén már igen komoly megtakarítás lehet, ezért kiemelt figyelmet kell fordítani a rendelkezésre álló erőforrások hatékony kihasználtságára is. A Kritikus rendszerek főspecializáció missziója, hogy olyan elit mérnökinformatikusokat képezzen ki, akik jártasak a kritikus rendszerek tervezésében, fejlesztésében, ellenőrzésében és üzemeltetésében, és bármilyen európai munkahelyen megállják a helyüket.
*https://inf.mit.bme.hu/edu/specialization/msc2015

==Természettudományos alapismeretek==
* [[Rendszeroptimalizálás]]
* [[Alkalmazott algebra és matematikai logika]]
==Közös tárgyak==
*[[Formális módszerek]]
*[[Nyelvek és automaták]]
*[[Szoftverarchitektúrák]]
*[[Tömegkiszolgálás]]
*[[Információelmélet]]

==Szakirányos tárgyak==
===1. félév===
* [[Multiplatform szoftverfejlesztés]]
* [[Szolgáltatásorientált rendszerintegráció]]
* [[Modellalapú szoftvertervezés]]
===2. félév===
* [[Kiberfizikai rendszerek]]
* [[Szoftver és rendszerellenőrzés]]
* [[Kritikus rendszerek integrációja laboratórium]]
===3. félév===
* [[Kritikus architektúrák laboratórium]]

==Linkek==
* Honlap
** https://inf.mit.bme.hu/
** https://inf.mit.bme.hu/edu/msc