Fuzzy ω正则语言的注记

定义Σω上的ω-Nerode等价关系的符号,并且定义了Σ上Fuzzy前缀逆相关ω-语言和左逆封闭语言,在这些定义的基础上,得到了Σ上Fuzzy前缀逆相关ω-语言是Fuzzyω正则语言的充分必要条件是由L定义的ω-Nerode等价关系的指数有限,Σ上Fuzzyω正则语言可以表示成Σω上一些具有有限指数的左不变等价关系的某些等价类的并集。因而在由前缀逆相关ω-语言或左逆封闭ω语言组成的ω-语言类中,Fuzzyω正则语言的代数特征就可从代数和集合论的观点给出。这为进一步研究Fuzzy有限状态自动机和Fuzzy正则语言奠定了基础。