Login
 Forum
 
 
Thesis topic proposal
 
Ground termátíró rendszerek

THESIS TOPIC PROPOSAL

Institute: University of Szeged
computer sciences
PhD School in Computer Science

Thesis supervisor: Sándor Vágvölgyi
Location of studies: SZTE
Abbreviation of location of studies: SZTE


Description of the research topic:

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ű.

Number of students who can be accepted: 1

Deadline for application: 2017-03-31

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 1.2318 ( 2016. XI. 26. )