HAL: hal-00690285, version 1

arXiv: 1204.4988

Detailed view

Export this paper BibTeX - EndNote - TEI - RefWorks -

Hardness of conjugacy and factorization of multidimensional subshifts of finite type.

Jeandel Emmanuel 1, Pascal Vanier 2

(2012-04-22)

We investigate here the hardness of conjugacy and factorization of subshifts of finite type (SFTs) in dimension $d>1$. In particular, we prove that the factorization problem is $\Sigma^0_3$-complete and the conjugacy problem $\Sigma^0_1$-complete in the arithmetical hierarchy.

1:	Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM)
	CNRS : UMR5506 – Université Montpellier II - Sciences et techniques
2:	Laboratoire d'informatique Fondamentale de Marseille (LIF)
	CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I

Research team: INFO/ESCAPE : Systèmes complexes, Automates et Pavages

Subject

:

Computer Science/Discrete Mathematics

Keyword(s): Subshift of finite type – factorization – conjugacy – arithmetical hierarchy – computability – tilings – SFT

hal-00690285, version 1

http://hal.archives-ouvertes.fr/hal-00690285

oai:hal.archives-ouvertes.fr:hal-00690285

From: Pascal Vanier <>

Submitted on: Monday, 23 April 2012 08:15:56

Updated on: Monday, 23 April 2012 10:00:46