Up

Equivalence Problems in a Model of Computation

Equivalence Problems in a Model of Computation
1 · 2 — 4 — 120

1 Questions: are programs equivalent, if program fail to halt... 2 Halting problem. 4 Presented model of computation: storage divided up into a finite number of discrete locations of fixed domain. Typical instruction: L2 := F(L2, L3)

120 Great graphs.

Sergey Vartanov, 2007–2020