局部语言（形式语言）

在数学中，局部语言是一种形式语言，对于这种语言，一个词的成员资格可以通过查看该词的xxx个和最后一个符号以及每个双符号子串来确定。等价地，它是一种由局部自动机（一种特殊的确定性有限自动机）识别的语言。从形式上看，如果存在A的子集R和S以及A×A的子集F，并且当且仅当w的xxx个字母在R中，w的最后一个字母在S中，且w中没有长度为2的因子在F中，则定义字母A上的语言L为局部语言。{displaystyle(RA{*}capA{*}S)setminusA{*}FA{*}.}。更一般地说，一个可测试的语言L是指一个词w在L中的成员资格只取决于前缀、后缀和长度为k的w的因子集；如果一个语言对某个k是可测试的，那么它就是局部可测试的。

A上的局部语言家族在相交和Kleene星下是封闭的，但在补集、联合或连接下不是封闭的。每个不包含空字符串的规则语言都是局部语言在严格字母变形下的图像。