Nyelvek és automaták (VISZMA12)

2024 ősz

A tantárgynak új kódja van, de egyelőre még a régi tematika alapján haladunk.

Ugyanez a matematikusoknak Elméleti számítástudomány   néven fut (a korábbi ilyen nevű tantárgy utódja), az órák, számonkérések közösek.

A félév során lesz néhány beadható feladat, amelyekkel a zh-kból kapott pontátlagot lehet (kicsit) felfelé módosítani.



A zh-kon könyv, jegyzet nem használható. 6-6 feladat várható, mindegyik 10 pontot ér (de ha van (a), (b), (c), .. rész is, ezek nem feltétlenül érnek ugyanannyit).
A megoldásokat indokolni kell, kivéve, ha valami tanult eljárást használnak, de ekkor látszódnia kell a tanult lépéseknek.

Tájékoztatásul a ponthatárok:
Ha valamelyik zh-t nem teljesítette: elégtelen
Különben, ha p=a két zh pontjainak összege, akkor
48 ≤ p ≤ 65: elégséges;    66 ≤ p ≤ 83: közepes;   84 ≤ p ≤ 101: jó;   102 ≤ p : jeles

Eredmények: mindig a kari Moodle-ban lesznek



1. zh : okt.22. (kedd) 18:15-19:45, terem: Q II

Az 1. zh anyaga: A Turing-gépek már em, de addig minden (CYK és az egyéb algoritmikus kérdéesk is). Vigyázat, 2023-ban máshol volt a határ!

Eredmények: a kari Moodle-ban.
Tájékoztatásul: átlagpontszám: 36, legtöbb pont: 59 (gratulálok!), legkevesebb pozitív pont: 1, jegyátlag: 3,1.
A dolgozatok megnézhetők a szerdai óra után, a csütörtöki óra előtt és (korlátozottan) az órák szünetében is. Továbbá egyéb, emailben egyeztetett időpotban.

-->


1. pótzh : nov.6. (szerda) 18:15-19:45, terem: Q II

Anyaga: ugyanaz, mint az 1. zh anyaga.

Aki nem ért el az 1.zh-n legalább 24 pontot, annak ebben a félévben ez a lehetőség maradt.

Aki elért annyit, az, ha akar, jöhet javítani (de kérem jelezze a szándékát).
Figyelem, aki bead dolgozatot, annál a pótzh eredménye felülírja az esetleges zh-eredményét -- kivéve, ha az 1.pótzh-n nem éri el a 24 pontot, de az 1.zh-n volt legalább 24 pontja. Ebben az esetben a pontszám nem az 1.pótzh eredményére, hanem 24-re csökken.

Eredmények a moodle-ban.
Tájékoztatásul: átlagpontszám: 26, legtöbb pont: 54 (gratulálok!), legkevesebb pozitív pont: 1, jegyátlag: 2,1.
A dolgozatok megtekinthetők a szerdai (nov. 13.) előadás után, esetleg a szünetben, vagy egyéb, egyeztetett időpotban.
Az esetleges kérdésekkel keressenek meg.




2. zh: dec. 4.(szerda) 18:15-19:45, terem: IB027, IE 007 (beosztás majd lesz)



2. pótzh: dec.13. (péntek) 8-10, terem: IB025

Anyaga: ugyanaz, mint a 2. zh anyaga



Gyakorló feladatsorok:  ide kerülnek (hetente).    Később megoldások is megjelennek - de az nem baj, ha valaki nem pont így oldotta meg. Kétségek esetén kérdezzenek!

  1. Véges automaták   (megoldások) ,    2. Minimalizálás    (megoldások)    3. Reguláris kifejezés, pumpálási lemma    (megoldások)    4. Nyelvtanok    (megoldások)    5. Környezetfüggetlen nyelvek     (megoldások)    6. CF pumpálás    (megoldások)    7. CYK, algoritmikus feladatok    (megoldások)    8. Turing-gépek, R, RE      (megoldások)    9. R, RE, Rice-tétel    (megoldások)    10. Dominó, PCP, CF problémák   

Plusz pontért beadható feladatok (időnként bővülő lista, 1-2 hetes határidőkkel): Extra feladatok

Az extra feladatok megoldásait pdf-ben lehet elküldeni emailben vagy papíron az előadás elején beadhatók (esetleg korábban is a tanszéki adminisztárcióban).


 
Egy Pallag Jonatán által írt, még tesztelés alatt álló szoftver, amivel ki lehet próbálni tanult eljárások egy részét.
 
Az elhangzott előadások fontosabb témakörei, előzetes címszavakban

Jegyzet  az előadáshoz.
Kiegészítés a CYK algoritmushoz,   és a    kimenetes automatákról.  

Eddig  megtalált hibák. Aki talál még, kérem jelezze!

Nem biztos, hogy mindig pontosan a jegyzetek  alapján fogunk haladni, de a tananyag nagy részét tartalmazzák.


Egy python és egy C nyelvtan.

  A játékok is lehetnek nehezek.

Egy beszélt nyelv is lehet nem CF

Melyik a legnehezebb nyelv?


Korábbi zh-k
2023: 1.ZH      2.ZH
2022: 1.ZH      2.ZH
2021: 1.ZH      2.ZH
2020: 1.ZH      2.ZH
2019: 1.ZH      2.ZH
2018: 1.ZH      2.ZH
Még korábbi zh-k -- kicsit más tematikával (a változó VIK-es szabályok által aktuálisan meghatározott számban)
2017: 1.ZH     2.ZH     3.ZH
2016: 1.ZH     2.ZH     3.ZH
2015: 1.ZH     2.ZH     3.ZH    
2014: 1.ZH     2.ZH     3.ZH     4.ZH
2013: 1.ZH     2. ZH    3. ZH    4. ZH
2012: 1.ZH     2. ZH    3. ZH    4. ZH
2011: 1. ZH    2. ZH    3. ZH    4. ZH   
2010: 1. ZH    2. ZH    3. ZH    4. ZH   
2009: 1. ZH    2. ZH    3. ZH    4. ZH  



Friedl Katalin, BME   VIK   SZIT