On the existence of regular approximations

  • Authors:
  • Brendan Cordy;Kai Salomaa

  • Affiliations:
  • Department of Mathematics and Statistics, McGill University, 805 Sherbrooke W., Montreal, Quebec H3A 2K6, Canada;School of Computing, Queens University, Kingston, Ontario K7L 3N6, Canada

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2007

Quantified Score

Hi-index 5.23

Visualization

Abstract

We approximate context-free, or more general, languages using finite automata. The degree of approximation is measured, roughly speaking, by counting the number of incorrect answers an automaton gives on inputs of length m and observing how these values behave for large m. More restrictive variants are obtained by requiring that the automaton never accepts words outside the language or that it accepts all words in the language. A further distinction is whether a given (context-free) language has a regular approximation which is optimal under the measure of approximation degree or an approximation which is arbitrarily close to optimal. We study closure and decision properties of the approximation measure.