×
Kanellakis，巴黎C。;斯科特·斯莫尔卡。

CCS表达式、有限状态过程和三个等价问题。 （英语） Zbl 0705.68063号

Inf.计算。 86，No.1，43-68（1990）.
摘要：我们研究了Milner通信系统微积分（CCS）中测试有限状态过程等价性的计算复杂性。CCS中的等价问题是对测试两个非确定性有限自动机（NFA）是否等价的常见问题的改进，即接受相同的语言。研究了CCS中提出的三个等价概念，即观测等价、强观测等价和失效等价。我们证明了观测等价性可以在多项式时间内进行检验。正如CCS中定义的那样，观测等价是一系列连续更精细的等价关系的极限，其中，（近似1）是非确定性有限自动机等价。我们证明了，对于每个固定k，判定\（\approx_k\）是PSPACE-complete。我们证明，通过将其简化为广义划分，可以在多项式时间内确定强观测等价性，这是一个新的独立关注的组合问题。最后，我们证明了在PSPACE中对失效等价性的测试是完整的，即使是对于非常有限的过程类型也是如此。

引用于123文件

MSC公司：

65年第68季度 算法和问题复杂性分析
2005年第68季度 计算模型（图灵机等）（MSC2010）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
2015年3月1日 计算复杂性（包括隐式计算复杂性）

关键词：

并发;通信过程代数;通信系统演算;不确定有限自动机;观察等价;强观测等价;失效等效性;广义划分
PDF格式BibTeX公司 XML格式引用
\textit{P.C.Kanellakis}和\textit{S.A.Smolka}，Inf.Compute。86，编号1，43--68（1990；Zbl 0705.68063）
全文： 内政部

参考文献：

[1] Aho，A.V。；霍普克罗夫特，J.E。；Ullman，J.D.（计算机算法的设计与分析（1974），Addison-Wesley：Addison-Whesley Reading，MA）·Zbl 0326.68005号
[2] Benson，D.B。；Ben-Shachar，O.，《自动机的互模拟》，Inform。和计算。，79，第1号，60-83（1988）·Zbl 0679.68111号
[3] Bergstra，J.A.（伯格斯特拉，J.A.）。；Klop，J.W.，通信过程代数，（de Bakker，J.W.；Hazewinkel，M.；Lenstra，J.K.，CWI专著I，CWI数学与计算机科学研讨会论文集（1986），北荷兰：北荷兰阿姆斯特丹），89-138·Zbl 0605.68013号
[4] Bergstra，J.A.（伯格斯特拉，J.A.）。；Klop，J.W.，（（ACP_τ）：过程规范的通用公理系统（1987），计算机科学/软件技术部，CWI：计算机科学/计算机技术部，荷兰阿姆斯特丹CWI），报告CS-R8725
[5] Brookes，S.D.，《关于CCS和CSP的关系》， （第十届国际自动化、语言和编程会议论文集。第十届自动化、语言与编程国际会议论文集，西班牙巴塞罗那明，巴塞罗那，西班牙，《计算机科学讲义》，第154卷（1983年），施普林格-弗拉格：施普林格纽约/柏林），83-96·Zbl 0516.68024号
[6] 布鲁克斯，S.D。；霍尔，C.A.R。；Roscoe，A.W.，《通信顺序过程理论》，J.Assoc.Compute。机器。，第3期第31期，第560-599页（1984年）·Zbl 0628.68025号
[7] 布鲁克斯，S.D。；Rounds，W.C.，编程逻辑诱导的行为等效关系， （第十届国际自动化、语言和编程会议论文集。第十届自动化、语言与编程国际会议论文集，西班牙巴塞罗那明，巴塞罗那，西班牙，《计算机科学讲义》，第154卷（1983年），施普林格-弗拉格：施普林格纽约/柏林），97-108·Zbl 0536.68042号
[8] Chandra，A.K.和Stockmeyer，L.J。;Chandra，A.K.和Stockmeyer，L.J。
[9] 科珀史密斯，D。；Winograd，S.，《通过算术级数进行矩阵乘法》，（第19届美国计算机学会计算理论研讨会论文集，第19届ACM计算理论研讨会，纽约（1987）），1-6
[10] Hennessy，M.C.B.，验收树，J.Assoc.Compute。机器。，34，第4期，896-928（1985）·兹伯利0633.68074
[11] 轩尼诗，M.C.B。；Milner，R.，《不确定性和并发性的代数定律》，J.Assoc.Compute。机器。，32，第1期，137-161（1985）·Zbl 0629.68021号
[12] Hopcroft，J.E.，《有限自动机中最小化状态的（n）log（n）算法》，（Kohavi，Z.；Paz，a.，《机器与计算理论》（1971），学术出版社：加州圣地亚哥学术出版社/纽约），189-196·Zbl 0293.94022号
[13] 霍普克罗夫特，J.E。；Ullman，J.D.（自动化理论、语言和计算导论（1979），Addison-Wesley：Addison-Whesley Reading，MA）·Zbl 0426.68001号
[14] Kanellakis，P.C。；Smolka，S.A.，CCS表达式、有限状态过程和三个等价问题，（第二届分布式计算原理年度ACM研讨会论文集，第二届ACM分布式计算原理年会论文集，加拿大蒙特利尔（1983）），228-240
[15] Kanellakis，P.C。；Smolka，S.A.，《通信过程网络中的合作与对抗分析》，《算法》，3421-450（1988）·Zbl 0636.68023号
[16] Milner，R.，《通信系统的微积分》（计算机科学讲义，第92卷（1980），Springer-Verlag:Springer-Verlag纽约，柏林）·Zbl 0452.68027号
[17] Milner，R.，《同步与异步演算》，Theoret。计算。科学。，25, 267-310 (1983) ·Zbl 0512.68026号
[18] Milner，R.，一类正则行为的完整推理系统，J.Compute。系统科学。，28, 439-466 (1984) ·Zbl 0562.68065号
[19] 德尼古拉（de Nicola），R。；Hennessy，M.C.B.，过程等效性测试，定理。计算。科学。，34，第1期，第83-133页（1984年）·Zbl 0985.68518号
[20] 佩奇，R。；Tarjan，R.E.，三分区优化算法，SIAM J.Compute。，第16期，第6期，973-989（1987）·Zbl 0654.68072号
[21] Salomaa，A.，《正则事件代数的两个完整公理系统》，J.Assoc.Compute。机器。，13，第1期，158-169（1986）·兹伯利0149.24902
[22] Sanderson，M.T.，（CCS验证技术（1982），爱丁堡大学计算机科学系），内部报告CST-19-82
[23] Smolka，S.A.，《通信有限状态过程分析》（1984年布朗大学计算机科学系博士论文：罗得岛州普罗维登斯布朗大学计算机系），技术报告CS-84-05
[24] Stockmeyer，L.J。；Meyer，A.R.，需要指数时间的单词问题，（第五届美国计算机学会计算理论研讨会论文集，第五届ACM计算理论研讨会，德克萨斯州奥斯汀（1973）），1-9·Zbl 0359.68050号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。