Finite Approximation Analysis of One Dimensional Cellular Automata
スポンサーリンク
概要
- 論文の詳細を見る
We propose a finite approximation analysis of one dimensional cellular automata. We regard a configuration as a two-way infinite path of states so that 2LTL formulas can be used to express its properties. We select a finite list of 2LTL formulas and define an abstract cell by a list of truth values corresponding to the formulas. In our method a generation sequence of finite approximate Kripke structures is constructed by using abstract cells. We can analyze a one dimensional cellular automaton by the generation sequence.
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)