Project Details
Multi-Information Technologies
Project Period: 1. 1. 2007 - 31. 12. 2009
Project Type: grant
Code: GA201/07/0005
Agency: Czech Science Foundation
Program:
multi-information technologies, formal models and languages, automata, grammars
This project discusses multi-information technologies. More specifically, it integrates various computational models into multi-systems that allow us to study and simulate modern information technologies in an optimal way. As its principle objective, this project intends to develop and study multi-systems that allow us to simulate and, thereby, examine modern information technologies in an elegant, general, natural, flexible, economical and realizable way. Making use of these advantages, this project will also examine the applications of the resulting systems in terms of modern information technologies, such as developmental biology.
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT) , team leader
Lukáš Roman, Ing., Ph.D. (UIFS FIT VUT) , team leader
2010
- GOLDEFUS Filip, MASOPUST Tomáš and MEDUNA Alexander. Left-Forbidding Cooperating Distributed Grammar Systems. Theoretical Computer Science, vol. 411, no. 40, 2010, pp. 3661-3667. ISSN 0304-3975. Detail
- MEDUNA Alexander and 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, vol. 2009. Springer-Verlag Berlin Heidelberg: Springer Verlag, 2009, pp. 554-565. ISBN 978-3-642-00981-5. ISSN 0302-9743. Detail
- MEDUNA Alexander and TECHET Jiří. An Infinite Hierarchy of Language Families Generated by Scattered Context Grammars with n-Limited Derivations. Theoretical Computer Science, vol. 410, no. 21, 2009, pp. 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: Department of Information Systems FIT BUT, 2009, pp. 400-4004. ISBN 978-80-214-3870-5. Detail
- MASOPUST Tomáš and 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-University of Magdeburg, 2009, pp. 235-245. ISBN 978-3-940961-31-0. Detail
- MASOPUST Tomáš and MEDUNA Alexander. On context-free rewriting with a simple restriction and its computational completeness. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, vol. 43, no. 2, 2009, pp. 365-378. ISSN 0988-3754. Detail
- MASOPUST Tomáš and MEDUNA Alexander. On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops. Acta Cybernetica, vol. 19, no. 2, 2009, pp. 537-552. ISSN 0324-721X. Detail
- RYCHNOVSKÝ Lukáš. Regulated Pushdown Automata Revisited. In: Proceedings of the 15th Conference STUDENT EEICT 2009. Brno: Faculty of Information Technology BUT, 2009, pp. 440-444. ISBN 978-80-214-3870-5. Detail
- MEDUNA Alexander and GOLDEFUS Filip. Weak Leftmost Derivations in Cooperative Distributed Grammar Systems. In: MEMICS 09. Brno: Brno University of Technology, 2009, pp. 144-151. ISBN 978-80-87342-04-6. Detail
2008
- KOPEČEK Tomáš and MEDUNA Alexander. Conditional Grammars and Their Reduction. Brno: Faculty of Information Technology BUT, 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 and RYCHNOVSKÝ Lukáš. Infinite Language Hierarchy Based on Regular-Regulated Right-Linear Grammars with Start Strings. Philippine Computing Journal, vol. 2008, no. 3, pp. 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: Faculty of Information Technology BUT, 2008, pp. 403-407. ISBN 978-80-214-3617-6. Detail
- MEDUNA Alexander, ed. Conditional grammars are discussed. New Delhi, 2008. Detail
- MEDUNA Alexander. New Trends in Algebraic Theory of Automata. In: ICDMA. Bangkok: University of South Australia, 2008, pp. 211-222. ISBN 0-7167-8261-8. Detail
- MASOPUST Tomáš and MEDUNA Alexander. On Descriptional Complexity of Partially Parallel Grammars. Fundamenta Informaticae, vol. 87, no. 3, 2008, pp. 407-415. ISSN 0169-2968. Detail
- MASOPUST Tomáš and 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, pp. 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: Wroclaw University of Technology, 2008, pp. 491-500. ISBN 978-83-7493-400-8. Detail
- MEDUNA Alexander and TECHET Jiří. Scattered Context Grammars that Erase Nonterminals in a Generalized k-Limited Way. Acta Informatica, vol. 45, no. 7, 2008, pp. 593-608. ISSN 0001-5903. Detail
- RYCHNOVSKÝ Lukáš. Start String in Formal Language Theory. In: Proceedings of the 14th Conference STUDENT EEICT 2008. Brno: Faculty of Information Technology BUT, 2008, pp. 422-426. ISBN 978-80-214-3617-6. Detail
- MASOPUST Tomáš, MEDUNA Alexander and ŠIMÁČEK Jiří. Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars. Acta Cybernetica, vol. 18, no. 4, 2008, pp. 783-793. ISSN 0324-721X. Detail
- HRUŠKA Tomáš, KOLÁŘ Dušan, LUKÁŠ Roman and 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, pp. 445-449. ISBN 978-960-6766-82-4. ISSN 1790-5117. Detail
2007
- MEDUNA Alexander and TECHET Jiří. Canonical Scattered Context Generators of Sentences with Their Parses. Theoretical Computer Science, vol. 2007, no. 389, pp. 73-81. ISSN 0304-3975. Detail
- BIDLO Radek, BLATNÝ Petr and MEDUNA Alexander. Context-Free and E0L Derivations over Free Groups. Schedae Informaticae, vol. 2007, no. 16, pp. 14-24. ISSN 0860-0295. Detail
- MASOPUST Tomáš and MEDUNA Alexander. Descriptional Complexity of Generalized Forbidding Grammars. In: Proceedings of 9th International Workshop on Descriptional Complexity of Formal Systems. High Tatras, Slovakia: University of Pavol Jozef Šafárik, 2007, pp. 170-177. ISBN 978-80-7097-688-3. Detail
- MASOPUST Tomáš and 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, pp. 403-411. Detail
- MASOPUST Tomáš and MEDUNA Alexander. Descriptional complexity of semi-conditional grammars. Information Processing Letters, vol. 104, no. 1, 2007, pp. 29-31. ISSN 0020-0190. Detail
- KOPEČEK Tomáš, MEDUNA Alexander and ŠVEC Martin. Similar Derivations of Equivalent Grammars. International Journal of Computer Mathematics, vol. 2007, no. 84, pp. 1555-1566. ISSN 0020-7160. Detail
- LUKÁŠ Roman and MEDUNA Alexander. General Multigenerative Grammar Systems. In: Information Systems and Formal Models ISIM, WFM '07. Hradec nad Moravicí: Silesian University, 2007, pp. 205-212. ISBN 978-80-7248006-7. Detail
- KŘIVKA Zbyněk and 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: Silesian University, 2007, pp. 197-204. ISBN 978-807248-006-7. Detail
- MEDUNA Alexander, LUKÁŠ Roman and FIALA Jiří. Homogeneous Multicontinuous Grammars and Their Reduction. In: MEMICS 2007 Proceedings. Znojmo: Ing. Zdeněk Novotný, CSc., 2007, pp. 90-96. ISBN 978-80-7355-077-6. Detail
- MEDUNA Alexander and TECHET Jiří. Maximal and Minimal Scattered Context Rewriting. In: FCT 2007 Proceedings. Budapest: Springer Verlag, 2007, pp. 412-423. ISSN 0302-9743. Detail
- MEDUNA Alexander and 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: University of Pavol Jozef Šafárik, 2007, pp. 178-185. ISBN 978-80-7097-688-3. Detail
- MEDUNA Alexander and MASOPUST Tomáš. Self-Regulating Finite Automata. Acta Cybernetica, vol. 18, no. 1, 2007, pp. 135-153. ISSN 0324-721X. Detail