範疇文法を用いた形式言語記述体系の提案
1995 年 12 巻 2 号 p. 2_142-2_156
詳細
1995 年 12 巻 2 号 p. 2_142-2_156
本論文では,範疇文法(Categorial Grammar)を拡張したものに基礎を置いた,形式言語の記述体系Categorial Attributed Grammar (CAG)を提案する.CAGの受理する言語が,ε-規則を持たないCFGと等価であることを示し,記述力が整定義属性文法(Well-defined Attributed Grammar;WAG)と等価であることを示す.属性文法の場合,与えられた記述が整定義(well-defined)であるかどうかは,一般には指数時間かかる判定が必要であるが,CAGは意味規則(semantic rule)が型付きラムダ項(typed λ-term)によって記述されるので,そのような判定をする必要がない体系である.
