埃蒂安·安德烈;林尚伟 参数事件记录自动机的语言保存问题是不可判定的。 （英语） Zbl 1457.68137号 信息处理。莱特。 136, 17-20 (2018). 概要：参数时间自动机（PTA）用未知常数（“参数”）扩展了时间自动机，代价是最有趣的问题无法判定。对于PTA来说，（未命名的）语言保留问题（“给定一个参数赋值，我们能找到至少一个使用相同未命名语言的其他赋值吗？”）是无法确定的。我们证明，对于参数事件记录自动机（PERA）来说，这个问题仍然无法确定，PERA是PTA的一个子类，它极大地限制了语言的使用方式；我们还表明，即使对语言的定义稍有不同，它仍然是不可判定的，例如，以接受位置结尾或无限传递的有限动作序列，或者只是所有有限的未命名单词（不接受位置）。 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：形式化方法;正式语言;参数时间自动机;事件记录自动机 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}和\textit{S.-W.林}，《信息处理》。莱特。136、17-20（2018；Zbl 1457.68137） 全文： 内政部 arXiv公司 参考文献： [1] 阿鲁尔（Alur，R.）。；Dill，D.L.，《时间自动机理论》，Theor。计算。科学。，126, 2, 183-235 (1994) ·Zbl 0803.68071号 [2] 阿鲁尔（Alur，R.）。；菲克斯·L。；Henzinger，T.A.，事件时钟自动机：一类可确定的时间自动机，Theor。计算。科学。，211, 1-2, 253-273 (1999) ·Zbl 0912.68132号 [3] 阿鲁尔（Alur，R.）。；Henzinger，T.A。；Vardi，M.Y.，参数化实时推理，（STOC（1993），ACM:美国纽约州纽约市ACM），592-601·Zbl 1310.68139号 [4] 安德烈，É。，参数时间自动机的决定因素是什么？，国际期刊软件。技术工具。Transf公司。（2018），出版中·Zbl 1396.68064号 [5] Doyen，L.，时间自动机的鲁棒参数可达性，Inf.过程。莱特。，102, 5, 208-213 (2007) ·Zbl 1184.68337号 [6] 安德烈女士。；Lin，S.-W.，基于学习的事件记录自动机合成参数，（FORTE.FORTE，LNCS，第10321卷（2017），Springer），17-32·Zbl 1489.68136号 [7] Jovanović，A。；石灰，D。；Roux，O.H.，时间自动机的整数参数综合，IEEE Trans。柔和。工程师，41，5，445-461（2015） [8] 安德烈女士。；Markey，N.，参数时间自动机中的语言保存问题，（FORMATS.FORMATS，LNCS，第9268卷（2015），Springer），27-43·Zbl 1465.68129号 [9] Minsky，M.L.，《计算：有限和无限机器》（1967），普伦蒂斯·霍尔公司：普伦蒂斯霍尔公司，美国新泽西州上鞍河·Zbl 0195.02402号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。