Automaták és formális logika

kódja/kódjai: I0161e, I0161g

Felelős tanszék: Számítástudomány Alapjai Tanszék

 Nappali tagozaton:

   Előadás: heti 2 óra / 5 kredit. Teljesítés módja: Kollokvium.

   Gyakorlat: heti 1 óra / 0 kredit. Teljesítés módja: Aláírás.

 A kurzus felvételének előfeltételei: I403e Formális nyelvek és szintaktikus elemzésük / I512e Számítástudomány alapjai, I607e Logika a számítástudományban / I604e Logika és informatikai alkalmazásai

 Előadás anyaga:

Tematika:

•  Első- és másodrendű logika véges szavakon. A monadikus másodrendű logika ekvivalenciája a véges automatákkal (Büchi tétele). A teljes másodrendű logika kifejező ereje.

•  Automaták végtelen szavakon. Büchi automaták. Felismerhető és reguláris omega-nyelvek. A komplemens képzésre való zártság. A monadikus másodrendű logika és a Büchi automaták ekvivalenciája.

•  Számlálómentes automaták és aperiodikus monoidok. Csillagmentes kifejezések és nyelvek. A számlálómentes automaták, csillagmentes kifejezések és az elsőrendű logika ekvivalenciája.

•  Az elsőrendű logika és a temporális logika ekvivalenciája.

Ajánlott irodalom:

•  H. Straubing, Automata, Formal Logic, and Cicuit Complexity , Birkhauser, 1993.

•  W. Thomas, Languages, Automata, and Logic , Chapter 8, Handbook of Formal Languages , Vol 3. Springer, 1997.

A kurzus teljesítésének feltételei:

Nappali:

 A gyakorlat és a vizsga csak azonos tanulmányi félévben teljesíthetők. Korábbi gyakorlati teljesítmény nem vehető figyelembe és a gyakorlat kötelező látogatása alól sem mentesít.

 A kurzusok teljesítéseinek értékelése pontozás alapján történik. Maximálisan összegyűjthető pontszám 100, amelyből a gyakorlaton 40-et, a vizsgán 60-at lehet megszerezni.

 A gyakorlat teljesítésének (az aláírás megszerzése) feltételei:

 A gyakorlat látogatása kötelező. Egynél több igazolatlan hiányzás (ami nem eshet a zárthelyi dolgozatírások időpontjába) esetén a gyakorlat nem teljesített. Igazolt hiányzás esetén az igazolását a hallgató köteles a hiányzást követő első gyakorlaton bemutatni az oktatónak.

 Amennyiben a hallgató igazoltan többet hiányzott, mint az adott kötelező foglalkozásra megállapított 6 heti összes óraszám, pótlásnak helye nincs, a tantárgy nem teljesített.

 2 zárthelyi dolgozat sikeres megírása, amelyek időpontjainak kihirdetése az első gyakorlaton történik. A zárthelyi dolgozat témaköre a gyakorlaton és az előadáson a dolgozatírást megelőző hétig elhangzott anyagból kerül ki. Dolgozatonként a maximális pontszám 20. A dolgozat sikeres, ha az elért pontszám legalább 6. Csak egy sikertelen dolgozat javítható az első gyakorlaton kihirdetett időpontban. Sikeres dolgozat nem javítható. A javító dolgozat témaköre a sikertelen dolgozatéval azonos. A legalább 30%-ra megírt javító dolgozat minősül sikeresnek és a pontszáma 6. Az igazolt hiányzás miatti dolgozatírás pótlása a javító dolgozatírással együtt történik. Az ilyen dolgozatok témaköre és értékelése megegyezik a pótolandó dolgozatéval.
A gyakorlat csak sikeres vizsga esetén teljesített aláírással.

 A vizsga (kollokvium) teljesítésének feltételei:

 Csak az a hallgató vizsgázhat az ETR-ben meghirdetett vizsganapokon, aki a gyakorlaton a fentiek szerint meghatározott módon legalább 12 pontot gyűjtött, érvényes jelentkezése van az adott vizsganapra az ETR-ben, bemutatja a vizsgán az ETR-ből nyomtatott kurzusteljesítési lapot és a leckekönyvét /diákigazolványát.
Az előre kiadott tételekből a vizsgáztató által kiválasztott 2 tételt kell sikeresen kidolgozni. Tételenként 30 a maximális pontszám. Sikeres a tétel kidolgozása, ha a kapott pontszám legalább 9.

 A kollokvium érdemjegyének meghatározása a gyakorlaton és a vizsgán a fenti feltételeket kielégítő szerzett pontok összege alapján történik a következő ponthatárok szerint:

• 0 - 29 pont : elégtelen (1)
• 30 - 49 pont : elégséges (2)
• 50 - 69 pont : közepes (3)
• 70 - 84 pont : jó (4)
• 85 - 100 pont : jeles (5)

 Vizsgáról való hiányzásra vonatkozó szabályozás:

 A TVSZ 13.4. pontja szerint "a vizsgáról való nem engedélyezett távolmaradás elhasznált vizsgaalkalomnak minősül, mellyel a lehetséges vizsgaismétlések számát csökkenteni kell".

 Vizsgáról való hiányzás igazolásával a hallgatónak a vizsgáztató oktatóhoz kell fordulni.

 Sikeres kollokviumot javító vizsga teljesítésének feltételei:

 Sikeres vizsga megismétlésére a TVSZ. 15. pontjában leírtak érvényesek. A sikeres vizsgát javító vizsga ekkor két részből áll. Egyik rész a gyakorlat témakörére épülő feladatsor sikeres megoldása. Ennek maximális pontszáma 40 és a feladatsor megoldása akkor sikeres, ha legalább 12 pontos. Másik rész az előre kiadott tételekből a vizsgáztató által kiválasztott 2 tétel sikeres kidolgozása. Tételenként 30 a maximális pontszám. Sikeres a tétel kidolgozása, ha a kapott pontszám legalább 9. A kollokvium érdemjegyének meghatározása a sikeresen kidolgozott 2 tételre és a feladatsorra kapott pontszámok összege alapján történik a ponthatárok szerint.