福里·希·威特;彼得·奥普洛查;斯拉沃米尔·巴卡拉斯基 符号动力学、花自动机和无限轨迹。 （英语） Zbl 1226.68053号 Domaratzki，Michael（编辑）等人，自动机的实现和应用。2010年8月12日至15日，加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18097-2/pbk）。计算机科学课堂讲稿6482135-142（2011）。 摘要：将有限字母表视为一组允许的指令，我们可以用基本动作或程序识别有限单词。因此，花自动机上的无限路径可以表示这些程序的执行顺序，与之相关的花移位表示要在计算的某个中点执行的指令列表。当给出附加信息时，每个这样的列表都可以转换为无限的实跟踪，即哪些指令可以同时执行（这样我们就可以获得并行计算进程的时间表）。在本文中，我们研究了当以这种方式获得对象（无限实迹集）时，从动力学的角度很好地定义了对象，以及它们在多大程度上共享了潜在花移位的属性。关于整个系列，请参见[Zbl 1206.68008号]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 37B10号机组 符号动力学 68号30 软件工程的数学方面（规范、验证、度量、需求等） 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{W.Fory sei}等人，莱克特。注释计算。科学。6482135-142（2011年；兹比尔1226.68053） 全文： 内政部 参考文献： [1] Berstel，J.，Perrin，D.：《代码理论》，《纯粹与应用数学》，第117卷。奥兰多学术出版社（1985）·Zbl 0587.68066号 [2] Cartier，P.，Foata，D.：交换与排列组合问题。数学课堂讲稿。斯普林格，海德堡（1969）·Zbl 0186.30101号 ·doi:10.1007/BFb0079468 [3] Diekert，V.（编辑）：痕迹组合数学。LNCS，第454卷。斯普林格，海德堡（1990）·Zbl 0717.68002号 [4] Diekert，V.，Rozenberg，G.（编辑）：《痕迹之书》。世界科学出版公司，River Edge（1995） [5] Fory Shi，W.，Oprocha，P.：无限痕迹和符号动力学。理论计算。系统。 45, 133–149 (2009) ·Zbl 1175.68278号 ·doi:10.1007/s00224-007-9093-7 [6] Fory Shi，W.，Oprocha，P.：无限轨迹和符号动力学-最小位移情况。Fundamenta Informatica（即将推出）·Zbl 1252.68203号 [7] Garcia Guirao，J.L.，Fory sh，W.，Oprocha，P.：双有限时间尺度上并行计算的动力学模型。计算机杂志。申请。数学。（出现）·Zbl 1214.68247号 [8] Kaldewaij，A.：跟踪理论和并发系统规范。In:Denvir，B.T.，Jackson，M.I.，Harwood，W.T.，Wray，M.J.（编辑）ACS 1985。LNCS，第207卷，第211–221页。斯普林格，海德堡（1985）·doi:10.1007/3-540-16047-7_48 [9] Kurka，P：拓扑和符号动力学。专业课程[专业课程]11。法国数学协会，巴黎（2003年） [10] Kwiatkowska，M.：痕迹的度量。通知。过程。莱特。 35, 129–135 (1990) ·Zbl 0697.68071号 ·doi:10.1016/0020-0190（90）90061-2 [11] Mazurkiewicz，A.：并发程序方案及其解释。DAIMI代表奥胡斯大学78，1-45（1977） [12] Restivo，A.：有限生成的沙发系统。理论。计算。科学。65265–270（1989年）·兹比尔0688.68076 ·doi:10.1016/0304-3975（89）90049-2 [13] Williams，S.：更新系统注释。程序。阿默尔。数学。Soc.110851-853（1990年）·Zbl 0703.54025号 ·doi:10.1090/S0002-9939-1990-1025283-2 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。