格值正则文法及其语言的性质

给出了(确定)格值正则文法与(确定)格值正则语言的定义．从一个新的角度，即文法的角度研究确定格值正则语言关于正则运算的封闭性，从而完善了格值正则语言的运算性质，并给出了格值正则文法与确定格值正则文法等价的条件．     

格值正则语言的逼近性质

文章主要在格半群L=[0,1]上研究了格值正则语言的逼近性质,从覆盖、拟正定等方面给出了格值正则语言可被正则语言逼近的充分或必要条件.     

格值自动机与语言

引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语言的特性与取值格代数性质的紧密联系.     

基于完全剩余格值逻辑上的半群（I）

该文定义了基于完全剩余格值逻辑上的半群的概念，在此逻辑框架下，给出了半群中的子群、正则子半群和完全正则子半群的结构，并讨论了它们的某些代数性质。     

基于完全剩余格值逻辑上的半群（Ⅰ）

该文定义了基于完全剩余格值逻辑上的半群的概念．在此逻辑框架下，给出了半群中的子群、正则子半群和完全正则子半群的结构，并讨论了它们的某些代数性质     

格值诱导空间的完全正则性

对一般的格值L,我们证明了:诱导空间是完全正则的,如果它的底空间是完全正则的.对适当的定义域L和值集I=[0,1]证明了:诱导空间是完全正则的,当且仅当它的底空间是完全正则的.     

上下文无关格值词语言研究

文章在格半群意义下，提出基于词计算的上下文无关格值文法，证明由其生成的格值词语言关于并与连接运算封闭，及其与乔姆斯基范式文法等价．     

基于完备剩余格值逻辑的下推自动机与上下文无关文法

引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等价性。通过此等价性,给出了L-值上下文无关语言的代数刻画和层次刻画,并证明了L-值上下文无关语言关于正则运算的封闭性。另外,提出了L-值上下文无关文法的概念,给出了与之等价的且带有经典开始符的L-值上下文无关文法。借此等价关系,讨论了L-值下推自动机与L-值上下文无关文法是等价的,并说明了在完备剩余格值逻辑意义下,可采用最左派生、最右派生、Chomsky范式或者Greibach范式中的任何一种来生成L-值上下文无关语言。     

基于格值命题逻辑系统LP(X)的不确定性推理

讨论了基于格值命题逻辑系统LP（X）的不确定性推理，证明了FMP和FMT等不确定推理规则，为进一步讨论语言值逻辑推理提供逻辑基础。     

Fuzzy正则语言注记

在形式语言和自动机理论研究中，Fuzzy语言显得特别重要，而Fuzzy正则语言是Fuzzy形式语言的核心部分，是自动机理论与实际相结合的一个桥梁。对Fuzzy正则语言的一些性质、Fuzzy有限状态自动机与Fuzzy正则语言间的关系进行了探讨。     

(Q)格值模型论的紧致性定理

对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了紧性致定理。     

模糊树语言与模糊树文法的等价性

考虑采用正则表达式,有限自动机和文法来描述,提出了模糊树正则表达式的概念,得到了模糊树正则语言的可识别性,并证明了模糊树语言是正则的充分必要条件,这为进一步讨论模糊树自动机奠定了基础.     

关于格值模型论中的条件(F′_1)和(F′_2)

本文在一定的条件下证明了L值逻辑的紧致性蕴涵(F’_1)和(F’_2),其推论说明了格值模型论与二值模型论之间存在着一些本质的区别.     

Fuzzy正则语言与Fuzzy正则文法的关系

通过对Fuzzy正则语言与Fuzzy正则文法的关系的讨论,得到了二者的等价关系,这是进一步研究Fuzzy正则语言与Fuzzy有限状态自动机的一个起点。     

交换Fuzzy正则语言注记

在探讨形式语言的交换性质的基础上,提出了AbelianFuzzy正则语言的概念,探讨了AbelianFuzzy正则语言在并、交和补算子下的封闭性,并得到了Fuzzy正则语言是半交换的的几个等价条件.由于Fuzzy正则语言的交换性质是形式语言之中一种较好的性质,对它的研究将有助于Fuzzy正则语言的机器实现.     

研究格值模型论的一种新方法

多值公式、模型及其他有关概念可以转化为相应的二值概念,这个过程是可逆的.因而在考虑格值问题时,就不必沿着二值的思路,只需先将它们转变为二值的,然后再把二值相应结果转变为多值.这个思路对考虑有关模型存在的问题很有效.     

格值命题逻辑系统LP(X)的语义归结方法

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。     

THE FINITE AUTOMATA OF EVENTUALLY PERIODIC UNIMODAL MAPS ON THE INTERVAL

For unimodal maps on the interval we prove that, if the kneading sequences (KS) are eventually periodic, then their formal languages are regular ones. The finite automata for such languages are constructed. Comparing with the languages generated by periodic KS, it is shown that the languages here are not finite complement languages.