Basic Properties for Sand Automata

机译：砂自动机的基本属性

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We prove several results about the relations between injec-tivity and surjectivity for sand automata. Moreover, we begin the exploration of the dynamical behavior of sand automata proving that the property of ultimate periodicity is undecidable. We believe that the proof technique used for this last result might turn out to be useful for many other results in the same context.

机译：我们证明了几个关于砂自动机造成的涉及和调节性关系的结果。此外，我们开始探索砂自动发展的动态行为，证明最终周期性的性质是不可判定的。我们认为，在同一上下文中，上次结果用于此最后结果的证明技术可能对许多其他结果有用。

著录项

来源
《International Symposium on Mathematical Foundations of Computer Science》|2005年||共20页
会议地点
作者
J. Cervelle; E. Formenti; B. Masson;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词
sand automata; reversibility; undecidability; ultimate periodicity;

机译：砂自动机;可逆性;不可思议;最终的周期性;

相似文献

外文文献
中文文献
专利

1. On Basic Properties of Jumping Finite Automata [J] . Vorel Vojtech International Journal of Foundations of Computer Science . 2018,第1期

机译：论跳跃有限自动机的基本性质
2. On the basic reproduction number and the topological properties of the contact network: An epidemiological study in mainly locally connected cellular automata [J] . P.H.T. Schimit, L.H.A. Monteiro Ecological Modelling . 2009,第7期

机译：关于接触网的基本繁殖数和拓扑特性：主要在局部连接的细胞自动机中的流行病学研究
3. Basic properties of quantum automata [J] . Gudder S. Foundations of Physics: An International Journal Devoted to the Conceptual Bases and Fundamental Theories of Modern Physics, Biophysics & Cosmology . 2000,第2期

机译：量子自动机的基本性质
4. Basic Properties for Sand Automata [C] . J. Cervelle, E. Formenti, B. Masson International Symposium on Mathematical Foundations of Computer Science(MFCS 2005); 20050829-0902; Gdansk(PL) . 2005

机译：自动喷砂机的基本属性
5. Linear sand automata: An investigation into topological properties [D] . Faulkner, Nicholas Ryan. 2011

机译：线性砂自动机：对拓扑特性的调查
6. On the basic reproduction number and the topological properties of the contact network: An epidemiological study in mainly locally connected cellular automata [O] . P.H.T. Schimit, L.H.A. Monteiro -1

机译：关于接触网的基本繁殖数和拓扑特性：主要在局部连接的细胞自动机中的流行病学研究
7. Basic properties for sand automata [O] . Cervelle, Julien, Formenti, Enrico, Masson, Benoît 2007

机译：自动喷砂机的基本特性
8. Statistical Properties of Cellular Automata in the Context of Learning and Recognition: Part 2, Inverting Local Structure Theory Equations to Find Cellular Automata with Specified Properties [R] . Gutowitz, H. A. 1988

机译：学习和识别背景下元胞自动机的统计特性：第二部分，反演局部结构理论方程，找出具有特定属性的元胞自动机

Basic Properties for Sand Automata

摘要

著录项

相似文献

相关主题

期刊订阅