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: L2 := F(L2, L3)
120 Great graphs.
Sergey Vartanov, 2007–2020