×

从线性算术约束构造自动机。 (英语) Zbl 0964.68082

Graf,Susanne(ed.)等人,《系统构建和分析的工具和算法》。第六届国际会议,TACAS 2000。作为欧洲软件理论与实践联合会议的一部分,2000年3月25日至4月2日在德国柏林举行,会议记录。柏林:斯普林格。选择。笔记计算。科学。1785年,第1-19页(2000年)。
摘要:本文综述了从线性算术约束构造自动机的算法。它指出了一种情况,即所构造的自动机的特殊结构允许使用线性时间确定过程。此外,通过理论分析和实验表明,构造自动机的特殊结构使得自动机操作的通常上界具有很大的超压性。
整个系列请参见[Zbl 0935.00048].

理学硕士:

68Q45号 形式语言与自动机
03D05年 自动机与形式文法与逻辑问题
03B44号 时态逻辑
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用