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 (magyar oldal): 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ő: 2022-03-15


2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).

 
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ó: 2.2358 ( 2017. X. 31. )