帕特里夏·鲍耶;安托万·佩蒂特 时钟语言的Kleene/Büchli样定理。 (英语) Zbl 1031.68121号 J.汽车。语言梳。 第7期,第2期,第167-186页(2002年). 摘要:本文将理论计算机科学的基石之一、著名的形式语言Kleene/Büchi定理推广到时钟语言的时间模型。这些语言扩展了现在由Alur和Dill引入的经典定时语言,成为实时系统的合适模型。作为主要结果的推论,我们得到了(可更新的)时间自动机识别的时间语言的简单代数特征。 引用于12文件 MSC公司: 68T45型 机器视觉和场景理解 关键词:定时语言 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}和\textit{A.Petit},J.Autom。语言梳。7,第2号,167--186(2002;Zbl 1031.68121)