オートマトンは定理自動証明や計算モデル解析等で多用され、オートマトンの動作を
直観的に把握することを支援するシステムは有用である。本研究では、ユーザーが与
えたオートマトンの定義から状態図を描画するライブラリを設計、実装する。
本ライブラリは2つの部分から成っている。1つは、ユーザがオートマトンの定義を
編集するためのユーザインタフェース部のライブラリである。もう1つは、ユーザイ
ンタフェース部で与えられたオートマトンの定義に従い、状態遷移図を描画するため
のライブラリであり、機能として状態の自動配置・ズーム機能・遠近感のある状態表
示などを備えている。また描画の表示形式は、フレーム及びTEX 形式のファイルであ
る。この2つの部分からなるライブラリを用いて、ユーザが編集したオートマトン定
義を視覚的に分かりやすく表示するシステムを実現する。実装にはjavaのアプリケー
ションを用いる。