• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2008, Vol. 30 ›› Issue (11): 92-94.

• 论文 • 上一篇    下一篇

格值树自动机与格值上下文无关树文法的等价性

杨文武[1] 李永明[1] 孙丹丹[2]   

  • 出版日期:2008-11-01 发布日期:2010-05-19

  • Online:2008-11-01 Published:2010-05-19

摘要:

本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下,树自动机和上下文无关树文法是等价的。同时给出了构造正规形式的等价文法的方法。

关键词: 格半群 树自动机 上下文无关树文法 正规形式 等价文法

Abstract:

In this paper, the definitions of fuzzy tree automata and fuzzy context-free tree grammars are extended to a more general lattice-ordered monoid. It i  s shown that they are equivalent in the sense of accepting and generating languages. Meanwhile, a method to construct a normalized form for a lattice-va  lued context-free tree grammar is presented.

Key words: lattiee-ordered monoid, tree automata, context-free tree grammar, normalized form, equivalent grammar