艾哈迈德·博阿贾尼；泰瑟·图利 过程重写系统的可达性分析。 （英语） Zbl 1205.68183号 Pandya，Paritosh K.（编辑）等人，FST TCS 2003：软件技术和理论计算机科学基础。第23届会议，印度孟买，2003年12月15日至17日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20680-9/pbk）。莱克特。票据计算。科学。第2914、74-87页（2003年）。 概要：过程重写系统（Process Rewrite Systems，简称PRS）包含许多常见（无限状态）模型，如下推系统和Petri网。它们可以作为带有过程调用的并行程序（多线程程序）的形式化模型。我们开发了自动机技术，允许建立PRS模各种项结构等价（对应于顺序合成和并行合成算子的属性）的可达配置的前向/后向集的有限表示。我们证明，在一些情况下，这些可达集可以用多项式大小的有限自下而上树自动机表示。当考虑到并行组合的结合性和交换性时，有时需要基于（一类可判定的）计数器树自动机的非规则表示。有关整个系列，请参见[Zbl 1029.00064号]. 引用于13文件 MSC公司： 第68季度第42季度 语法和重写系统 68号30 软件工程的数学方面（规范、验证、度量、需求等） 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}和\textit{T.Touili}，莱克特。票据计算。科学。2914，74-87（2003年；兹bl 1205.68183） 全文： 内政部