Implementation [of symbolic systems]

The evolution for t steps of the first symbolic system shown can be implemented simply by

NestList[#/.ℯ[x_][y_]  x[x[y]]&, init, t]