UNDECIDABILITY AND NONPERIODICITY FOR TILINGS OF PLANE

被引：389

作者：

ROBINSON, RM

机构：

来源：

关键词：

D O I：

10.1007/BF01418780

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：177 / &

共 9 条

[1]

BERGER R, 1966, 66 MEM AM MATH SOC

[2] TURING-MACHINES AND THE ENTSCHEIDUNGSPROBLEM [J].

BUCHI, JR .

[3] UNIVERSALITY OF TAG SYSTEMS WITH P EQUALS 2 [J].

COCKE, J ;

MINSKY, M .

[4] ENTSCHEIDUNGSPROBLEM REDUCED TO (UPSIDE-DOWN AEA) CASE [J].

KAHR, AS ;

MOORE, EF ;

WANG, H .

[5]

Konig D., 1927, ACTA LITT SCI REG U, V3, P121

[6]

Minsky M., 1967, COMPUTATION FINITE I

[7]

Robinson R.M., 1967, NOTICES AM MATH SOC, V14, P835

[8]

WANG H, 1961, AT&T TECH J, V40, P1

[9]

Wang H., 1963, MATH THEORY AUTOMATA, P23