On Intuitionistic Fuzzy Context-Free Languages
On Intuitionistic Fuzzy Context-Free Languages
复制标题
论直觉模糊上下文无关语言
DOI：
10.1155/2013/825249
复制
发表时间：
2013-04
影响因子：
--
通讯作者：
Li, Chunquan
中科院分区：
文献类型：
--
作者：
Jin, Jianhua;Li, Qingguo;Li, Chunquan
以直觉模糊集为真值结构，提出了直觉模糊上下文无关文法（简称IFCFG）和最终状态下推自动机（IFPDA）的概念。然后，我们研究了直觉模糊可识别语言的代数刻画，包括分解形式和表示定理。通过引入广义子集构造方法，证明了直觉模糊简单下推自动机与直觉模糊简单下推自动机的等价性，并证明了直觉模糊可识别阶跃函数与直觉模糊简单下推自动机所接受的阶跃函数是一致的.证明了空栈直觉模糊下推自动机和IFPDA是等价于经典的
自动机理论此外，我们还介绍了基于直觉模糊集的乔姆斯基范式文法（IFCNF）和格雷巴赫范式文法（IFGNF）的概念。研究结果表明，由IFCFGs生成的直觉模糊上下文无关语言分别等价于IFGNF和IFCNFs生成的直觉模糊上下文无关语言，它们也等价于直觉模糊可识别阶跃函数.然后讨论了直觉模糊上下文无关语言族上的一些运算。最后，研究了直觉模糊上下文无关语言的泵引理。
Taking intuitionistic fuzzy sets as the structures of truth values, we propose the notions of intuitionistic fuzzy context-free grammars (IFCFGs, for short) and pushdown automata with final states (IFPDAs). Then we investigate algebraic characterization of intuitionistic fuzzy recognizable languages including decomposition form and representation theorem. By introducing the generalized subset construction method, we show that IFPDAs are equivalent to their simple form, called intuitionistic fuzzy simple pushdown automata (IF-SPDAs), and then prove that intuitionistic fuzzy recognizable step functions are the same as those accepted by IFPDAs. It follows that intuitionistic fuzzy pushdown automata with empty stack and IFPDAs are equivalent by classical
automata theory. Additionally, we introduce the concepts of Chomsky normal form grammar (IFCNF) and Greibach normal form grammar (IFGNF) based on intuitionistic fuzzy sets. The results of our study indicate that intuitionistic fuzzy context-free languages generated by IFCFGs are equivalent to those generated by IFGNFs and IFCNFs, respectively, and they are also equivalent to intuitionistic fuzzy recognizable step functions. Then some operations on the family of intuitionistic fuzzy context-free languages are discussed. Finally, pumping lemma for intuitionistic fuzzy context-free languages is investigated.
登录
查看更多内容
基于量子逻辑的自动机理论笔记
DOI：
10.1007/s11432-007-0020-y
发表时间：
2007-04
期刊：
Science in China Series F: Information Sciences
影响因子：
--
作者：
通讯作者：
--
基于格的模糊语法理论
影响因子：
4.1
作者：
Jin, Jianhua;Li, Qingguo
通讯作者：
Li, Qingguo
影响因子：
1.4
作者：
M. Ying
通讯作者：
M. Ying
DOI：
10.1109/tsmcb.2004.840457
发表时间：
2005-02
期刊：
IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)
影响因子：
--
作者：
Daowen Qiu
通讯作者：
Daowen Qiu
DOI：
10.1016/0020-0255(95)00167-0
发表时间：
1996
期刊：
Inf. Sci.
影响因子：
--
作者：
D. Malik;J. Mordeson;M. Sen
通讯作者：
D. Malik;J. Mordeson;M. Sen