## Equivalence Problems in a Model of Computation

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: L_{2} := F(L_{2}, L_{3})

120 Great graphs.

Sergey Vartanov, 2007–2020