added documentation for Abstract_Machine class