Growth-sensitivity of context-free languages

  • Authors:
  • Tullio Ceccherini-Silberstein;Wolfgang Woess

  • Affiliations:
  • Dipartimento di Ingegneria, Università del Sannio, Corso Garibaldi 107, Benevento I-82100, Italy;Institut für Mathematik, Technische Universität Graz, Steyrergasse 30, Graz A-8010, Austria

  • Venue:
  • Theoretical Computer Science - WORDS
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

A language L over a finite alphabet Σ is called growth-sensitive if forbidding any set of subwords F yields a sub-language LF whose exponential growth rate is smaller than that of L. It is shown that every (essentially) ergodic non-linear context-free language of convergent type is growth-sensitive. "Ergodic" means that the dependency di-graph of the generating context-free grammar is strongly connected, and "essentially ergodic" means that there is only one nonregular strong component in that graph. The methods combine (1) an algorithm for constructing from a given grammar one that generates the associated 2-block language and (2) a generating function technique regarding systems of algebraic equations. Furthermore, the algorithm of (1) preserves unambiguity as well as the number of non-regular strong components of the dependency di-graph.