文章基本信息
- 标题：一次元セルオートマトンの有限近似解析
- 本地全文：下载
- 作者：高橋 孝一 ; 田辺 良則 ; 関澤 俊弦 等
- 期刊名称：コンピュータ ソフトウェア
- 印刷版ISSN：0289-6540
- 出版年度：2006
- 卷号：23
- 期号：3
- 页码：3_147-3_157
- DOI：10.11309/jssst.23.3_147
- 出版社：Japan Society for Software Science and Technology
- 摘要：
一次元セルオートマトンの有限近似解析法を提案する．一次元に並んだセル全体を両方向無限状態列とみなすことによって，セルの性質を2方向LTLを使って表現することができる．有限個の2方向LTL式を選び，その真偽値の列を抽象セルと呼ぶ．抽象セルを用いて有限近似Kripke構造の世代列を構成する方法を与える．これによって一次元セルオートマトンの有限近似解析を行うことができる．
