Well Quasi-orders in Formal Language Theory

  • Authors:
  • Flavio D'Alessandro;Stefano Varricchio

  • Affiliations:
  • Dipartimento di Matematica, Università di Roma "La Sapienza", Roma, Italy 00185;Dipartimento di Matematica, Università di Roma "Tor Vergata", Roma, Italy 00133

  • Venue:
  • DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

The concept of well quasi-order is a generalization of the classical notion of well order and plays a role in the studying of several problems of Mathematics and Theoretical Computer Science. This paper concerns some applications of well quasi-orders to Formal Language Theory. In particular, we present a survey of classical and recent results, based upon such structures, concerning context-free and regular languages. We also focus our attention to some application of well quasi-orders in the studying of languages obtained by using the operators of shuffle and iterated shuffle of finite languages.