研究概要 |
DNA計算のためのDNA系列に関する理論を,情報理論的なアプローチで構築することを試みている.DNA計算で使用される系列は,計算の化学的プロセスがうまく進み,論理的な計算が意図した通りに行われるように,いくつかの制約を満たすことが要請される.本研究では,計算論的言語理論の立場から述べられていた,こうした制約に関する結果を情報理論的な立場から捉えなおし,結果を拡張した.これによって,情報理論的な解析方法がこの分野でも有用であることを示した. 具体的には,prefix-free制約とsuffix free制約について,情報理論的,より正確には記号力学系的な方法で容量を与えた.また,outfix-free制約とIntercode制約についても,同様に拡張を行った.DNA系列に含まれるGとCの割合を一定に保つことは,安定な科学的反応を得るために重要である.この制約が,入力制約を持つ通信路のための符号理論と密接な関係を持っていることを示した.この結果は,実際の符号もしくはDNA系列の集合を設計するとにも役立つと期待できる.
|