Formális nyelvek

Ezen lapok leginkább azoknak szólnak, akik Varró Gergely csoportjába járnak gyakorlatra.

Hirdetmények

2006-05-19:

Ma 12 órától opcionális jellegû pótórát tartok az IB134-ben.

2006-05-05:

A negyedik kis ZH május 11-én lesz a gyakorlat utolsó 10-15 percében.
Az ötödik kis ZH május 18-án lesz a gyakorlat elsõ 5 percében.
A kis ZH-n továbbra sem lehet semmit sem használni.

2006-04-20:

A harmadik kis ZH május 4-én lesz a gyakorlat utolsó 10-15 percében.
A kis ZH-n még mindig nem lehet semmit sem használni. A témakör: a CF nyelvek, fordítók, CYK elemzés.
Elõkerítettem egy régi példát is gyakorlásképpen.
Az extra (fakultatív) gyakorlat idõpontját a május 4-i gyakorlaton beszéljük meg. Ez természetesen azt is jelenti, hogy jövõ héten (április 27-én) nem lesz gyakorlat, mert a tanulmányi versenyek miatt dékáni szünet lesz.

2006-04-10:

Még nem tudom, hogy melyik teremben lesz a holnapi konzultáció, mert ma elfelejtettem megkérdezni. Ha holnap nem találtok itt új infót, akkor a tanszék elõtt találkozunk 14:15-kor.

2006-03-22:

A második kis ZH március 30-án lesz a gyakorlat utolsó max. 15 percében.
A kis ZH-n továbbra sem lehet semmit használni. A témakör: reguláris nyelvek körébõl minden (minimalizálás, reg. halmazok, reg. kifejezések, pumpálás), továbbá a CF nyelvek eleje.
Elõkerítettem egy régi példát is gyakorlásképpen.

2006-03-06:

Az elsõ kis ZH március 9-én lesz a gyakorlat utolsó max. 15 percében.
A kis ZH-n semmit nem lehet használni. A ZH egy darab feladat megoldásából fog állni. A témakör: véges automata (determinizálás, teljesen specifikálás, minimalizálás), reguláris nyelvtan, reguláris nyelv.
Elõkerítettem néhány régi példát is gyakorlásképpen.
(Az utolsó feladat nem kis ZH példa volt.)

Tárgykövetelmények

A hivatalos oldal a legfõbb információforrás természetesen. Azért a legfontosabb dolgokat itt összefoglalom.

A félév végi jegyetek három részbõl áll majd.

Vizsga ZH - 50 pont
Nagy ZH - 30 pont
5 db VillámZH, melybõl a négy legjobb számít - 20 pont

A végsõ érdemjegy meghatározásához a szokásos szabály érvényesül:

40 ponttól kettes
55 ponttól hármas
70 ponttól négyes
85 ponttól ötös

Eredmények

Csütörtök 17-19 (IE220)

Gyakorlatok

1. gyakorlat (gy1.ps.gz)
- aⁱbⁱcⁱ-t generáló nyelvtan (9. feladat megoldása) (szerzõ: Vaszil György)
- Rögzített alfabetát használó generatív nyelvek számossága megszámlálhatóan végtelen
  (10. feladat b kérdés) (szerzõ: Csima Judit)
- Nyelvosztályok definícióinak pontosítása (szerzõ: Vaszil György)
2. gyakorlat (gy2.ps.gz)
- Bal- és jobbreguláris nyelvtanok egyértelmûsége doc file zippelve vagy baljobb.ps.tgz
  (szerzõ: Varró Dániel)
- Feladatsor "haladóknak" (gyX2.ps.gz)
  (szerzõ: Terék Zsolt)
3. gyakorlat (gy3.ps.gz)
- Ekvivalens állapotok keresése automatákban (Minimalizáláshoz)
4. gyakorlat (gy4.ps.gz)
- A 4. gyakorlat 10. példájának megoldása
- A 4. gyakorlat 13. példájának megoldása
  (szerzõ: Terék Zsolt)
- Újabb feladatsor "haladóknak" (gyX3.ps.gz)
  (szerzõ: Terék Zsolt)
5. gyakorlat (gy5.ps.gz)
- CNF segédanyag
- GNF segédanyag
6. gyakorlat (gy6.ps.gz)
7. gyakorlat (gy7.ps.gz)
8. gyakorlat (gy8.ps.gz)
9. gyakorlat (gy9.ps.gz)
10. gyakorlat (gy10.ps.gz)
- Earley segédanyag (0.5-ös verzió)
- Kézzel írt Earley segédanyag (2,5 MB)
11. gyakorlat (nem volt új feladatsor)