Decidability of code properties

作     者：Fernau, Henning Reinhardt, Klaus Staiger, Ludwig 

作者机构：Univ Trier Abt Informat D-54286 Trier Germany Univ Tubingen Wilhelm Schickard Inst Informat D-72076 Tubingen Germany Univ Halle Wittenberg Inst Informat D-06099 Halle Germany 

出 版 物：《RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS》 (法国自动化、信息与运筹学；理论与应用信息)

年 卷 期：2007年第41卷第3期

页      面：243-259页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：partially blind counter machines prefix code infix code bifix code deciphering delay decidability 

摘      要：We explore the borderline between decidability and undecidability of the following question: Let C be a class of codes. Given a machine M of type X, is it decidable whether the language L( M) lies in C or not? for codes in general,omega 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.