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 (I703e), illetve 4 kredit (IB703e). Teljesítés módja: Kollokvium.
Gyakorlat: heti 1 óra / 0 kredit. Teljesítés módja: Aláírás.
Levelező tagozaton
Előadás: összesen 13 óra / 5 kredit (IL703e), illetve 4 kredit (IBL703e). Teljesítés módja: Kollokvium.
Gyakorlat: összesen 5 óra / 0 kredit. Teljesítés módja: Aláírás.
A kurzus felvételének előfeltételei: Formális nyelvek és szintaktikus elemzésük vagy Formális nyelvek.
Reguláris nyelvek jellemzése véges indexű kongruenciákkal.
Nerode és Myhill tételei.
Automaták minimalizálása.
A szintaktikus monoid.
Reguláris nyelvek jellemzése monadikus másodrendű formulákkal.
Mealy automaták és Moore automaták.
Véges automata leképezések.
Mealy automaták analízise és szintézise.
Általánosított szekvenciális gépek.
Környezetfüggetlen nyelvtanok Chomsky és Greibach normálalakra hozása.
Parikh tétele és következményei.
A Chomsky-Schützenberger tétel.
Fülöp Zoltán: Automaták és formális nyelvek, jegyzet (pdf)
Gécseg Ferenc: Automaták és formális nyelvek, Polygon, Szeged, 2005.
Dexter C. Kozen: Automata and Computability, Springer Publishing Company, 1997.
S. Eilenberg, Automata, Languages, and Machines, Vol. A. Academic Press, New York, 1974.
M. A. Harrison, Introduction to Formal Language Theory, Addison Wesley, Reading, 1978.
J. E. Hopcroft, J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison Wesley, Reading, 1979.
A. Salomaa, Formal Languages, Academic Press, New York, 1973.
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 vizsgabejelentkezése van az adott vizsganapra az ETR-ben, bemutatja a vizsgán az ETR-ből nyomtatott kurzusteljesítési lapot és igazolja személyazonosságát (a leckekönyv /diákigazolvány bemutatásával).
A vizsga összpontszáma 60, amely két 30 pontos részből áll össze:
A vizsga akkor sikeres, ha a vizsga mindkét részére a hallgató az előírt minimális pontszámot megszerzi.
Sikeres vizsga esetén a kollokvium érdemjegye a gyakorlati és a vizsga pontszámának összege alapján, sávosan kerül meghatározásra az alábbiak szerint:
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.
A gyakorlat és a vizsga csak azonos tanulmányi félévben teljesíthetők. Korábbi gyakorlati teljesítmény nem vehető figyelembe.
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:
1 zárthelyi dolgozat sikeres megírása, amely időpontjának kihirdetése az első órán történik. Zárthelyi dolgozat írásakor csak igazolt távollét megengedett. 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. A dolgozat maximális pontszáma 40. A dolgozat sikeres, ha az elért pontszám legalább 12. Csak sikertelen dolgozat javítható az első órán 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 12. 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 dolgozat 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.
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 vizsgabejelentkezése van az adott vizsganapra az ETR-ben, bemutatja a vizsgán az ETR-ből nyomtatott kurzusteljesítési lapot és igazolja személyazonosságát (a leckekönyv /diákigazolvány bemutatásával).
A vizsga összpontszáma 60, amely két 30 pontos részből áll össze:
A vizsga akkor sikeres, ha a vizsga mindkét részére a hallgató az előírt minimális pontszámot megszerzi.
Sikeres vizsga esetén a kollokvium érdemjegye a gyakorlati és a vizsga pontszámának összege alapján, sávosan kerül meghatározásra az alábbiak szerint:
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 vizsga megismétlésére a TVSZ. 15. pontjában leírtak érvényesek. A sikeres vizsgát javító vizsga ekkor két fő részből áll. Egyik rész a gyakorlat témakörére épülő 40 pontos feladatsor minimum 12 pontra való megírása. Másik rész a fentiek szerinti vizsga letétele. A vizsgajegye ekkor a legalább 12 pontos dolgozat és a sikeres vizsga pontszámainak összege alapján a fenti sávos rendszer szerint határozódik meg.