Az alábbi információk tájékoztató jellegűek. A hatályos követelmények az egyetemi tanrendi keresőben találhatók.
Nappali tagozaton:
Előadás: heti 2 óra / 5 kredit (I0162e), illetve 4 kredit (IB0162e). 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: I403 Formális nyelvek és szintaktikus elemzésük vagy IB403 Formális nyelvek
Absztrakt redukáló rendszerek. Termátíró rendszerek. Term egyenlőség rendszerek.
Megálló (termináló) tulajdonság. A probléma eldönthetetlensége. A megállás bizonyítása speciális esetekben rendezések segítségével. Az interpretációs módszer. Egyszerűsítő rendezések.
Összefolyó (konfluens) tulajdonság. A probléma eldönthetetlensége. Kritikus pár. Ortogonális termátíró rendszerek.
Lezárási algoritmus. Az alapvető lezárási algoritmus. A fejlesztett lezárási algoritmus. Huet lezárási algoritmusa.
Ground termátíró rendszerek. Redukált ground termátíró rendszerek. Kapcsolat faautomatákkal. Ground term egyenlőség rendszerek.
Kiterjesztések. Átírás modulo ekvacionális elméletek. Rendezett átírás. Feltételes átírás. Magasabb szintű átíró rendszerek. Redukáló stratégiák. Szűkítés.
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:
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.