LMNtal: The unifying programming language based on hierarchical graph rewriting

Atsuyuki Inui*, Shintaro Kudo, Koji Hara, Ken Mizuno, Norio Kato, Kazunori Ueda

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


LMNtal is a simple language model based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. The major goals of LMNtal have been to unify various computational models addressing multiset rewriting, concurrency and mobility, and at the same time to provide a practical programming language based on hierarchical graph rewriting and demonstrate its versatility. The purpose of this paper is to present the aspects of LMNtal as a full-fledged programming language and demonstrate its expressive power using a number of examples. We have designed important language features such as arithmetics, rule application control, modularity and foreign-language interface and integrated them into the hierarchical graph rewriting model. To demonstrate the expressive power of the language, we have successfully encoded diverse related computational models including the λ-calculous, the π-calculus, the ambient calculus and CHR and run them on our LMNtal system.

Original languageEnglish
Pages (from-to)124-150
Number of pages27
JournalComputer Software
Issue number1
Publication statusPublished - 2008 Jun 26

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'LMNtal: The unifying programming language based on hierarchical graph rewriting'. Together they form a unique fingerprint.

Cite this