Sequential grammars and automata with valances

  • Authors:
  • Henning Fernau;Ralf Stiebe

  • Affiliations:
  • Univ. Tübingen, Tübingen, Germany;Otto-von-Guericke-Univ. Magdeburg, Magdeburg, Germany

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2002

Quantified Score

Hi-index 5.24

Visualization

Abstract

We discuss the model of valence grammars, a simple extension of context-free grammars. We show closure properties of context-free valence languages over arbitrary monoids. Chomsky and Greibach normal form theorems and an iteration lemma for context-free valence grammars over the groups Zk are proved. The generative power of different control monoids is investigated. In particular, we show that context-free valence grammars over finite monoids or commutative monoids have the same power as valence grammars over finite groups or commutative groups, respectively.