Výsledky vyhledávání
- 1.0449858 - ÚI 2016 RIV SG eng J - Článek v odborném periodiku
van Leeuwen, J. - Wiedermann, Jiří
Separating the Classes of Recursively Enumerable Languages Based on Machine Size.
International Journal of Foundations of Computer Science. Roč. 26, č. 6 (2015), s. 677-695. ISSN 0129-0541. E-ISSN 1793-6373
Grant CEP: GA ČR GAP202/10/1333
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: recursively enumerable languages * RE hierarchy * finite languages * machine size * descriptional complexity * Turing machines with advice
Kód oboru RIV: IN - Informatika
Impakt faktor: 0.467, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0251272Název souboru Staženo Velikost Komentář Verze Přístup a0449858.pdf 12 262.7 KB Vydavatelský postprint vyžádat - 2.0377957 - MÚ 2013 RIV NL eng J - Článek v odborném periodiku
Jirásková, G. - Masopust, Tomáš
On a structural property in the state complexity of projected regular languages.
Theoretical Computer Science. Roč. 449, Aug 31 (2012), s. 93-105. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR(CZ) GPP202/11/P028
Výzkumný záměr: CEZ:AV0Z10190503
Institucionální podpora: RVO:67985840
Klíčová slova: projections * state complexity * descriptional complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.489, rok: 2012
http://www.sciencedirect.com/science/article/pii/S0304397512003532
Trvalý link: http://hdl.handle.net/11104/0209965Název souboru Staženo Velikost Komentář Verze Přístup Masopust2.pdf 1 1.1 MB Vydavatelský postprint vyžádat - 3.0369498 - MÚ 2012 RIV SG eng J - Článek v odborném periodiku
Jirásková, G. - Masopust, Tomáš
Complexity in union-free regular languages.
International Journal of Foundations of Computer Science. Roč. 22, č. 7 (2011), s. 1639-1653. ISSN 0129-0541. E-ISSN 1793-6373
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: Union-free regular language * one-cycle-free-path automaton * descriptional complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.379, rok: 2011
http://www.worldscinet.com/ijfcs/22/2207/S0129054111008933.html
Trvalý link: http://hdl.handle.net/11104/0203547Název souboru Staženo Velikost Komentář Verze Přístup Masopust.pdf 2 404.2 KB Vydavatelský postprint vyžádat - 4.0362730 - MÚ 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Jirásková, G. - Masopust, Tomáš
State complexity of projected languages.
Descriptional Complexity of Formal Systems. Berlin: Springer, 2011 - (Holzer, M.; Kutrib, M.; Pighizzini, G.), s. 198-211. Lecture Notes in Computer Science, 6808. ISBN 978-3-642-22599-4.
[13th International workshop, DCFS 2011. Giessen/Limburg (DE), 25.07.2011-27.07.2011]
Grant CEP: GA ČR GPP202/11/P028
Grant ostatní: European Commission(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: descriptional complexity * state complexity * projection
Kód oboru RIV: BA - Obecná matematika
http://www.springerlink.com/content/h221760735tt7676/
Trvalý link: http://hdl.handle.net/11104/0198970Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 1 284.7 KB Vydavatelský postprint vyžádat - 5.0346740 - MÚ 2011 RIV NL eng J - Článek v odborném periodiku
Goldefus, F. - Masopust, Tomáš - Meduna, A.
Left-forbidding cooperating distributed grammar systems.
Theoretical Computer Science. Roč. 411, 40-42 (2010), s. 3661-3667. ISSN 0304-3975. E-ISSN 1879-2294
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: cooperating distributed grammar system * cooperating derivation mode * left-forbidding grammar * generative power * descriptional complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.838, rok: 2010
http://www.sciencedirect.com/science/article/pii/S0304397510003440
Trvalý link: http://hdl.handle.net/11104/0187681Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 2 301.3 KB Vydavatelský postprint vyžádat - 6.0346729 - MÚ 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Jirásková, G. - Masopust, Tomáš
Complexity in Union-Free Regular Languages.
Developments in Language Theory. Berlin: Springer, 2010 - (Gao, Y.; Lu, H.; Seki, S.), s. 255-266. Lecture Notes in Computer Science, 6224. ISBN 978-3-642-14455-4.
[DLT2010. 14th International Conference on Developments in Language Theory. London (CA), 17.08.2010-20.08.2010]
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: descriptional complexity * union-free regular language * one-cycle-free-path finite automaton
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/chapter/10.1007%2F978-3-642-14455-4_24
Trvalý link: http://hdl.handle.net/11104/0187671Název souboru Staženo Velikost Komentář Verze Přístup Masopust2.pdf 1 242.6 KB Vydavatelský postprint vyžádat - 7.0345656 - MÚ 2011 RIV NL eng J - Článek v odborném periodiku
Masopust, Tomáš
Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals.
Fundamenta Informaticae. Roč. 99, č. 4 (2010), s. 473-480. ISSN 0169-2968. E-ISSN 1875-8681
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: Scattered context grammars * parallel productions * descriptional complexity * generative power
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.522, rok: 2010
http://iospress.metapress.com/content/f883562g5j612614/?issue=4&genre=article&spage=473&issn=0169-2968&volume=99
Trvalý link: http://hdl.handle.net/11104/0186871Název souboru Staženo Velikost Komentář Verze Přístup Masopust4.pdf 1 71 KB Vydavatelský postprint vyžádat