Search - Archive ouverte HAL Access content directly

Filter your results

10 Results
Image document

Directional Dynamics along Arbitrary Curves in Cellular Automata

Martin Delacourt , Victor Poupet , Mathieu Sablik , Guillaume Theyssier
Theoretical Computer Science, 2011, 412, pp.3800-3821. ⟨10.1016/j.tcs.2011.02.019⟩
Journal articles hal-00451729v3
Image document

Rice's Theorem for µ-Limit Sets of Cellular Automata

Martin Delacourt
Luca Aceto, Monika Henzinger, Jiří Sgall. Automata, Languages and Programming, 6756, Springer, pp.89-100, 2011, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-22012-8_6⟩
Book sections hal-01957552v1
Image document

Finite State Transducers for Modular Möbius Number Systems

Martin Delacourt , Petr Kurka
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings, pp.323-334, 2012
Book sections hal-01957675v1
Image document

Characterisation of limit measures of higher-dimensional cellular automata

Martin Delacourt , Benjamin Hellouin de Menibus
Theory of Computing Systems, 2017, 61 (4), pp.1178-1213. ⟨10.1007/s00224-017-9753-1⟩
Journal articles hal-01719833v1
Image document

Rice's theorem for generic limit sets of cellular automata

Martin Delacourt
AUTOMATA 2021, Jul 2021, Marseille, France
Conference papers hal-03259515v1
Image document

μ-Limit Sets of Cellular Automata from a Computational Complexity Perspective

Laurent Boyer , Martin Delacourt , Victor Poupet , Mathieu Sablik , Guillaume Theyssier
Journal of Computer and System Sciences, 2015, 81 (8), pp.1623-1647. ⟨10.1016/j.jcss.2015.05.004⟩
Journal articles hal-00866094v2

The Unary Arithmetical Algorithm in Bimodular Number Systems

Petr Kurka , Martin Delacourt
2013 IEEE 21st Symposium on Computer Arithmetic, 2013
Book sections hal-01957722v1
Image document

Permutive one-way cellular automata and the finiteness problem for automaton groups

Martin Delacourt , Nicolas Ollinger
Computability in Europe, Jun 2017, Turku, Finland. ⟨10.1007/978-3-319-58741-7_23⟩
Conference papers hal-01436460v2
Image document

Real Time Language Recognition on 2D Cellular Automata: Dealing with Non-convex Neighborhoods

Martin Delacourt , Victor Poupet
Luděk Kučera, Antonín Kučera. Mathematical Foundations of Computer Science 2017, 4708, Springer Berlin Heidelberg, pp.298-309, 2007, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-74456-6_28⟩
Book sections hal-01957536v1
Image document

Construction of µ-limit Sets

Laurent Boyer , Martin Delacourt , Mathieu Sablik
Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.76-87
Conference papers hal-00542356v1