Category:Definitions/Examples of Abstract Machines