Markov chain model of machine code program execution and halting Riccardo Poli and Bill Langdon Department of Computer Science University of Essex R. Poli - University of…