Language’s
Abstract Machine
Insert
Engine
Delete
Engine
Update
Engine
Transformation
State
Now registry
Old registry
New tape
New registry
Old tape
Now tape
State control
mechanism
It has many devices for executing the specifications
produced with this language.