[go: up one dir, main page]

[CEUR Workshop Proceedings] Vol-255

© 2007 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material on this page requires permission by the copyright owners.





WFM '07
2nd International Workshop on Formal Models




Proceedings of the 2nd International Workshop on Formal Models
WFM'07

Hradec nad Moravicí, Czech Republic, April 23-25, 2007.

Edited by

Alica Kelemenová*, Dusan Kolář**, and Alexander Meduna**

* Faculty of Philosophy and Science, Silesian University in Opava, Opava, Czech Republic
** Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic




Table of Contents

    Invited paper

  1. Colonies - the Simplest Grammar Systems
    Alica Kelemenová

    Research Papers

  2. On Vertical Grammatical Restrictions that Produce an Infinite Language Hierarchy
    Radek Bidlo, Petr Blatný, Alexander Meduna
  3. Notes on Restricted P Colonies
    Lucie Ciencialová, Luděk Cienciala
  4. Structures of the Environment in Colonies
    Adam Kožaný, Alica Kelemenová
  5. Generalized #-Rewriting Systems of Finite Index
    Zbyněk Křivka, Alexander Meduna
  6. General Multigenerative Grammar Systems
    Roman Lukáš, Alexander Meduna
  7. A Note on the Descriptional Complexity of Semi-Conditional Grammars
    Tomáš Masopust
  8. Parsing of Context-Sensitive Languages
    Lukáš Rychnovský
  9. k-Limited Erasing Performed by Scattered Context Grammars
    Jiří Techet
  10. Properties of Eco-Colonies
    Šárka Vavrečková

    Short Papers

  11. A Note on the Parsing of Complete VHDL-2002
    Luboš Lorenc, Rudolf Schönecker, Zbyněk Křivka

submitted by Z. Křivka and D. Kolář, 20-Jun-2007
published on CEUR-WS.org, 20-Jun-2007