Detail projektu

Optimally Integrated Models of Modern Information Technologies

Období řešení: 1. 1. 2004 – 31. 12. 2006

Typ projektu: grant

Kód: GA201/04/0441

Agentura: Grantová agentura České republiky

Program: Standardní projekty

Název česky
Optimally Integrated Models of Modern Information Technologies
Typ
grant
Klíčová slova

formal models and systems, integration, cooperation

Abstrakt

Projekt integruje různé výpočetní modely do systémů, které umožňují optimálně popisovat a studovat informační systémy. Zejména se soustřeďuje na distribuci, paralelizaci a kooperaci při výpočtu. Pro tuto činnost integruje zejména modely z teorie formálních jazyků a automatů.

Řešitelé
Meduna Alexandr, prof. RNDr., CSc. (UIFS) – hlavní řešitel
Kolář Dušan, doc. Dr. Ing. (UIFS)
Publikace

2007

  • BIDLO, R.; BLATNÝ, P.; MEDUNA, A. Automata with Two-Sided Pushdowns Defined over Free Groups Generated by Reduced Alphabets. Kybernetika, 2007, vol. 2007, no. 1, p. 21-35. ISSN: 0023-5954. Detail

2006

  • KŘIVKA, Z.; MEDUNA, A. General Top-Down Parsers Based On Deep Pushdown Expansions. In Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava: 2006. p. 11-18. ISBN: 80-86840-20-4. Detail
  • KŘIVKA, Z.; MEDUNA, A.; SCHÖNECKER, R. Generation of Languages by Rewriting Systems that Resemble Automata. International Journal of Foundations of Computer Science, 2006, vol. 17, no. 5, p. 1223-1229. ISSN: 0129-0541. Detail
  • MEDUNA, A. Deep Pushdown Automata. Acta Informatica, 2006, vol. 2006, no. 98, p. 114-124. ISSN: 0001-5903. Detail
  • SCHÖNECKER, R.; KŘIVKA, Z.; MEDUNA, A. 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. p. 214-221. ISBN: 80-214-3287-X. Detail
  • TECHET, J. Bidirectional Contextual Grammars. In Proceedings of 1st International Workshop WFM '06. Přerov: 2006. p. 61-68. ISBN: 80-86840-20-4. Detail

2005

  • BIDLO, R. Context-Free Grammars over Free Groups. In Proceedings of 8th International Conference ISIM'05 Information System Implementation and Modeling. Ostrava: 2005. p. 95-100. ISBN: 80-86840-09-3. Detail
  • BLATNÝ, P. E0L Grammars on Free Groups. In Proceedings of 8th International Conference ISIM'05 Information System Implementation and Modeling. Ostrava: 2005. p. 81-86. ISBN: 80-86840-09-3. Detail
  • KALÁB, P. 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. p. 546-550. ISBN: 80-214-2890-2. Detail
  • KALÁB, P. Two-Way Linear PC Grammar Systems. In Proceedings of 8th Spring International Conference ISIM'05 Information Systems Implementation and Modelling. 1st edition. Ostrava: 2005. p. 87-94. ISBN: 80-86840-09-3. Detail
  • KOLÁŘ, D., MEDUNA, A. Regulated Automata: From Theory towards Applications. In Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM'05. 1st edition. Ostrava: 2005. p. 33-48. ISBN: 80-86840-09-3. Detail
  • KŘIVKA, Z. String-partitioning Systems. In Proceedings of International Interdisciplinary HONEYWELL EMI 2005. Brno: Faculty of Electrical Engineering and Communication BUT, 2005. p. 217-221. ISBN: 80-214-2942-9. Detail
  • KŘIVKA, Z., MEDUNA, A. 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. p. 67-72. ISBN: 80-86840-09-3. Detail
  • LORENC, L. 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. p. 561-565. ISBN: 80-214-2890-2. Detail
  • LORENC, L., MEDUNA, A. 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. p. 51-58. ISBN: 80-86840-09-3. Detail
  • LORENC, L., MEDUNA, A. Self-Reproducing Pushdown Transducers. Kybernetika, 2005, vol. 2005, no. 4, p. 533-539. ISSN: 0023-5954. Detail
  • MEDUNA, A. Generation of Sentences with Their Parses: the Case of Propagating Scattered Context Grammars. Acta Cybernetica, 2005, vol. 17, no. 1, p. 11-20. ISSN: 0324-721X. Detail
  • MEDUNA, A., ŠVEC, M. Grammars with Context Conditions and Their Applications. Wiley, New York: John Wiley & Sons, 2005. 225 p. ISBN: 0-471-71831-9. Detail
  • VÍTEK, M. Closure properties of insertion and deletion operations. In Proceedings of the 11th conference Student EEICT 2005. Brno: Faculty of Information Technology BUT, 2005. p. 586-590. ISBN: 80-214-2890-2. Detail
  • VÍTEK, M. Insertion and Deletion Operations in Formal Language Theory. In Proceedings of 8th Spring International Conference ISIM '05. Ostrava: 2005. p. 73-80. ISBN: 80-86840-09-3. Detail

2004

  • KALÁB, P. A Two-Way PC Grammar Systems Based on Regular Grammars. Proceedings of 10th Conference and Competition STUDENT EEICT 2004. Volume 2. Brno: Faculty of Information Technology BUT, 2004. p. 252-256. ISBN: 80-214-2635-7. Detail
  • KALÁB, P. Two-way PC Grammar Systems Based on Regular Grammars. Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modeling. 1st edition. Ostrava: 2004. p. 111-118. ISBN: 80-85988-99-2. Detail
  • KOLÁŘ, D. 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. p. 347-354. ISBN: 80-85988-98-4. Detail
  • KOPEČEK, T., MEDUNA, A. Simple-Semi-Conditional Versions of Matrix Grammars with a Reduced Regulating Mechanism. Computing and Informatics, 2004, vol. 2004, no. 23, p. 287-302. ISSN: 1335-9150. Detail
  • LORENC, L., MEDUNA, A. Self-Reproducing Pushdown Transducers. In Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling. 1st edition. Ostrava: 2004. p. 155-160. ISBN: 80-85988-99-2. Detail
  • MEDUNA, A., ŠKRKAL, O. Combined Leftmost Derivations in Matrix Grammars. In Proceedings of 7th International Conference ISIM'04 Information Systems Implementation and Modelling. 1st edition. Ostrava: 2004. p. 127-132. ISBN: 80-85988-99-2. Detail
  • MEDUNA, A., VÍTEK, M. New language operations in formal language theory. Schedae Informaticae, 2004, vol. 2004, no. 13, p. 123-150. ISSN: 0860-0295. Detail
  • ŠVEC, M. Computational Simulation Formalized by String-Relation Systems. Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04). MARQ. Ostrava: 2004. p. 147-153. ISBN: 80-85988-99-2. Detail
  • ŠVEC, M. 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. p. 544-547. ISBN: 80-227-2057-7. Detail
Nahoru