K-INFO
HU
EN
Belépés

Formális nyelvek

Formal Languages
A tantárgyleírás hatályossága
Hatályosság kezdete:
—
Hatályosság vége:
—
Tantárgy neve (magyarul, angolul)
Formális nyelvek
Formal Languages
Tantárgykód BMEVIMA2208
Tantárgyjelleg —
Képzési szint —
Kurzustípusok és óraszámok (heti/féléves)
Kurzustípus elmélet gyakorlat laboratóriumi gyakorlat
óraszám (heti) 2 2 0
jelleg (kapcsolt/önálló) — kapcsolt —
Tanulmányi teljesítmény/értékelés típusa vizsga
Tantárgy kreditértéke 5
Tantárgyfelelős
Dr. Recski András
Tantárgyat gondozó oktatási szervezeti egység
—
Kar
Tantárgy weboldala —
Tantárgy elsődleges mintatantervi jellege —
Közvetlen előkövetelmények – Erős előkövetelmény nincs
Közvetlen előkövetelmények – Gyenge előkövetelmény nincs
Közvetlen előkövetelmények – Párhuzamos előkövetelmény nincs
Közvetlen előkövetelmények – Mérföldkő előkövetelmény nincs
Közvetlen előkövetelmények – Kizáró feltétel nincs

Célkitűzés

Tantárgyprogram

A formális nyelv fogalma. A nyelvtan, mint végtelen nyelvek véges leírásának módszere. Chomsky féle nyelvosztályok. Automaták.

Reguláris nyelvek és véges automaták. A determinisztikus és a nem determinisztikus automaták ekvivalenciája.

Minimálautomaták és ezek unicitása. Kétirányban mozgó véges automata.

Reguláris nyelvek és reguláris halmazok ekvivalenciája. Műveletek nyelvekkel. A reguláris nyelvek zártsági tulajdonságai. Pumpálás.

Környezetfüggetlen nyelvek. Levezetési fa, nyelvtanok egyértelműsége.

Nyelvtanok átalakításai, normálformák. Veremautomaták. Determinisztikus és nem determinisztikus nyelvtanok, illetve nyelvek. Kettős pumpálás. A környezetfüggetlen nyelvek zártsági tulajdonságai.

A fordítás fogalma. Egyszerű és nem egyszerű szintakszis vezérelt fordítási sémák. Véges fordító, veremfordító. Jellemző nyelvtanok. Nyelvosztályok zártsága véges fordításra.

Általános elemzők: Earley algoritmus, Cocke-Younger-Kasami módszer.

Baloldali elemzés: LL(k) elemzés, faktorizáció.

Jobboldali elemzés: LR(k) elemzés, életképes prefixumok, prefix tulajdonságú nyelvek.

Precedencia elemzés, erős és gyenge precedencia.

Operátor precedencia.

Turing gépek és 0 osztályú nyelvek. Church tézis. A Turing gép megállási problémája. Algoritmikus eldönthetetlenség. A Post probléma.

A számítástechnikai nyelvészet algoritmikusan eldönthetetlen kérdései.

A hallgatók ismerjék meg a számítástechnikai nyelvészet matematikai alapjait és a gyakorlati alkalmazások elvi korlátait.

Tanulmányi eredmények

Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:

Tudás

Nincsenek rögzített tanulási eredmények.

Képességek

Nincsenek rögzített tanulási eredmények.

Attitűd

Nincsenek rögzített tanulási eredmények.

Autonómia és felelősség

Nincsenek rögzített tanulási eredmények.

Oktatási módszertan

Előadás és gyakorlat. A tananyag egy része a gyakorlatokon kerül ismertetésre.

Tanulástámogató anyagok

Online források
Bach Iván : Számítástechnikai nyelvészet (Typotex Kiadó); Bővebb irodalomjegyzék a fenti jegyzetben.

A tantárgy teljesítéséhez ajánlott előzetes ismeretek

Tudás típusú kompetenciák
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
-
Képesség típusú kompetenciák
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák
(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)
-
Általános szabályok
Követelmények: A szorgalmi időszakban: A szorgalmi időszakban 50 pont szerezhető. Az egy nagy zárthelyi dolgozattal, melyet a félév közepén íratunk, 30 pontot lehet elérni. További 5 alkalommal villámzárthelyit íratunk a gyakorlatok első 20 percében. Ezekkel 5-5 pont szerezhető, de csak a 4 legjobb eredményét vesszük figyelembe. A zárthelyi dolgozat pótolható. A pótzárthelyire a szorgalmi időszak vége előtt kerül sor. A villámzárthelyik pótlására nincs lehetőség. A pótzárthelyit javító céllal a nagy zárthelyin részt vett hallgatók is megírhatják. Ebben az esetben a zárthelyi és a pótzárthelyi eredményének átlaga számít bele a félév során szerzett pontokba. Az aláírást akkor kapja meg a hallgató, ha a félév során a megszerezhető 50 pontból (30 a nagy zárthelyin, 20 a villámzárthelyiken) legalább 20-at elért. A zárthelyi bepótlására a vizsgaidőszak első hetében is lehetőség van. Két évnél nem régebbi aláírást elfogadunk. Az aláírást az első vizsgán, utóvizsga jelleggel is meg lehet szerezni. Ezzel a lehetőséggel csak az a hallgató élhet, aki az 5 villámzárthelyi, egy nagy zárthelyi és egy pótzárthelyi alkalmak közül legalább hármon megjelent és dolgozatot adott be. A vizsgaidőszakban: Az osztályzat a félévközi pontok és a vizsgadolgozat eredménye alapján a következőképpen alakul: az összpontszám egyik felét (50 pont) a vizsgadolgozat, a másik felét (nagy zárthelyi=30 pont + villámzárthelyik=20 pont) a félévközi eredmény adja. A jegyek: 85 ponttól jeles, 70 ponttól jó, 55 ponttól közepes, 40 ponttól elégséges, de minden, legalább elégséges jegyhez szükséges, hogy a vizsgadolgozat legalább 20 pontos legyen. A kreditpontok megszerzésének egyetlen feltétele a legalább elégséges osztályzat. Akinek régebbről van aláírása, az választhat, hogy félév közben pontokat szerez vagy sem. Ha nem próbál pontokat szerezni, akkor a sikeres vizsga pontszámának duplázásával kap évvégi jegyet. Ha a félév közbeni munkával legalább 20 pontot gyűjt, akkor a számára kedvezőbb lehetőség szerint számítjuk az évvégi pontjait (vagy a vizsga duplázásával, vagy a félévi pontszám és a vizsga pontszám összeadásával). Ha a félévközi munkával nem szerzi meg az előírt 20 pontot, aláírása ekkor sem veszik el, ebben az esetben az évvégi pontjait a sikeres vizsga duplázásával kapja. Aki az aláírást a vizsgaidőszakban szerzi meg, az félévi pontként 20 pontot kap, ehhez adódik a sikeres vizsga pontszáma, így születik az évvégi jegy. Aki javít, azaz a korábban megszerzett, legalább elégséges vizsgajegyét kiütteti az indexében, az a számára kedvezőbb módon (vagy a vizsga duplázásával, vagy a félévi és vizsgán szerzett pont összeadásával) számított összpontszám alapján kap jegyet. Elővizsga: Nincs rá lehetőség.
Teljesítményértékelési módszerek
Szorgalmi időszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Szorgalmi időszakban végzett teljesítményértékelések részaránya

Nincs megadva részarány.

Vizsgaidőszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Vizsgarészek részaránya

Nincs megadva részarány.

Érdemjegy megállapítása

Nincs megadva érdemjegy határ.

Jelenléti és részvételi követelmények

Nincs megadva jelenléti követelmény.

Javítás, ismétlés és pótlás különös szabályai

Nincs megadva.

Rövid leírás

Nincs megadva.

Részletes leírás

Nincs megadva.

Ajánlott tantárgyak
Bevezetés a számításelméletbe I., II.
A tantárgy elvégzéséhez szükséges tanulmányi munka

Nincs megadva munkaidő bontás.

Tantárgykövetelmények hatályossága
Tantárgykövetelmények hatályosságának kezdete:
—
Tantárgykövetelmények hatályosságának vége:
—
Tantervi elhelyezés

Nincsenek rögzített tantervi elhelyezések ehhez a tárgyverzióhoz.