AbstractDNA、RNA、あるいは蛋白質等の生物学的データの構造予測問題を、計算機科学的な手法で解決するためにまず最も重要となるのは、それらの構造を表現するためのモデルを提案することである。本研究では、形式言語理論の枠組を援用することにより、核酸配列の構造、あるいは蛋白質の構造を表現するための形式的なモデルを提案することを第一の目的とした。上記の生物学的配列には、しばしば水素結合などの力学的結合を通して、一次元的には比較的離れた配列上の分子が互いに干渉し合っている構造が見られ、しかも、そういった構造要素が生物学的に重要な機能を担っていると考えられる場合が多い。RNA配列では、シュードノット構造であり、アミノ酸配列(蛋白質)では、β-シート構造などがそれに相当する。dpendency)を持つ構造と名づけ、それらを表現するための形式文法を提案した。提案した文法は、タグ付き木文法と呼ばれる。これは、木文法を拡張したものであり、その言語理論的な特徴が解析され、交差依存性を持つ生物学的配列を表現するのに十分な能力を持つことが示された。本研究では、その構文解析アルゴリズムを開発して、実際にインプリメントすることにより、本手法が、交差依存性を含むような構造要素を同定するのに有効であることが確認された。行っていく予定である。