Project Details

Optimally Integrated Models of Modern Information Technologies

Project Period: 1. 1. 2004 - 31. 12. 2006

Project Type: grant

Code: GA201/04/0441

Agency: Czech Science Foundation

Program:

Czech title
Optimally Integrated Models of Modern Information Technologies
Type
grant
Keywords

formal models and systems, integration, cooperation

Abstract

This project integrates various computational models into systems that allow us to study and simulate modern information technologies in an optimal way. In particular, these systems are used to discuss computational cooperation, distribution, concurrence, and parallelism. Most of the systems under discussion will be based on an integration of formal models intensively studied in the theory of formal languages and computation, such as various sequential and parallel grammars and automata. As its principle objective, this project intends to develop and study 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 several information technologies, including the technologies used in mathematical linguistics, business-oriented applications, and developmental biology. Most importantly, a detailed study of possible applications related to DNA computation will be investigated.

Team members
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT) , research leader
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT) , team leader
Publications

2010

  • GOLDEFUS Filip. On Relations on Productions for Cooperative Distributed Grammar Systems. In: Proceedings of the 16th Conference Student EEICT 2010. Volume 5. Brno: Brno University of Technology, 2010, pp. 156-160. ISBN 978-80-214-4080-7. Detail

2007

  • BIDLO Radek, BLATNÝ Petr and MEDUNA Alexander. Automata with Two-Sided Pushdowns Defined over Free Groups Generated by Reduced Alphabets. Kybernetika, vol. 2007, no. 1, pp. 21-35. ISSN 0023-5954. Detail

2006

  • TECHET Jiří. Bidirectional Contextual Grammars. In: Proceedings of 1st International Workshop WFM '06. Přerov, 2006, pp. 61-68. ISBN 80-86840-20-4. Detail
  • MEDUNA Alexander. Deep Pushdown Automata. Acta Informatica, vol. 2006, no. 98, pp. 114-124. ISSN 0001-5903. Detail
  • KŘIVKA Zbyněk and MEDUNA Alexander. General Top-Down Parsers Based On Deep Pushdown Expansions. In: Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava, 2006, pp. 11-18. ISBN 80-86840-20-4. Detail
  • KŘIVKA Zbyněk, MEDUNA Alexander and SCHÖNECKER Rudolf. Generation of Languages by Rewriting Systems that Resemble Automata. International Journal of Foundations of Computer Science, vol. 17, no. 5, 2006, pp. 1223-1229. ISSN 0129-0541. Detail
  • KŘIVKA Zbyněk, MEDUNA Alexander and SCHÖNECKER Rudolf. Reducing Deep Pushdown Automata and Infinite Hierarchy. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006, pp. 214-221. ISBN 80-214-3287-X. Detail

2005

  • LORENC Luboš and MEDUNA Alexander. A Rigorous Approach to Self-Reproducing Pushdown Translation. In: Proceedings of 8th Spring International Conference ISIM'05 Information Systems Implementation and Modelling. 1st edition. Ostrava, 2005, pp. 51-58. ISBN 80-86840-09-3. Detail
  • MEDUNA Alexander. Automata and Languages: Theory and Applications. London: Springer Verlag, 2005. ISBN 1-85233-074-0. Detail
  • VÍTEK Martin. Closure properties of insertion and deletion operations. In: Proceedings of the 11th conference Student EEICT 2005. Brno: Faculty of Information Technology BUT, 2005, pp. 586-590. ISBN 80-214-2890-2. Detail
  • BIDLO Radek. Context-Free Grammars over Free Groups. In: Proceedings of 8th International Conference ISIM'05 Information System Implementation and Modeling. Ostrava, 2005, pp. 95-100. ISBN 80-86840-09-3. Detail
  • BLATNÝ Petr. E0L Grammars on Free Groups. In: Proceedings of 8th International Conference ISIM'05 Information System Implementation and Modeling. Ostrava, 2005, pp. 81-86. ISBN 80-86840-09-3. Detail
  • BIDLO Radek, BLATNÝ Petr and MEDUNA Alexander. Formal Models over Free Groups. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2005, pp. 193-199. Detail
  • MEDUNA Alexander and TECHET Jiří. Generation of Sentences with Their Parses: the Case of Propagating Scattered Context Grammars. Acta Cybernetica, vol. 17, no. 1, 2005, pp. 11-20. ISSN 0324-721X. Detail
  • MEDUNA Alexander and ŠVEC Martin. Grammars with Context Conditions and Their Applications. Wiley, New York: WILEY, 2005. ISBN 0-471-71831-9. Detail
  • VÍTEK Martin. Insertion and Deletion Operations in Formal Language Theory. In: Proceedings of 8th Spring International Conference ISIM '05. Ostrava, 2005, pp. 73-80. ISBN 80-86840-09-3. Detail
  • KOLÁŘ Dušan. Pushdown Automata: Another Extensions and Transformations. Brno: Faculty of Information Technology BUT, 2005. Detail
  • KŘIVKA Zbyněk and MEDUNA Alexander. Random Context and Programmed Grammars of Finite Index Have The Same Generative Power. In: Proceedings of 8th International Conference ISIM'05 Information Systems Implementation and Modelling. 1st edition. Ostrava, 2005, pp. 67-72. ISBN 80-86840-09-3. Detail
  • KŘIVKA Zbyněk. Recursive Erasing in Programmed Grammars. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Faculty of Informatics MU, 2005, pp. 139-144. Detail
  • KOLÁŘ Dušan and MEDUNA Alexander. Regulated Automata: From Theory towards Applications. In: Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM'05. 1st edition. Ostrava, 2005, pp. 33-48. ISBN 80-86840-09-3. Detail
  • TECHET Jiří. Scattered Context Generators of Sentences with Their Parses. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Faculty of Informatics MU, 2005, pp. 68-77. Detail
  • LORENC Luboš and MEDUNA Alexander. Self-Reproducing Pushdown Transducers. Kybernetika, vol. 2005, no. 4, pp. 533-539. ISSN 0023-5954. Detail
  • LORENC Luboš. Self-Reproducing Pushdown Translation. In: Proceedings of the 11th Conference Student EEICT 2005. Volume 3. Brno: Publishing house of Brno University of Technology VUTIUM, 2005, pp. 561-565. ISBN 80-214-2890-2. Detail
  • KŘIVKA Zbyněk. String-partitioning Systems. In: Proceedings of International Interdisciplinary HONEYWELL EMI 2005. Brno: Faculty of Electrical Engineering and Communication BUT, 2005, pp. 217-221. ISBN 80-214-2942-9. Detail
  • KALÁB Petr. Two-Way Linear PC Grammar Systems. In: Proceedings of 8th Spring International Conference ISIM'05 Information Systems Implementation and Modelling. 1st edition. Ostrava, 2005, pp. 87-94. ISBN 80-86840-09-3. Detail
  • KALÁB Petr. Two-Way Linear PC Grammar Systems and Their Descriptional Complexity. In: Proceedings of the 11th Conference Student EEICT 2005. Volume 3. Brno: Publishing house of Brno University of Technology VUTIUM, 2005, pp. 546-550. ISBN 80-214-2890-2. Detail

2004

  • KALÁB Petr. A Two-Way PC Grammar Systems Based on Regular Grammars. In: Proceedings of 10th Conference and Competition STUDENT EEICT 2004. Volume 2. Brno: Faculty of Information Technology BUT, 2004, pp. 252-256. ISBN 80-214-2635-7. Detail
  • MEDUNA Alexander and ŠKRKAL Oto. Combined Leftmost Derivations in Matrix Grammars. In: Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling. 1st edition. Ostrava, 2004, pp. 127-132. ISBN 80-85988-99-2. Detail
  • ŠVEC Martin. Computational Simulation Formalized by String-Relation Systems. In: Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04). MARQ. Ostrava, 2004, pp. 147-153. ISBN 80-85988-99-2. Detail
  • ŠVEC Martin. Computational Simulation Formalized by String-Relation Systems. In: Proceedings of the International Conference and Competition of Student's Scientific Works STUDENT EEICT 2004. STU. Bratislava: Slovak University of Technology in Bratislava, 2004, pp. 544-547. ISBN 80-227-2057-7. Detail
  • MEDUNA Alexander and VÍTEK Martin. New language operations in formal language theory. Schedae Informaticae, vol. 2004, no. 13, pp. 123-150. ISSN 0860-0295. Detail
  • LORENC Luboš and MEDUNA Alexander. Self-Reproducing Pushdown Transducers. In: Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling. 1st edition. Ostrava, 2004, pp. 155-160. ISBN 80-85988-99-2. Detail
  • KOPEČEK Tomáš and MEDUNA Alexander. Simple-Semi-Conditional Versions of Matrix Grammars with a Reduced Regulating Mechanism. Computing and Informatics, vol. 2004, no. 23, pp. 287-302. ISSN 1335-9150. Detail
  • KOLÁŘ Dušan. Simulation of LLk Parsers with Wide Context by Automaton with One-Symbol Reading Head. In: Proceedings of 38th International Conference MOSIS '04 - Modelling and Simulation of Systems. Ostrava, 2004, pp. 347-354. ISBN 80-85988-98-4. Detail
  • KALÁB Petr. Two-way PC Grammar Systems Based on Regular Grammars. In: Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modeling. 1st edition. Ostrava, 2004, pp. 111-118. ISBN 80-85988-99-2. Detail

2000

  • KOLÁŘ Dušan and MEDUNA Alexander. Descriptional complexity of multi-parallel grammars with respect to the number of nonterminals. Grammars and Automata for String Processing: from Mathematics and Computer Science to Biology, and Back. London: unknown, 2000, pp. 212-225. ISBN 1-85233-074-0. Detail
  • MEDUNA Alexander. Generative Power of Three-Nonterminal Scattered Context Grammars. Theoretical Computer Science, vol. 2000, no. 246, pp. 279-284. ISSN 0304-3975. Detail
  • MEDUNA Alexander. Terminating Left-Hand Sides of Scattered Context Grammars. Theoretical Computer Science, vol. 2000, no. 237, pp. 424-427. ISSN 0304-3975. Detail
Back to top