Výsledky vyhledávání
- 1.0394009 - MÚ 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Jirásková, G. - Masopust, Tomáš
On the state complexity of the reverse of R- and J-trivial regular languages.
Descriptional Complexity of Formal Systems 2013. Berlin: Springer, 2013 - (Jürgensen, H.; Reis, R.), s. 136-147. Lecture Notes in Computer Science, 8031. ISBN 978-3-642-39309-9.
[DCFS 2013. International Workshop on Descriptional Complexity of Formal Systems /15./. London (CA), 22.07.2013-25.07.2013]
Grant CEP: GA ČR(CZ) GPP202/11/P028
Institucionální podpora: RVO:67985840
Klíčová slova: state complexity * reverse * subregular languages
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/chapter/10.1007/978-3-642-39310-5_14
Trvalý link: http://hdl.handle.net/11104/0222338Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 2 228.7 KB Vydavatelský postprint vyžádat - 2.0381247 - MÚ 2013 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Jirásková, G. - Masopust, Tomáš
On properties and state complexity of deterministic state-partition automata.
Theoretical Computer Science. Berlin: Springer, 2012 - (Baeten, J.; Ball, T.; de Boer, F.), s. 164-178. Lecture Notes in Computer Science, 7604. ISBN 978-3-642-33474-0. ISSN 0302-9743.
[TCS 2012. IFIP TC 1/WG 2.2 International Conference /7./. Amsterdam (NL), 26.09.2012-28.09.2012]
Grant CEP: GA ČR(CZ) GPP202/11/P028
Institucionální podpora: RVO:67985840
Klíčová slova: deterministic finite automata * state partitioning * state complexity
Kód oboru RIV: BA - Obecná matematika
http://www.springerlink.com/content/tj427412271tm60w/
Trvalý link: http://hdl.handle.net/11104/0211764Název souboru Staženo Velikost Komentář Verze Přístup Masopust3.pdf 1 323.7 KB Vydavatelský postprint vyžádat - 3.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 - 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