Decision problems concerning thinness and slenderness of formal languages
Article Ecrit par: Honkala, J. ;
Résumé: A language L is called thin if for almost all n there is at most one word of length n in L. A language L is called slender if there is a positive integer k such that for any n there are at most k words of length n in L. The notions of Parikh thin and Parikh slender languages are defined similarly by counting the words with the same Parikh vectors instead of the words of the same length. In this paper we discuss decision problems concerning these four properties. It is shown that all four properties are decidable for bounded semilinear languages but undecidable for DTOL languages. As a consequence all these problems are decidable for context-free languages.
Langue:
Anglais