Embodiment of formal languages

An embodiment is a simulation program in which particular models are defined using a formal language that represents processes in the real world. The motivation for such programs comes from the increasing use of formal languages as modelling tools; examples are given of applications to growth, behaviour, ecosystems, and factories. Embodiments of key theoretical concepts such as directed graphs, automata, and cellular automata, have many potential uses, including simplifying the development of simulation models; permitting greater use of formal languages as modelling tools; and stimulating the development of theory in particular areas of application.