Detail projektu
Multi-Information Technologies
Období řešení: 1. 1. 2007 - 31. 12. 2009
Typ projektu: grant
Kód: GA201/07/0005
Agentura: Grantová agentura České republiky
Program:
Název česky
Multiinformační technologie
Typ
grant
Abstrakt
Tento projekt diskutuje multiinformační technologie a jejich formalizaci.
Řešitelé
Meduna Alexander, prof. RNDr., CSc.
(UIFS FIT VUT)
, hlavní řešitel
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT) , spoluřešitel
Lukáš Roman, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT) , spoluřešitel
Lukáš Roman, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Publikace
2010
- GOLDEFUS Filip, MASOPUST Tomáš a MEDUNA Alexander. Left-Forbidding Cooperating Distributed Grammar Systems. Theoretical Computer Science, roč. 411, č. 40, 2010, s. 3661-3667. ISSN 0304-3975. Detail
- MEDUNA Alexander a TECHET Jiří. Scattered Context Grammars and their Applications. WIT Press, UK. WIT Press, UK: WIT Press, 2010. ISBN 978-1-84564-426-0. Detail
2009
- MASOPUST Tomáš. A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions. In: LATA 2009 proceedings. Lecture notes in computer science, roč. 2009. Springer-Verlag Berlin Heidelberg: Springer Verlag, 2009, s. 554-565. ISBN 978-3-642-00981-5. ISSN 0302-9743. Detail
- MEDUNA Alexander a TECHET Jiří. An Infinite Hierarchy of Language Families Generated by Scattered Context Grammars with n-Limited Derivations. Theoretical Computer Science, roč. 410, č. 21, 2009, s. 1961-1969. ISSN 0304-3975. Detail
- GOLDEFUS Filip. Cooperating Distributed Grammar Systems and Graph Controlled Grammar Systems with Infinite Number of Components. In: Proceedings of the 15th Conference and Competition STUDENT EEICT 2009 Volume 4. 4. Brno: Ústav informačních systémů FIT VUT v Brně, 2009, s. 400-4004. ISBN 978-80-214-3870-5. Detail
- MASOPUST Tomáš a MEDUNA Alexander. Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement. In: Proceedings of 11th International Workshop on Descriptional Complexity of Formal Systems. Magdeburg: Otto-von-Guericke-Universität Magdeburg, 2009, s. 235-245. ISBN 978-3-940961-31-0. Detail
- MASOPUST Tomáš a MEDUNA Alexander. On context-free rewriting with a simple restriction and its computational completeness. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, roč. 43, č. 2, 2009, s. 365-378. ISSN 0988-3754. Detail
- MASOPUST Tomáš a MEDUNA Alexander. On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops. Acta Cybernetica, roč. 19, č. 2, 2009, s. 537-552. ISSN 0324-721X. Detail
- RYCHNOVSKÝ Lukáš. Regulated Pushdown Automata Revisited. In: Proceedings of the 15th Conference STUDENT EEICT 2009. Brno: Fakulta informačních technologií VUT v Brně, 2009, s. 440-444. ISBN 978-80-214-3870-5. Detail
- MEDUNA Alexander a GOLDEFUS Filip. Weak Leftmost Derivations in Cooperative Distributed Grammar Systems. In: MEMICS 09. Brno: Vysoké učení technické v Brně, 2009, s. 144-151. ISBN 978-80-87342-04-6. Detail
2008
- KOPEČEK Tomáš a MEDUNA Alexander. Conditional Grammars and Their Reduction. Brno: Fakulta informačních technologií VUT v Brně, 2008. ISBN 978-80-214-3750-0. Detail
- MEDUNA Alexander. Elements of Compiler Design. Taylor and Francis. New York: Taylor & Francis Informa plc, 2008. ISBN 978-1-4200-6323-3. Detail
- MEDUNA Alexander a RYCHNOVSKÝ Lukáš. Infinite Language Hierarchy Based on Regular-Regulated Right-Linear Grammars with Start Strings. Philippine Computing Journal, roč. 2008, č. 3, s. 1-5. ISSN 1908-1995. Detail
- GOLDEFUS Filip. Left-Forbidding Cooperating Distributed Grammar Systems. In: Proceedings of the 14th Conference and Competition STUDENT EEICT 2008 Volume 4. Brno: Fakulta informačních technologií VUT v Brně, 2008, s. 403-407. ISBN 978-80-214-3617-6. Detail
- MEDUNA Alexander, ed. Mathematical Theory of Conditional Grammars. New Delhi, 2008. Detail
- MEDUNA Alexander. New Trends in Algebraic Theory of Automata. In: ICDMA. Bangkok: University of South Australia, 2008, s. 211-222. ISBN 0-7167-8261-8. Detail
- MASOPUST Tomáš a MEDUNA Alexander. On Descriptional Complexity of Partially Parallel Grammars. Fundamenta Informaticae, roč. 87, č. 3, 2008, s. 407-415. ISSN 0169-2968. Detail
- MASOPUST Tomáš a MEDUNA Alexander. On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops. In: Automata and Formal Languages. The 12th International Conference, AFL 2008, Balatonfured, Hungary, May 27-30, 2008, Proceedings. Balatonfured: Computer and Automation Research Institute, Hungarian Academy of Sciences, 2008, s. 325-336. ISBN 978-963-311-367-7. Detail
- KOLÁŘ Dušan. Scattered Context Grammars Parsers. In: Proceedings of the 14th International Congress of Cybernetics and Systems of WOCS. Wroclaw: Politechnika Wrocławska, 2008, s. 491-500. ISBN 978-83-7493-400-8. Detail
- MEDUNA Alexander a TECHET Jiří. Scattered Context Grammars that Erase Nonterminals in a Generalized k-Limited Way. Acta Informatica, roč. 45, č. 7, 2008, s. 593-608. ISSN 0001-5903. Detail
- RYCHNOVSKÝ Lukáš. Start String in Formal Language Theory. In: Proceedings of the 14th Conference STUDENT EEICT 2008. Brno: Fakulta informačních technologií VUT v Brně, 2008, s. 422-426. ISBN 978-80-214-3617-6. Detail
- MASOPUST Tomáš, MEDUNA Alexander a ŠIMÁČEK Jiří. Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars. Acta Cybernetica, roč. 18, č. 4, 2008, s. 783-793. ISSN 0324-721X. Detail
- HRUŠKA Tomáš, KOLÁŘ Dušan, LUKÁŠ Roman a ZÁMEČNÍKOVÁ Eva. Two-Way Coupled Finite Automaton and Its Usage in Translators. In: New Aspects of Circuits. Heraklion: World Scientific and Engineering Academy, 2008, s. 445-449. ISBN 978-960-6766-82-4. ISSN 1790-5117. Detail
2007
- MEDUNA Alexander a TECHET Jiří. Canonical Scattered Context Generators of Sentences with Their Parses. Theoretical Computer Science, roč. 2007, č. 389, s. 73-81. ISSN 0304-3975. Detail
- BIDLO Radek, BLATNÝ Petr a MEDUNA Alexander. Context-Free and E0L Derivations over Free Groups. Schedae Informaticae, roč. 2007, č. 16, s. 14-24. ISSN 0860-0295. Detail
- MASOPUST Tomáš a MEDUNA Alexander. Descriptional Complexity of Generalized Forbidding Grammars. In: Proceedings of 9th International Workshop on Descriptional Complexity of Formal Systems. High Tatras, Slovakia: Univerzita Pavla Jozefa Šafárika v Košiciach, 2007, s. 170-177. ISBN 978-80-7097-688-3. Detail
- MASOPUST Tomáš a MEDUNA Alexander. Descriptional Complexity of Grammars Regulated by Context Conditions. In: LATA 2007 Pre-proceedings. Reports of the Research Group on Mathematical Linguistics 35/07, Universitat Rovira i Virgili. Tarragona, Spain, 2007, s. 403-411. Detail
- MASOPUST Tomáš a MEDUNA Alexander. Descriptional Complexity of Semi-Conditional Grammars. Information Processing Letters, roč. 104, č. 1, 2007, s. 29-31. ISSN 0020-0190. Detail
- KOPEČEK Tomáš, MEDUNA Alexander a ŠVEC Martin. Equivalent language models that closely simulate one another and their illustration in terms of L systems. International Journal of Computer Mathematics, roč. 2007, č. 84, s. 1555-1566. ISSN 0020-7160. Detail
- LUKÁŠ Roman a MEDUNA Alexander. General Multigenerative Grammar Systems. In: Information Systems and Formal Models ISIM, WFM '07. Hradec nad Moravicí: Slezská univerzita v Opavě, 2007, s. 205-212. ISBN 978-80-7248006-7. Detail
- KŘIVKA Zbyněk a MEDUNA Alexander. Generalized #-Rewriting Systems of Finite Index. In: Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Slezská univerzita v Opavě, 2007, s. 197-204. ISBN 978-807248-006-7. Detail
- MEDUNA Alexander, LUKÁŠ Roman a FIALA Jiří. Homogeneous Multicontinuous Grammars and Their Reduction. In: MEMICS 2007 Proceedings. Znojmo: Ing. Zdeněk Novotný, CSc., 2007, s. 90-96. ISBN 978-80-7355-077-6. Detail
- MEDUNA Alexander a TECHET Jiří. Maximal and Minimal Scattered Context Rewriting. In: FCT 2007 Proceedings. Budapest: Springer Verlag, 2007, s. 412-423. ISSN 0302-9743. Detail
- MEDUNA Alexander a TECHET Jiří. Reduction of Scattered Context Generators of Sentences Preceded by Their Leftmost Parses. In: Proceedings of 9th International Workshop on Descriptional Complexity of Formal Systems. High Tatras: Univerzita Pavla Jozefa Šafárika v Košiciach, 2007, s. 178-185. ISBN 978-80-7097-688-3. Detail
- MEDUNA Alexander a MASOPUST Tomáš. Self-Regulating Finite Automata. Acta Cybernetica, roč. 18, č. 1, 2007, s. 135-153. ISSN 0324-721X. Detail