Bejelentkezés
 Fórum
 
 
Témakiírás
 
Ground termátíró rendszerek

TÉMAKIÍRÁS

Intézmény: Szegedi Tudományegyetem
informatikai tudományok
Informatika Doktori Iskola

témavezető: Vágvölgyi Sándor
helyszín: SZTE
helyszín rövidítés: SZTE


A kutatási téma leírása:

A ground termátíró rendszereket már a nyolcvanas évek óta tanulmányozzák. 1999-ben Joost Engelfriet definiálta és tanulmányozta a kiterjesztett ground termátíró rendszereket. Számos kérdés nyitott még ezen a területen.
1) Eldönthetőségi kérdéseket fogunk tanulmányozni. Például mai napig nyitott a következő probléma: Adott kiterjesztett ground termátíró rendszerről döntsük el hogy ekvivalens-e valamely ground termátíró rendszerrel.
2) Termátíró rendszereket közelítsünk kiterjesztett ground termátíró rendszerekkel.
A jelentkező hallgatónak mély ismeretekkel kell rendelkeznie a termátíró rendszerekről, faautomákról, és a kiszámíthatóság elméletéről. A szakirodalom angol nyelvű.

felvehető hallgatók száma: 1

Jelentkezési határidő: 2017-03-31

 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 1.2318 ( 2016. XI. 26. )