#### Filter Results:

- Full text PDF available (31)

#### Publication Year

2004

2017

- This year (3)
- Last 5 years (22)
- Last 10 years (36)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Alexis Ballier, Bruno Durand, Emmanuel Jeandel
- STACS
- 2008

In this paper, we study the structure of the set of tilings produced by any given tile-set. For better understanding this structure, we address the set of finite patterns that each tiling contains. This set of patterns can be analyzed in two different contexts: the first one is combinatorial and the other topological. These two approaches have independent… (More)

- Vincent D. Blondel, Emmanuel Jeandel, Pascal Koiran, Natacha Portier
- SIAM J. Comput.
- 2005

We study the following decision problem: is the language recognized by a quantum finite automaton empty or nonempty? We prove that this problem is decidable or undecidable depending on whether recognition is defined by strict or nonstrict thresholds. This result is in contrast with the corresponding situation for probabilistic finite automata, for which it… (More)

- Emmanuel Jeandel
- Theory of Computing Systems
- 2005

We give a new, topological definition of automata that extends previous definitions of probabilistic and quantum automata. We then are able to prove in a unified framework that deterministic or non-deterministic probabilistic and quantum automata recognise only regular languages with an isolated threshold.

- Emmanuel Jeandel
- ICALP
- 2004

- Harm Derksen, Emmanuel Jeandel, Pascal Koiran
- J. Symb. Comput.
- 2005

We show that several problems which are known to be undecidable for probabilistic automata become decidable for quantum finite automata. Our main tool is an algebraic result of independent interest: we give an algorithm which, given a finite number of invertible matrices, computes the Zariski closure of the group generated by these matrices.

- Alexis Ballier, Emmanuel Jeandel
- JAC
- 2010

We know that tilesets that can tile the plane always admit a quasiperiodic tiling [4, 8], yet they hold many uncomputable properties [3, 11, 21, 25]. The quasi-periodicity function is one way to measure the regularity of a quasiperiodic tiling. We prove that the tilings by a tileset that admits only quasiperiodic tilings have a recursively (and uniformly)… (More)

- Emmanuel Jeandel, Pascal Vanier
- TAMC
- 2011

- Emmanuel Jeandel
- STACS
- 2014

We prove that the maximum speed and the entropy of a one-tape Turing machine are computable, in the sense that we can approximate them to any given precision . This is counterintuitive, as all dynamical properties are usually undecidable for Turing machines. The result is quite specific to one-tape Turing machines, as it is not true anymore for two-tape… (More)

- Emmanuel Jeandel, Guillaume Theyssier
- Developments in Language Theory
- 2009

We study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tilings. Conversely, we characterise logic fragments corresponding to various classes of infinite pictures (subshifts of finite type, sofic subshifts).

- Emmanuel Jeandel, Guillaume Theyssier
- Inf. Comput.
- 2013

Article history: Received 7 December 2009 Revised 24 June 2011 Available online 30 January 2013