Atomistic Machine Model (Automata)

Let M be an atomistic model (Definition 20). An abstract machine model for simulating M is a construction, where there is an input tape for starting a simulating queue and an output tape to get the results.

The input tape and the output tape are vectors or specific objects (classes) in the tool. For defining the simulation process the way a test case is defined, one only needs to append the corresponding atoms one after another to the tape.