Az automaták és formális nyelvek elméletének kiterjesztései  részletek

súgó  nyomtatás 
vissza »

 

Projekt adatai

 
azonosító
108448
típus K
Vezető kutató Fülöp Zoltán
magyar cím Az automaták és formális nyelvek elméletének kiterjesztései
Angol cím Extensions of the Theory of Automata and Languages
magyar kulcsszavak véges automaták, nyelvtanok, faautomaták, súlyozott automaták
angol kulcsszavak finite automata, grammars, tree automata, weighted automata
megadott besorolás
Matematika (Élettelen Természettudományok Kollégiuma)100 %
Ortelius tudományág: Számítási modellek
zsűri Matematika–Számítástudomány
Kutatóhely Informatikai Tanszékcsoport (Szegedi Tudományegyetem)
résztvevők Ésik Zoltán
Fülöp Zoltán
Gazdag Zsolt Zoltán
Hajgató Tamás
Iván Szabolcs
Vágvölgyi Sándor Árpád
projekt kezdete 2014-01-01
projekt vége 2018-12-31
aktuális összeg (MFt) 14.496
FTE (kutatóév egyenérték) 4.45
állapot aktív projekt





 

Zárójelentés

 
kutatási eredmények (magyarul)
Az automaták és formális nyelvek területen vizsgált számítási modellek kiterjesztéseivel foglalkoztunk. Számottevő eredményeket értünk el az alábbi területeken: formális hatványsorok (5 dolgozat), Kleene algebrák energia problémákra (2 dolgozat), véges automaták kísérő félcsoportjai (2 dolgozat), környezetfüggetlen nyelvek általánosításai (4 dolgozat), fatranszformátorok és súlyozott fatranszformátorok (3 dolgozat), faautomaták és súlyozott faautomaták (6 dolgozat), klasszikus formális nyelvek elmélete (2 dolgozat), termátíró rendszerek (2 dolgozat), megfordítható nyelvek (2 dolgozat), és egyéb vegyes eredmények (4 dolgozat). Összesen 32 publikációnk jelent meg vagy van megjelenés alatt nemzetközi fórumokon, melyek közül 21 folyóiratcikk. A folyóiratcikkek összesített impakt faktora 10.526.
kutatási eredmények (angolul)
We made research on extensions of computation models in the theory of automata and formal langauges. We achieved results in the folowing topics: formal power series (5 papers), Kleene algebras for energy problems (2 papers), semigroups associated to finite automata (2 papers), generalizations of context-free langauges (4 papers), tree transducers and weighted tree transducers (3 papers), tree automata and weighted tree automata (6 papers), classical theory of formal languages (2 papers), term rewriting systems (2 papers), reversible languages (2 papers), miscellaneous related areas (4 papers). Altogether we published 32 scientific papers, out of which 21 appeared or is accepted in journals. The sum of the impact factor of the jurnal papers is 10.526.
a zárójelentés teljes szövege https://www.otka-palyazat.hu/download.php?type=zarobeszamolo&projektid=108448
döntés eredménye
igen





 

Közleményjegyzék

 
Z. Fülöp, Z. Gazdag: Weighted Languages Recognizable by Weighted Tree Automata, Acta Cybernetica, 23(3) pp 867-886., 2018
Z. Fülöp, L. Herrmann, H. Vogler: Weighted Regular Tree Grammars with Storage, Discrete Mathematics & Theoretical Computer Science, 21(1) pp.1-44., 2018
Z. Fülöp, H. Vogler: Characterizations of Recognizable Weighted Tree Langauges by Logic and Bimorphism, Soft Computing, 22 pp 1035-1046., 2018
Z. Fülöp, H. Vogler: Weighted Iterated Linear Control, Acta Informatica, to appear., 2019
Z. Fülöp, A. Maletti: Composition Closure of Linear Weighted Extended Top-down Tree Transducers, submitted., 2019
K. Gelle, S. Iván: DFS is Unsparsable and Lookahead Can Help in Maximal Matching, Acta Cybernetica, 23(3) pp. 887-902., 2018
K. Gelle, S. Iván: Recognizing Union-Find trees is NP-complete, even without Rank Info, International Journal on Foundations of Computer Science, to appear., 2019
K. Gelle, S. Iván: More on reversible languages having finitely many reduced reversible automata, International Journal on Foundations of Comnputer Science, to appear., 2019
S. Vágvölgyi: Descendants of a recognizable tree langauge for prefix constrained linear monadic term rewriting with position cutting strategy, Theoretical Computer Science, 732 pp. 60-72., 2018
S. Vágvölgyi: Intersection of the reflexive, transitive closures of two rewrite relations induced by term rewriting systems, Information Processing Letters, 134 pp. 47-51., 2018
Z. Fulop: Local Weighted Tree Languages, Acta Cybernetica, 22, 393-402, 2015
Z. Esik, S. Ivan: Operational characterization of scattered MCFLs, International Journal of Foundations of Computer Science 25(8): 1001-1016, 2014
Z, Esik, U. Fahrenberg, A. Legay: *-Continuous Kleene omega-algebras, 19th International Conference on Developments in Language Theory, DLT 2015. Liverpool, LECTURE NOTES IN COMPUTER SCIENCE 9168: pp. 240-251, 2015
Z. Esik, U. Fahrenberg, A. Legay: *-Continuous Kleene ω-Algebras for Energy Problems, Fixed Points in Computer Science, Berlin, Electronic Proceedings in Theoretical Computer Sience, vol. 191, 48-59., 2015
S. Iván, J. Nagy György: On nonpermutational transformation semigroups with an application to syntactic complexity, Acta Cybernetica 22(3): 687-701., 2016
S. Iván: Complexity of atoms, combinatorially, Information Processing Letters 116(5): 356-360., 2016
Z. Ésik, S. Iván: MSO-definable Properties of Muller Context-free Languages, Lecture Notes in Computer Science, Vol. 9777, pp. 87-97, 2016
Z. Fülöp, M. Droste, D. Götze: A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids, Lecture Notes in Computer Science, Vol. 9618, pp. 452-463., 2016
Z. Fülöp, A. Maletti: Linking Theorems for Tree Transducers, Journal of Computer and Systems Sciences 82 (2016) 1201-1222., 2016
Z. Fülöp: Weighted Tree Automata and their Characterization by Logic, Proc. of NCMA 2016, books@ocg.at, 321, Österreiche Computer Gesellschaft, 2016
Z. Fülöp, S. Vágvölgyi: Minimization of Deterministic Top-down Tree Automata, Acta Cybernetica 23 (2017) 379-401., 2017
J. Engelfriet, Z. Fülöp, and A. Maletti: Composition Closure of Linear Extended Top-down Tree Transducers, Theory of Computing Systems, 60 (2017) 129-171., 2017
Kitti Gelle, Szabolcs Iván: Recognizing Union-Find trees is NP-complete., Inf. Process. Lett. 131 (2018) 7-14., 2018
Kitti Gelle, Szabolcs Iván: Regular Expressions for Muller Context-Free Languages., Acta Cybern. 23(1): 349-369., 2017
Kitti Gelle, Szabolcs Iván: Recognizing Union-Find Trees Built Up Using Union-By-Rank Strategy is NP-Complete., Proc. of the 19th Descriptional Complexity of Formal Systems, DCFS 2017, LNCS 10316, p. 152-163., 2017
Kitti Gelle, Szabolcs Iván: Reversible languages having finitely many reduced automata., Proc. of the 15th International Conference on Automata and Formal Languages, AFL 2017, EPTCS 252, 114-127., 2017
Z. Gazdag and K. Tichler: On the power of permitting semi-conditional grammars., Developments in Language Theory: 21st International Conference, DLT 2017, LNCS 10396, (Springer, Cham, 2017), pp. 173–184., 2017
Dmitry Chistikov, Szabolcs Iván, Anna Lubiw, Jeffrey Shallit: ractional Coverings, Greedy Coverings, and Rectifier Networks., STACS 2017: 23:1-23:14., 2017
M. Droste, Z. Esik, W. Kuich: Conway and iteration hemirings Part 1, Int. J. Algebra and Computation 24:(4) pp. 461-48, 2014
M. Droste, Z. Esik, W. Kuich: Conway and iteration hemirings Part 2, Int. J. Algebra and Computation 24:(4) pp. 483-513, 2014
Z. Esik, T. Hajgato: On the structure of free iteration semirings, J. Automata, Languages and Combinatorics, vol. 19, 57-66., 2014
E. Csuhaj-Varju, M. Dietzfelbinger, Z. Esik: Mathematical Foundations of Computer Science, Vol. 1, LNCS 8634, Springer, 2014
E. Csuhaj-Varju, M. Dietzfelbinger, Z. Esik: Mathematical Foundations of Computer Science, Vol. 2, LNCS 835, Springer, 2014
Z. Esik, Z. Fulop: 14th International Conference on Automata and Formal Languages, Electronic Proceedings in Theoretical Computer Science, vol. 151, 2014
Z. Esik, W. Kuich: On Power Series over a Graded Monoid, Computing with New Resources, Lecture Notes in Computer Science, Vol. 8808, 49-55., 2014





 

Projekt eseményei

 
2018-02-21 10:03:01
Résztvevők változása
2016-10-05 13:54:16
Résztvevők változása
2016-08-17 13:35:34
Vezető kutató váltás
Régi vezető kutató: Ésik Zoltán
Új vezető kutató: Fülöp Zoltán

A vezető kutató váltás indoka: Dr. Ésik Zoltán 2016.05.25-én elhunyt.




vissza »