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 (in Hungarian): 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


2017. I. 31.
ODT ülés
Az ODT következő ülésére 2017. március 10-én 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 1.2334 ( 2017. I. 15. )