Embodiment of formal languages

D. G. Green, R. H. Bradbury, S. J. Bainbridge

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)39-44
Number of pages6
JournalMathematics and Computers in Simulation
Issue number1-2
Publication statusPublished - Feb 1988
Externally publishedYes

Cite this