玛格斯·维纳斯 符号有限自动机的应用。 （英语） Zbl 1298.68160号 Konstantinidis，Stavros（编辑），自动化的实现和应用。第18届国际会议，CIAA 2013，加拿大NS哈利法克斯，2013年7月16日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39273-3/pbk）。计算机科学课堂讲稿7982，16-23（2013）。 摘要：符号自动机理论将经典自动机理论提升为丰富的字母表理论。它通过将显式字母表替换为布尔代数隐式描述的字母表来实现。这种提升是如何影响为现代自动机理论奠定基础的基本算法的？这样做的动机是什么？我们在这里调查这些问题。在我们的方法中，我们使用最先进的约束求解技术进行自动机分析，这些技术具有表现力和效率，即使对于非常大和无限的字母表也是如此。我们展示了符号有限自动机如何支持从现代正则表达式分析到高级web安全分析的各种应用程序，而这些应用程序是以前的方法无法实现的。关于整个系列，请参见[Zbl 1268.68026号]. 引用于10文件 MSC公司： 65年第68季度 形式语言和自动机 05年3月 与逻辑问题相关的自动机和形式文法 PDF格式BibTeX公司 XML格式引用 \textit{M.Veanes}，莱克特。注释计算。科学。7982，16-23（2013；Zbl 1298.68160） 全文： DOI程序