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 / 3 kredit (IB403e), illetve 3 kredit (I403e). Teljesítés módja: Kollokvium.
Gyakorlat: heti 1 óra / 1 kredit (IB403g), illetve 2 kredit (I403g). Teljesítés módja: gyakorlati jegy.
Levelező tagozaton
Előadás: összesen 13 óra / 3 kredit (IBL403e), illetve 18 óra / 3 kredit (IL403e). Teljesítés módja: Kollokvium.
Gyakorlat: összesen 5 óra / 1 kredit (IBL403g), illetve 6 óra / 2 kredit (IL403g). Teljesítés módja: gyakorlati jegy.
A kurzus felvételének előfeltételei: Diszkrét matematika I.
Nyelvek. Műveletek nyelveken. Reguláris nyelvek. Determinisztikus és nemdeterminisztikus automaták. Determinizálás. Jobblineáris nyelvtanok. A véges automaták, jobblineáris nyelvtanok és reguláris nyelvek ekvivalenciája. A reguláris nyelvek zártsági tulajdonságai. A reguláris nyelvek pumpáló lemmája. Eldöntési kérdések reguláris nyelvekre.
Környezetfüggetlen nyelvtanok és nyelvek. A Chomsky-féle normálforma. Derivációs fák és bal- ill. jobboldali levezetések. Egyértelmű nyelvtanok és nyelvek. Veremautomaták. A környezetfüggetlen nyelvtanok és veremautomaták ekvivalenciája. Determinisztikus környezetfüggetlen nyelvek. Műveletek környezetfüggetlen nyelveken. A környezetfüggetlen nyelvek pumpáló lemmája. Eldöntési kérdések környezetfüggetlen nyelvekre. A CYK algoritmus.
Általános nyelvtanok és környezetfüggő nyelvtanok. A Chomsky-féle hierarchia. Lineárisan korlátos automaták és Turing gépek.
A tárgy teljesítése érdekében mind a gyakorlatot, mind a vizsgát (kollokviumot) teljesíteni kell.
A gyakorlat teljesítésének feltételei:
A gyakorlat látogatása kötelező. Egynél több igazolatlan hiányzás (ami nem eshet a 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.
A gyakorlaton összesen 40 pont szerezhető, melyből a zárthelyi dolgozaton minimum 10, összesen pedig minimum 16 pont szükséges a teljesítéshez.
A javító, illetve pótdolgozat írásának időpontja a szorgalmi időszak első két hetében kerül rögzítésre.
Sikeres teljesítés esetén a gyakorlat érdemjegye az összpontszám alapján, sávosan kerül meghatározásra az alábbiak szerint:
A vizsga (kollokvium) teljesítésének feltételei:
Csak az a hallgató vizsgázhat az ETR-ben meghirdetett vizsganapokon, aki a gyakorlatot a fentiek szerint teljesítette, érvényes vizsgabejelentkezése van az adott vizsganapra az ETR-ben és igazolja személyazonosságát (a leckekönyv /diákigazolvány bemutatásával).
A vizsga az alábbi két részből áll:
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 fenti két pontszám ö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.
IBT403 Formális nyelvek (tehetséggondozó) tárgy teljesítési feltételei:
A Formális nyelvek gyak. (tehetséggondozó) gyakorlaton egy további 40 pontos, teljes órás tehetséggondozó zárthelyi dolgozat legalább 16 pontra való megírása. Amennyiben a hallgató dolgozata ezt nem éri el, a dolgozat egyszer javítható. A javító dolgozat is max. 40 pontos, mely legalább 16 pont megszerzése estén sikeres. A sikeres javító dolgozattal 16 pont szerezhető.
A tehetséggondozó zárhelyi dolgozat, illetve a javító dolgozat időpontjának rögzítése a szorgalmi időszak első két hetében történik.
A Formális nyelvek (tehetséggondozó) tárgy vizsga előfeltétele a tehetséggondozó dolgozattal vagy annak javító dolgozatával megszerzett legalább 16 pont. A vizsgán egy, a normál vizsga tételsorából kapott tételből kell szóban felelni. A szóbeli felelettel max. 60 pont szerezhető, melyből a teljesítéshez legalább 19 pontot meg kell szerezni.
Az IBT403 Formális nyelvek (tehetséggondozó) tárgy teljesítéséért járó jegy a fenti két pontszám összege alapján, sávosan kerül meghatározásra az alábbiak szerint:
A tárgy teljesítése érdekében mind a gyakorlatot, mind a vizsgát (kollokviumot) teljesíteni kell.
A gyakorlaton összesen 40 pont szerezhető, melyből a zárthelyi dolgozaton minimum 10, összesen pedig minimum 16 pont szükséges a teljesítéshez.
Sikeres teljesítés esetén a gyakorlat érdemjegye az összpontszám alapján, sávosan kerül meghatározásra az alábbiak szerint:
Csak az a hallgató vizsgázhat az ETR-ben meghirdetett vizsganapokon, aki a gyakorlatot a fentiek szerint teljesítette, é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 az alábbi két részből áll:
A vizsga akkor sikeres, ha a vizsga mindkét részére a hallgató az előírt minimális pontszámot megszerzi.
Sikeres vizsga érdemjegye a fenti két pontszám ö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.