離散的システムの等価性判定アルゴリズムとその応用に関する研究

1988 Fiscal Year Annual Research Report

• Project/Area Number: 62550259
• Research Institution: The University of Electro-Communications
• Principal Investigator: 笠井 琢美 電気通信大学, 電気通信学部, 助教授 (70027382)
• Co-Investigator(Kenkyū-buntansha): 高橋 治久 電気通信大学, 電気通信学部, 講師 (90135418)
• Keywords: プッシュダウンオートマトン / 等価性判定アルゴリズム

Research Abstract

本年度は、等価性判定の応用に重点をおいて以下に述べる研究成果を得た。まず一方が空スタック受理式のDPDAで他方が実時間空スタック受理式のDPDAに対し、従来より開発してきた直接的分岐アルゴリズムによる等価性判定アルゴリズムを改良して一層の効率化を実現した。更に、このDPDA対に出力機構をつけた変換器(DPDT)に対する等価性判定アルゴリズムについて、自由群の性質を利用することにより一層の単純化・効率化に成功した。これによりDPDAの等価性判定手法をDPDTに対しても拡張することが一段と容易になった。
グラフにおける極大・最大クリーク抽出の効率のよいアルゴリズムを考案し最大時間計算量の評価を与えた。次に上記結果と関連して、確率プッシュダウンオートマトン(PPDA)の受理する言語のクラスに関する考察を行った。DPDAは非決定性プッシュダウンオートマトン(NPDA)の非決定性遷移に確率を付与したものである。等価性に関連して、PPDAとNPDAによって受理される言語のクラスが等しくないことを示した。等価性判定アルゴリズムの応用と関連して、ニューロンライクな素子を用いて、離散的システムを学習により自動構成する効率的な方法を提案した。従来のバックプロパゲーションによる学習アルゴリズムをKullback誤差関数を用いて効率化し、更に、最大誤差が出たときだけ学習を行うMax型の学習法を新たに導入し、従来型の学習アルゴリズムに比べて安定で早いアルゴリズムを得た。

Research Products

• [Publications] 若月、藤橋、富田: 電子通信学会論文誌DI. J72. (1989)
• [Publications] Tomita E.and Seino.K.: Theovetical Computer Science. 365. (1989)
• [Publications] 陳致中、笠井琢美: 電子通信学会論文誌D. J71-D. 766-773 (1988)