Formális nyelvek szeminárium

2002-re tervezett program


Dátum Cím
1. 2002.03.05. Poli-karcsú nyelvek osztályozása
2. 2002.03.12. Logikai formulák
3. 2002.04.09 Geffert normálforma
4. 2002.04.16. Lindenmayer rendszerek
5. 2002.04.23. Regularitást megőrző függvényekről
6. 2002.04.30. Képnyelvek
7. 2002.05.07 ICL nyelvek
8. 2002.05.14 Sejtautomaták
9. 2002.03.19 Eldönthetőség I.
10. 2002. Nyelvtan-rendszerek I.
11. 2002. Nyelvtan-rendszerek II.
12. 2002. Feltételek összehasonlítása
13. 2002. Kombinatorikus tulajdonságok
14. 2002. Eldönthetőség I.
15. 2002. Ismételt GSM leképezések
16. 2002. Kicserélési lemma
17. 2002. Parikh feltétel

Fennmaradó időpont: 2002.05.21. (Továbbiak lehetségesek!)

A cikkek részletes bibliográfiai adatait, illetve a rövid magyar nyelvű leírást megnézheted, vagy letöltheted dvi , vagy ps formátumban.
Természetesen - előzetes egyeztetés mellett - a szeminárium témakörébe vágó bármilyen más megfelelő színvonalú téma is választható.
A lapon szereplő megajánlott jegyek csak az előadás megfelelő számú látogatása esetén kerülnek beírásra.
BACK Vissza a Formális nyelvek és automaták szeminárium lapjára.
Utolsó módosítás: 2000.01.11 14:21
A megjegyzéseket, hibajelentéseket, jobbítási javaslatokat szívesen várja kacsa, az oldal szerzője.