Decidability of code properties

Fernau, Henning; Reinhardt, Klaus; Staiger, Ludwig

doi:10.1051/ita:2007019

Geodesic

Parcourir par

Decidability of code properties

Fernau, Henning ; Reinhardt, Klaus ; Staiger, Ludwig

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 41 (2007) no. 3, pp. 243-259.

Voir la notice de l'article dans Numdam

Résumé

We explore the borderline between decidability and undecidability of the following question: “Let $𝒞$ be a class of codes. Given a machine $𝔐$ of type $X$ , is it decidable whether the language $L (𝔐)$ lies in $𝒞$ or not?” for codes in general, $ω$ -codes, codes of finite and bounded deciphering delay, prefix, suffix and bi(pre)fix codes, and for finite automata equipped with different versions of push-down stores and counters.

DOI : 10.1051/ita:2007019

Classification : 68Q45, 03D05, 94A45, 94B99
Mots-clés : partially blind counter machines, prefix code, infix code, bifix code, deciphering delay, decidability

@article{ITA_2007__41_3_243_0,
     author = {Fernau, Henning and Reinhardt, Klaus and Staiger, Ludwig},
     title = {Decidability of code properties},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {243--259},
     publisher = {EDP-Sciences},
     volume = {41},
     number = {3},
     year = {2007},
     doi = {10.1051/ita:2007019},
     mrnumber = {2354356},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2007019/}
}

TY  - JOUR
AU  - Fernau, Henning
AU  - Reinhardt, Klaus
AU  - Staiger, Ludwig
TI  - Decidability of code properties
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2007
SP  - 243
EP  - 259
VL  - 41
IS  - 3
PB  - EDP-Sciences
UR  - https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2007019/
DO  - 10.1051/ita:2007019
LA  - en
ID  - ITA_2007__41_3_243_0
ER  -

%0 Journal Article
%A Fernau, Henning
%A Reinhardt, Klaus
%A Staiger, Ludwig
%T Decidability of code properties
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2007
%P 243-259
%V 41
%N 3
%I EDP-Sciences
%U https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2007019/
%R 10.1051/ita:2007019
%G en
%F ITA_2007__41_3_243_0

Fernau, Henning; Reinhardt, Klaus; Staiger, Ludwig. Decidability of code properties. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 41 (2007) no. 3, pp. 243-259. doi : 10.1051/ita:2007019. https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2007019/

Cité par Sources :