克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 计数器、Petri网和合意计算。 （英语） 兹比尔1359.68162 西奥。计算。科学。 664，91-116（2017）. 摘要：我们建立了两个使用计数器并实时操作的语言识别模型之间的关系：识别Petri网语言的Greibach实时操作部分盲机（RT-PBLIND）和作者的一致正则（CREG）语言模型。后者基于有限自动机的同步计算线程，在每个步骤中，一个线程充当领导者，所有其他线程充当追随者。我们引入了RT-PBLIND机器（和Petri网）的两种新的范式，使得计数器操作被调度和细化，转换是准确定性的，即通过消除计数器移动获得的有限自动机是确定性的。我们证明了CREG族可以模拟任何规范化的RT-PBLIND机器，但它也包含非RT-PBLIND语言（a^nb^n\midn>1）。 理学硕士： 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：形式语言;多计数器机器;实时部分盲机;Petri网语言;Petri网范式;准确定计数器;双方同意的语言;多组机器;模调度 PDF格式BibTeX公司 XML格式引用 \textit{S.Crespi Reghizzi}和\textit{P.San Pietro}，Theor。计算。科学。664、91——116（2017年；Zbl 1359.68162） 全文： 内政部 链接 参考文献： [1] 阿佩尔，A.W。；Palsberg，J.，《Java中的现代编译器实现》（2003），剑桥大学出版社：美国纽约剑桥大学出版社 [2] Berglund，M。；比约克隆德，H。；Björklund，J.，Shuffled languages-representation and recognition，理论。计算。科学。，489-490, 1-20 (2013) ·Zbl 1294.68101号 [3] （Calude，C.；Paun，G.；Rozenberg，G；Salomaa，A.，《多集处理、数学、计算机科学和分子计算观点》，多集处理，数学，计算机科学，分子计算观点，LNCS，第2235卷（2001），Springer）·Zbl 0983.00053号 [4] Crespi Reghizzi，S。；Mandrioli，D.，Petri网和Szilard语言，Inf.Control，33，2，177-192（1977）·Zbl 0354.68098号 [5] Crespi Reghizzi，S。；San Pietro，P.，《正则集对语言的一致定义》（Martín-Vide，C.；Otto，F.；Fernau，H.，LATA 2008）。LATA 2008，LNCS，第5196卷（2008），Springer），196-208·Zbl 1156.68452号 [6] Crespi Reghizzi，S。；San Pietro，P.，《Consensual语言和匹配有限状态计算》，RAIRO Theor。通知。申请。，45, 1, 77-97 (2011) ·Zbl 1219.68112号 [7] Crespi Reghizzi，S。；San Pietro，P.，《共识下的严格局部可测试性等于规律性》（Moreira，N.；Reis，R.，CIAA 2012）。CIAA 2012，LNCS，第7381卷（2012年），施普林格），113-124·Zbl 1297.68118号 [8] Crespi Reghizzi，S。；San Pietro，P.，《确定性计数器和并行匹配计算》（Konstantinidis，S.，CIAA 2013）。CIAA 2013，LNCS，第7982卷（2013），施普林格），280-291·Zbl 1298.68129号 [9] Crespi Reghizzi，S。；San Pietro，P.，一致性的严格局部可测性等于正则性，以及其他属性，Internat。J.发现。计算。科学。，24, 6, 747-764 (2013) ·Zbl 1408.68094号 [10] Crespi Reghizzi，S。；San Pietro，P.，《交换语言及其合意方法构成》，（埃西克，Z.；福尔öP，Z.，AFL 2014（2014）），216-230·Zbl 1464.68163号 [11] 菲舍尔，P.C。；Meyer，A.R。；罗森博格，A.L.，《计数器和计数器语言》，数学。系统。理论，2265-283（1968）·Zbl 0165.32002号 [12] Garg，V.K。；Ragunath，M.T.，并发正则表达式及其与Petri网的关系，Theoret。计算。科学。，96、2、285-304（1992年4月）·Zbl 0745.68080号 [13] Greibach，S.A.，《关于非确定性反语言复杂性的评论》，Theoret。计算。科学。，1、4、269-288（1976年4月）·Zbl 0332.68039号 [14] Greibach，S.A.，《关于盲和部分盲单向多计数器的评论》，Theoret。计算。科学。，7, 311-324 (1978) ·Zbl 0389.68030号 [15] Hartmanis，J。；霍普克罗夫特，J.，《是什么使一些语言理论问题无法确定》，J.Compute。系统科学。，4, 4, 368-376 (1970) ·Zbl 0198.03001号 [16] Hromkovic，J.，《反转和零测试有界多计数器的层次结构》，（Chytil，M.；Koubek，V.，MFCS 1984。MFCS 1984，LNCS，第176卷（1984），施普林格），312-321·Zbl 0582.68049号 [17] Ibarra，O.H.，《可逆有界多计数器机器及其决策问题》，J.ACM，25，1，116-133（1978）·Zbl 0365.68059号 [18] Jantzen，M.，关于Petri网语言的层次结构，Inform。塞奥尔。申请。，13, 1 (1979) ·Zbl 0404.68076号 [19] Jędrzejowicz，J。；Szepetowski，A.，Shuffle语言在P中，定理。计算。科学。，250、1-2、31-53（2001年1月）·Zbl 0952.68079号 [20] Minsky，M.，《图灵机器理论中Post的“标签”问题和其他主题的递归不可解性》，《数学年鉴》。(2), 74, 3, 437-455 (1961) ·Zbl 0105.00802号 [21] Minsky，M.，《计算：有限和无限机器》（1976），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德悬崖出版社，美国 [22] Nagy，B.，由AB->BA类型规则扩展的无上下文语法生成的语言，J.Autom。语言梳。，14, 2, 175-186 (2009) ·Zbl 1206.68178号 [23] 纳吉，B。；Otto，F.，《窗口大小为1的无状态确定性R-自动机光盘系统》，J.Compute。系统科学。，78, 3, 780-806 (2012) ·兹比尔1279.68167 [24] Salomaa，A.，《形式语言》（1973），学术出版社：纽约州纽约市学术出版社·Zbl 0262.68025号 [25] Sha，L。；Abdelzaher，T.F。；奥泽恩，K。；Cervin，A。；贝克，T.P。；伯恩斯，A。；布塔佐，G.C。；Caccamo，M。；Lehoczky，J.P。；Mok，A.K.，实时调度理论：历史观点，实时系统。，28, 2-3, 101-155 (2004) ·Zbl 1073.68537号 [26] ter Beek，M.H。；Kleijn，J.，《洗牌和同步洗牌：一项调查》，（Paun，G.；Rozenberg，G；Salomaa，a.，《离散数学和计算机科学》，摘自《纪念亚历山大·马泰斯库》（1952-2005）（2014），罗马尼亚科学院出版社），第37-50页 [27] Vitányi，P.，计数器的优化模拟，SIAM J.Compute。，14, 1, 1-33 (1985) ·Zbl 0566.68044号 [28] Vitányi，P.，计数器的优化模拟：ACM案例，SIAM J.Compute。，14, 1, 34-40 (1985) ·兹伯利0566.68045 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。