搜索结果: 1-2 共查到“理学 decidability”相关记录2条 . 查询时间(0.062 秒)
Non-Uniform Cellular Automata: classes, dynamics, and decidability
cellular automata non-uniform cellular automata decidability symbolic dynamics
2011/10/9
Abstract: The dynamical behavior of non-uniform cellular automata is compared with the one of classical cellular automata. Several differences and similarities are pointed out by a series of examples....
For a fixed infinite structure with finite signature , we study the following computational problem: Input are quantifier-free first-order -formulas 0, 1, . . . , n that define relat...