組文脈自由文法に基づくプログラミング言語の実用的処理系の作成

1990 Fiscal Year Annual Research Report

• Project/Area Number: 01880006
• Research Institution: Institute Information Sciences and Electronics University of Tsukada
• Principal Investigator: 中田 育男 筑波大学, 電子情報工学系, 教授 (70133022)
• Co-Investigator(Kenkyū-buntansha): 山下 義行 東京大学, 大型計算機センター, 助手 (20220353) ; 井田 哲雄 筑波大学, 電子情報工学系, 助教授 (70100047) ; 佐々 政孝 筑波大学, 電子情報工学系, 教授 (20016182)
• Keywords: 組文脈自由文法 / 属性文法 / プログラミング言語 / 言語処理系 / 多入力属性文法 / LR構文解析 / 並列実行

Research Abstract

組文脈自由文法に基づくプログラミング言語として多入力属性文法を考案し、その処理系を試作した。
昨年までの研究で、組文脈自由文法が属性文法の拡張にもなっていることを示したが、従来の属性文法が一つの入力文法にその属性評価規則を与えるものであるのに対して、組文脈自由文法では複数個の入力文法が考えられる。一方、属性文法については、従来から効率のよい処理系を自動生成する研究が進んでいる。この両者の利点を生かすものとして、多入力属性文法を考案した。これによって、たとえばファイルのソ-ト/マ-ジのプログラムが属性文法的に記述できるようになる。この記法は、特に入力ファイルが複雑な階層的構造を持つときに有効である。
処理系としては、効率のよい構文解析/属性評価器として我々の研究室で研究開発されているLR構文解析をしながら属性評価をするプログラムを生成する処理系を利用することにした。ただし、多入力を扱うためには、個々の入力文法に対応するLR構文解析器を並列に動作させ、還元時に同期をとる必要がある。試作システムでは擬似並列実行でそれを実現した。

Research Products

• [Publications] 山下 義行: "属性文法における展開/畳み込み変換" コンピュ-タソフトウェア. 7. 158-172 (1990)
• [Publications] 山下 義行: "Coupled ContextーFree Grammarにおける展開/畳み込み変換" コンピュ-タソフトウェア. 7. 235-247 (1990)
• [Publications] 山下 義行: "項を扱う文脈自由文法への否定の導入" コンピュ-タソフトウェア.