Descriptional complexity of error/edit systems

  • Authors:
  • Lila Kari;Stavros Konstantinidis

  • Affiliations:
  • Department of Computer Science, University of Western Ontario, London, Ontario, Canada;Department of Mathematics and Computing Science, Saint Mary's University, Halifax, Nova Scotia, Canada

  • Venue:
  • Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the fourth international workshop on descriptional complexity of formal systems
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

Errors appear in a wide range of information processing and transmission applications, such as data communications, biological computing, computer typesetting, speech recognition, etc. It can be said indeed that errors are truly natural phenomena. In this work we introduce error or edit systems (e-systems, for short), which are formal languages over the alphabet of the basic edit operations. Our formalism allows one to model essentially any kind of error situations. For certain natural regular e-systems, we investigate their descriptional complexity in terms of the number of states of the automata accepting such systems. This problem is of interest in its own right as well as in the computation of maximal error-correcting capabilities of known languages.