Automaták és formális nyelvek

kódjai: IMN101E, IMN101G, IML101E, IML101G

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

 Nappali tagozaton:

   Előadás: heti 3 óra / 6 kredit. 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 19 óra / 6 kredit. 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: nincs

Tematika:

 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.

 Automaták kompozíciói.

 A kaszkád szorzat és a Krohn-Rhodes tétel.

Ajánlott irodalom:

• Ésik Zoltán, Gombás Éva, Iván Szabolcs: Automaták és formális nyelvek példatár, Typotex Kiadó, 2011.
  Jegyzet letöltése PDF formátumban.
• 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.
• D. 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.
• Salomaa, Formal Languages, Academic Press, New York, 1973.
• Dömösi Pál, Chrystopher L. Nehaniv: Algebraic Theory of Automata Networks, SIAM Monographs on Discrete Mathematics and Applications, SIAM, 2005.
• Gécseg Ferenc: Products of automata, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1986.

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 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) előre kiadott, a tárgy teljes anyagára vonatkozó kis kérdésekből az oktató által kijelölt kérdések megválaszolása, amelyért 30 pont jár és amelyet minimum 12 pontra teljesíteni kell,
• (b) előre kiadott tételsorból az oktató által kijelölt egy darab 30 pontos tétel kidolgozása, melyet minimum 7 pontra teljesíteni kell.

 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:

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

 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:

Levelező:

 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.

 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) előre kiadott, a tárgy teljes anyagára vonatkozó kis kérdésekből az oktató által kijelölt kérdések megválaszolása, amelyért 30 pont jár és amelyet minimum 12 pontra teljesíteni kell,
• (b) előre kiadott tételsorból az oktató által kijelölt egy darab 30 pontos tétel kidolgozása, melyet minimum 7 pontra teljesíteni kell.

 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:

• 0 - 30 pont : elégtelen (1)
• 31 - 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 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.