Nyelvek és automaták (VISZMA12)
2025 ősz
A tantárgynak új kódja van, de egyelőre még a korábbi 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.
- Előadás:
szerda 8-10,   QBF09 és páratlan tanítási héten Cs 10-12,  IB027 is.
- Előadó: Friedl
Katalin, IB137/A, email,
weboldal
- Konzultáció:
Igény esetén
- Számonkérés:
Két 90 perces 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.
- Mindegyik zh-n legalább 40%-ot el kell érni a legalább
elégséges jegyhez.
- A félévi jegy a zh-pontszámok összegéből keletkezik.
- Minden zh a hozzá tartozó pótzh-n pótolható/javítható.
- Nincs pótpótzh alkalom!
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.27. (hétfő) 18:15-19:45, terem: Q I
Az 1. zh anyaga: Az okt. 15-i előadás végéig. Azaz Turing-gépek már nem, de addig minden.
Eredmények: a kari Moodle-ban.
Tájékoztatásul: átlagpontszám:40, legtöbb pont: 60
(gratulálok!), legkevesebb pozitív pont: 5 jegyátlag: 3,4.
A dolgozatok megnézhetők a szerdai és csütörötki óra előtt/után és (korlátozottan) az órák szünetében is. Továbbá egyéb, emailben egyeztetett időpotban.
1. pótzh : nov.12. (szerda)
18:15-19:45, terem: Q II
Anyaga: ugyanaz, mint az 1. zh anyaga.
Aki jönni akar, kérem jelezze (pl. teams vagy email)
Aki nem ért el az 1.zh-n legalább 24 pontot, annak ebben a félévben ez a lehetőség maradt ezt bepótolni.
Aki elért annyit, az, ha akar, jöhet javítani.
Figyelem, aki ír 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.
2. zh:
dec. 10.(szerda) 18:15-19:45, terem: Q I
2. pótzh:
dec.19. (péntek) ??, terem: ?
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, reguláris kifejezések
(megoldások)
3.
Pumpálási lemma, nyelvtanok
(megoldások)
4.
Nyelvtanok, CF nyelvek
(megoldások)
5. Veremautomata, CYK algoritmus
(megoldások)
6. Algoritmikus kérdések
(megoldások)
7. Turing-gép, diagonális nyelv
(megoldások)
8.
R, RE, Rice-tétel
Plusz pontért beadható feladatok (időnként bővülő lista, 1-2 hetes
határidőkkel):
Extra
feladatok
Új!!
Az extra feladatok megoldásait pdf-ben lehet elküldeni emailben vagy papíron az előadás elején beadhatók (vagy korábban is a tanszéki adminisztrációban).
Egy Pallag Jonatán által írt, még tesztelés alatt álló szoftver, amivel ki lehet próbálni a 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
2024: 1.ZH
2.ZH
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