Language’s
Abstract Machine
This machine supports creation,
modification and elimination events. Each one of them transform
an entity from current state to another state individually or
collectively.
This machine works as a control
and application mechanism of BR. It is in charge of constraining the
inappropriate application of the transformations through a
state control mechanism.