首页    期刊浏览 2025年08月20日 星期三
登录注册

文章基本信息

  • 标题:The Domino Problem is Undecidable on Surface Groups
  • 本地全文:下载
  • 作者:Nathalie Aubrun ; Sebasti{'a}n Barbieri ; Etienne Moutot
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2019
  • 卷号:138
  • 页码:1-14
  • DOI:10.4230/LIPIcs.MFCS.2019.46
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We show that the domino problem is undecidable on orbit graphs of non-deterministic substitutions which satisfy a technical property. As an application, we prove that the domino problem is undecidable for the fundamental group of any closed orientable surface of genus at least 2.
  • 关键词:tilings; substitutions; SFTs; decidability; domino problem
国家哲学社会科学文献中心版权所有