K-INFO
HU
EN
Login

Formal Languages (In French)

Languages formels
A tantárgyleírás hatályossága
Hatályosság kezdete:
Hatályosság vége:
Subject name (Hungarian, English)
Languages formels
Formal Languages (In French)
Subject code BMEVIMAF514
Subject type
Training Level
Course types and hours (weekly/semester)
Course type lecture tutorial laboratory
hours (weekly) 2 2 0
type (linked/independent) derived course
Assessment type vizsga
Credits 5
Subject coordinator
Dr. Recski András
Responsible department
Faculty
Subject website
Primary curriculum type
Direct prerequisites – Strong prerequisite none
Direct prerequisites – Weak prerequisite none
Direct prerequisites – Parallel prerequisite none
Direct prerequisites – Milestone prerequisite none
Direct prerequisites – Exclusion none

Objectives

Programme

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érlet 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águ 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.

Learning outcomes

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

Knowledge

No learning outcomes recorded.

Skills

No learning outcomes recorded.

Attitudes

No learning outcomes recorded.

Autonomy and responsibility

No learning outcomes recorded.

Oktatási módszertan

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

Tanulástámogató anyagok

Not provided.

Recommended preliminary knowledge for completing the subject

Knowledge type competencies
(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)
-
Skill type competencies
(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
Recommended (non-compulsory) preliminary competencies
(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)
-
General rules
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. A dolgozatot nem osztályozzuk, de az elvárt teljesítmény legalább 12 pont elérése. 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. Orvosilag igazolt távolmaradás esetén 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. 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 nem élhet az a hallgató, aki egyetlen villámzárthelyit sem írt, vagy egyetlen zárthelyit sem írt, vagy 12 pontot el nem érő zárthelyi eredményét nem kísérelte meg javítani. 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 a félév során a nagy zárthelyi és a villámzárthelyik megírásával gyűjti a pontokat, és ekkor évvégi jegye a félévi pontokból és a vizsgadolgozatból adódik; vagy a vizsgadolgozatra kapott pontok duplázásával keletkező pontszám alapján kér jegyet. Erről az első villámzárthelyi megírása előtt kell döntenie. Ha úgy dönt, hogy új aláírást (és a vele járó pontokat) kíván szerezni, akkor korábbi aláírását a tárgy félvben nem ismerjük el. Aki megbukik egy vizsgán, illetve az, aki az aláírást az első vizsgán szerzi meg, év végi jegyét a sikeres vizsgán elért pontjainak duplázásával kapja. Elővizsga: Nincs rá lehetőség.
Assessment methods
In-term assessments

No detailed assessments provided.

Weight of in-term assessments

No weights provided.

Exam-period assessments

No detailed assessments provided.

Weight of exam elements

No weights provided.

Grade calculation

No grade thresholds provided.

Attendance requirements

No attendance requirements provided.

Rules for retake and resubmission

Not provided.

Short description

Not provided.

Detailed description

Not provided.

Recommended courses
Bevezetés a számításelméletbe I., II.
Workload to complete the subject

No workload breakdown provided.

Validity of subject requirements
Requirements valid from:
Requirements valid until:
Curriculum placement

No curriculum placements recorded for this subject version.