×

最小有限状态自动机的增量构造和维护。 (英语) Zbl 1232.68080号

总结:J.达契克等[同上,第26号,第1、3至16条(2000年;Zbl 1232.68081号)]描述一种从字符串集构造增量最小、确定性、非循环有限状态自动机(字典)的方法。但非循环有限状态自动机有其局限性:例如,如果希望语言应用程序接受所有可能的整数或互联网地址,则相应的有限状态自变量必须是循环的。在本文中,我们描述了一种简单且同样有效的方法,用于修改任何最小有限状态自动机(无论是否为非循环的),以便在其接受的语言中添加或删除字符串;当执行字典维护时,这两种操作都非常重要,并且作为特殊情况解决了[loc.cit.]中所述的字典构造问题。这里提出的算法可以直接从有限状态自动机的交集和互补的传统教科书构造中推导出来;当一个有限状态自动机接受单个字符串时,这些算法利用自动机的交集操作所产生的特殊属性。

理学硕士:

65年第68季度 形式语言和自动机
91层20 语言学
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] 内政部:10.1162/089120100561601·兹比尔1232.68081 ·doi:10.1162/089120100561601
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。