Undecidable problems concerning densities of languages

Abstract : In this paper we prove that the question whether a language presented by a context free grammar has density, is undecidable. Moreover we show that there is no algorithm which, given two unambiguous context free grammars on input, decides whether the language defined by the first grammar has a relative density in the language defined by the second one. Our techniques can be extended to show that this problem is undecidable even for languages given by grammars from $LL(k)$ (for sufficiently large fixed $k ∈ \mathbb{N} )$.
Type de document :
Communication dans un congrès
David, René and Gardy, Danièle and Lescanne, Pierre and Zaionc, Marek. Computational Logic and Applications, CLA '05, 2005, Chambéry, France. Discrete Mathematics and Theoretical Computer Science, DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05), pp.69-76, 2005, DMTCS Proceedings
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01183335
Contributeur : Coordination Episciences Iam <>
Soumis le : mercredi 12 août 2015 - 10:19:45
Dernière modification le : mercredi 10 mai 2017 - 17:40:18
Document(s) archivé(s) le : vendredi 13 novembre 2015 - 11:35:42

Fichier

dmAF0105.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01183335, version 1

Collections

Citation

Jakub Kozik. Undecidable problems concerning densities of languages. David, René and Gardy, Danièle and Lescanne, Pierre and Zaionc, Marek. Computational Logic and Applications, CLA '05, 2005, Chambéry, France. Discrete Mathematics and Theoretical Computer Science, DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05), pp.69-76, 2005, DMTCS Proceedings. 〈hal-01183335〉

Partager

Métriques

Consultations de la notice

61

Téléchargements de fichiers

99