Brzozowski引入了正则导数的概念表达。它们可以用于非常简单的常规表达式匹配算法。苏尔兹曼和卢聪明地为了处理POSIX匹配，扩展了该算法，这是常规的基本消歧策略lexers中需要的表达式。他们的算法生成POSIX值，用于编码规则表达式匹配字符串，即字符串的哪一部分由正则表达式的哪个部分匹配。在这个本文给出了POSIX值的归纳定义是并显示（i）这样的值是唯一的（对于给定的正则表达式和字符串匹配）和（ii）SulzmannLu的算法总是生成这样的值（前提是正则表达式与字符串匹配）。这个可以容纳也包括优化。最后我们证明了这一点（iii）我们对POSIX值的归纳定义是等价的Okui和Suzuki的另一个定义根据值的排序。