 |
|
|
|
| HAL: hal-00511950, version 1 |
| Detailed view |  Export this paper |
|
|
| Second Workshop on Non-Classical Models of Automata and Applications (NCMA 2010), Jena : Allemagne (2010) |
|
|
|
|
| Discrete Signal Machine via Pretopology - one step from signal machines to cellular automata |
|
|
| Maxime Senot 1Vincent Levorato 1 |
|
|
| (2010-08) |
|
|
|
| Signal machines are a model of computation with continuous space and time, generalizing discrete signals in cellular automata on an euclidean plane. In this paper, we define discrete signal machines which purpose is to discretize continuous space-time diagram of signal machines into signals and collisions rules in the discrete space-time Z×N by using notions of pretopology, a theory generalizing classical topology. The result is a definition of discrete signals and collisions based on neighborhoods in a pretopological space. It is a first step to obtain automatically cellular automata from signal machines. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) |
|
|
|
Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Logic in Computer Science |
| hal-00511950, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00511950 | |
| oai:hal.archives-ouvertes.fr:hal-00511950 | |
| From: Maxime Senot | |
| Submitted on: Thursday, 26 August 2010 17:12:04 | |
| Updated on: Monday, 6 September 2010 10:34:19 | |
