Showing 1–2 of 2 results for author: Zinoviadis, C

Hierarchy and Expansiveness in Two-Dimensional Subshifts of Finite Type

Authors: Charalampos Zinoviadis

Abstract: Using a deterministic version of the self-similar (or hierarchical, or fixed-point ) method for constructing 2-dimensional subshifts of finite type (SFTs), we construct aperiodic 2D SFTs with a unique direction of non-expansiveness and prove that the emptiness problem of SFTs is undecidable even in this restricted case. As an additional application of our method, we characterize the sets of direct… ▽ More Using a deterministic version of the self-similar (or hierarchical, or fixed-point ) method for constructing 2-dimensional subshifts of finite type (SFTs), we construct aperiodic 2D SFTs with a unique direction of non-expansiveness and prove that the emptiness problem of SFTs is undecidable even in this restricted case. As an additional application of our method, we characterize the sets of directions that can be the set of non-expansive directions of 2D SFTs. △ Less

Submitted 17 March, 2016; originally announced March 2016.

Comments: 72 pages, main body of the author's PhD Thesis, most of the results obtained in collaboration with Pierre Guillon

Report number: TUCS Dissertations No 209 MSC Class: 37B10; 37B50 ACM Class: F.1.1

Densities and entropies in cellular automata

Authors: Pierre Guillon, Charalampos Zinoviadis

Abstract: Following work by Hochman and Meyerovitch on multidimensional SFT, we give computability-theoretic characterizations of the real numbers that can appear as the topological entropies of one-dimensional and two-dimensional cellular automata. Following work by Hochman and Meyerovitch on multidimensional SFT, we give computability-theoretic characterizations of the real numbers that can appear as the topological entropies of one-dimensional and two-dimensional cellular automata. △ Less

Submitted 4 April, 2012; originally announced April 2012.

Comments: 10 pages + 8 pages appendix, cited in bib; published in CiE 2012

MSC Class: 37B15; 37B40; 37B50 ACM Class: F.1.1