担当：真隅　
日時：5/12(木)15：30〜
場所：3棟2階小スペースゼミ室
内容：論文紹介

紹介論文：Y.Sato and T.Ikegami, "Nonlinear Computation with Switching Map
Systems", Journal of Universal Computer Science, 6:9, p881-894, (2000).

概要：本論文では、力学系に基づいた計算のモデルについて調べた。具体的には、
切り換え写像系というクラスの力学系を用いた計算のモデルを導入し、その性質
を調べた。そして、baker's map によって構成された切り換え写像系による計算
モデルがチューリング機械を emulate できることを示し、形式言語のクラスに対
応した４種類のオートマトンを実際に構成することによって具体例を示した。さ
らに、非双曲性を持った写像であるエノン写像を用いてチューリング機械の基本
動作を構成することによって、非線形性を利用した新たな計算モデルの構築を試
みた。