尤金·亚萨林;奥德·马勒;阿米尔·普努利 关于时间自动机和数字电路中延迟的离散化。 （英语） Zbl 0933.94045号 Sangiorgi，Davide（编辑）等人，CONCUR’98。并发理论。第九届国际会议，法国尼斯，1998年9月8日至11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1466, 470-484 (1998). 摘要：作者解决了以下问题：“给定一个由门组成的数字电路，其实值延迟在整数区间内，有没有一种方法可以在保持电路定性行为的同时离散时间？”J.A.布尔佐夫斯基和C.-J.H.西格[异步电路，Springer（1994）]。当“保持定性行为”被严格解释为具有所有原始事件序列及其原始顺序时，他们得到了以下两个结果：1）对于输入只改变一次的非循环（组合）电路，答案是肯定的：存在一个常数\（\δ\），这取决于电路中可能发生的最大事件数，因此，如果它们限制所有事件以\（\delta \）的倍数发生，它们仍然保留定性行为。2） 对于循环电路，答案是否定的：具有三个门的简单电路可以表现出任何离散化都无法捕捉到的定性行为。然而，作者表明，保存的概念较弱，类似于T.Henzinger和Z.Manna和A.普努利[数字时钟有什么好处？，收录于W.Kuich（ed.），Proc.ICALP’92，Lect.Notes Compute.Sci.623，545-558（1992）]，允许在许多情况下使用\（δ=1\）验证离散电路，以便验证结果在密集时间有效。关于整个系列，请参见[Zbl 0895.00051号]. 引用于19文件 MSC公司： 94立方厘米 切换理论，布尔代数的应用；布尔函数（MSC2010） 关键词：时间自动机;数字电路;实际值延迟 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人，Lect。注释计算。科学。14661470-484（1998年；兹bl 0933.94045）