马丁·伯格伦德；贝斯特，威廉；布林克·范德梅尔 形式化Boost POSIX正则表达式匹配。 （英语） Zbl 1477.68144号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 99-115 (2018). 摘要：尽管Perl-compatible正则表达式匹配器通常表现出最左贪婪语义的一些变体，但符合POSIX标准的正则表达式匹配程序是指定的最左最长语义。然而，POSIX标准留下了一些解释空间，Fowler和Kuklewicz已经做了实验工作来确认各种POSIX匹配器之间的差异。Boost库对POSIX标准有一个有趣的理解，它最大化了最左边的匹配，而不是正则表达式模式的子表达式，而是捕获组。在我们的工作中，我们提供了Boost语义的第一种形式化，并分析了使用Boost语义时正则表达式匹配的复杂性。关于整个系列，请参见[Zbl 1398.68027号]. 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：正则表达式匹配；POSIX公司 软件：促进；PCRE公司；佩尔；TRE公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Berglund}等人，Lect。注释计算。科学。11187，99-115（2018；Zbl 1477.68144） 全文： 内政部