Situated agents are very difficult to model because they have close interactions with the environment they belong. The emphasis on an agent's connection to its environment is an important change from that of traditional theories of representation and control. The methodology is based on the situated automata theory. knowledge is an effective way of describing the relationship between agent and environment

The important aspect of situated automata theory is modeling systems such that, for each state of the environment E, there will be a corresponding state of the automaton M (by Carneiro). I understood that a TerraME agent is situated because of the execution of the jump conditions until it stabilizes. Therefore the internal state will be according to the state of the environment. One way to view this relationship is in terms of a correlation between states of the agent and states of the external world.

We can construct arbitrarily complex machines from machines of two primitive types: pure functions and delay. Pure functions consists of two locations and specify the values of one location as a function of the other. Delay machines also consists of two locations, but constrain the values of the output location to be the values that the input location had on the previous tick.