 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ő: 2024-09-15 |