témavezető: Vaszil György
helyszín (magyar oldal): Debreceni Egyetem helyszín rövidítés: DEIK
A kutatási téma leírása:
A tervezett kutatások célja a matematikai logika eszközeinek alkalmazása a formális nyelvek és automaták elméletének egyes területein, melynek segítségével egyrészt a hagyományosnak tekinthető számítási modellek és formális nyelvek általánosításaként létrejövő új típusú struktúrák (illetve hagyományos struktúrák új típusú leírásai) vizsgálhatók, másrészt a hagyományos módszerekkel nem, vagy csak nehézkesen megfogható kérdések tárgyalására is lehetőség nyílik. A logikai grammatikák (boolean grammars) és az életlen halmazok (rough sets) segítségével általánosított számítási modellek területe két olyan kutatási irány, melyek a megcélzott vizsgálódások alapjául szolgálhatnak, olyan érdekes alkalmazásokkal, mint például a bizonytalanság, vagy bizonytalan tudás formális reprezentációjának lehetősége.
Irodalom
1. Okhotin, A.: Boolean grammars. Information and Computation, 194 (1) 19–48 2004.
2. Pawlak, Z.: Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers (1991)
3. Battyányi, P., Mihálydeák, T., Vaszil, Gy.: Generalized membrane systems with dynamical structure, Petri nets, and multiset approximation spaces. In: McQuillan, I., Seki, S. (eds.) 18th International Conference on Unconventional Computation and Natural Computation. UCNC 2019. pp. 15–29. Springer, Cham (2019)