菲利普赫尔曼 时间自动机和可识别性。 （英语） Zbl 0925.68275号 信息处理。莱特。 65，No.6，313-318（1998）. 引用于5文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：实时系统；正式语言；定时自动机 PDF格式BibTeX公司 XML格式引用 \textit{P.Herrmann}，Inf.流程。莱特。65，No.6，313--318（1998；Zbl 0925.68275） 全文： DOI程序 参考文献： [1] 阿鲁尔（Alur，R.）。；Dill，D.L.，《实时系统建模自动化》（Proc.ICALP 90）。程序。ICALP 90，《计算机科学讲义》，第443卷（1990年），施普林格：施普林格柏林），322-335·Zbl 0765.68150号 [2] 阿鲁尔（Alur，R.）。；Dill，D.L.，《时间自动机理论》，Theoret。计算。科学。，126, 183-235 (1994) ·Zbl 0803.68071号 [3] Diekert，V。；加斯丁，P。；Petit，A.，《移除时间自动机中的ε-跃迁》（Proc.STACS 97）。程序。STACS 97，《计算机科学讲义》，第1200卷（1997年），施普林格：施普林格柏林），583-594·Zbl 1498.68135号 [4] 古普塔，V。；Henzinger，T.A。；Jagadeesan，R.，《鲁棒定时自动机》（Proc.HART 97）。程序。HART 97，计算机科学课堂讲稿，第1201卷（1997），施普林格：施普林格柏林），331-345 [5] Herrmann，P.，《时间自动机和可识别性》（《技术报告》，1997年），LIAFA，巴黎大学7）·Zbl 0925.68275号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。