English Abstract machine Cited by user Hungryjacks77 on 31 May 2022 An abstract machine is a computer science theoretical model that allows for a detailed and precise analysis of how a computer system functions .