A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

Consistency of multidimensional combinatorial substitutions



Tekijät: Jolivet T, Kari J

Kustantaja: ELSEVIER SCIENCE BV

Julkaisuvuosi: 2012

Journal: Theoretical Computer Science

Tietokannassa oleva lehden nimi: THEORETICAL COMPUTER SCIENCE

Lehden akronyymi: THEOR COMPUT SCI

Vuosikerta: 454

Aloitussivu: 178

Lopetussivu: 188

Sivujen määrä: 11

ISSN: 0304-3975

DOI: https://doi.org/10.1016/j.tcs.2012.03.050


Tiivistelmä
We prove that it is undecidable whether a two-dimensional substitution is consistent or overlapping, and we provide practical algorithms to decide these properties in some particular cases. (C) 2012 Elsevier B.V. All rights reserved.



Last updated on 2024-26-11 at 23:52