搜索结果: 1-1 共查到“数理逻辑与数学基础 Decision problems”相关记录1条 . 查询时间(0.062 秒)
Decision Problems for Recognizable Languages of Infinite Pictures
Languages of infinite pictures recognizability by tiling systems decision problems unambiguity problem cardinality problems
2011/9/23
Abstract: Altenbernd, Thomas and W\"ohrle have considered in [ATW02] acceptance of languages of infinite two-dimensional words (infinite pictures) by finite tiling systems, with the usual acceptance c...