LMNtal (pronounced "elemental") is a concurrent language based on
hierarchical graph rewriting.  It features:

-rule-based multiset rewriting,
-connectivity represented using 1-to-1 links,
-hierarchy represented using membranes,
-locality of rewrite rules,
-dynamic process/rule migration,
-graphical view of programs and computation,
-uniform treatment of processes and data,
-and so on.

An implementation (a translator into intermediate code and
a runtime system) running on a Java platform is available.
It features 

-nondeterministic execution (exhaustive search),
-foreign-language interface to Java,
-read-eval-print loop,
-redex/rule selection strategies, and

The following figures illustrate some diagrams that can be
represented and handled nicely in LMNtal:


The language and the implemenation has been developed since 2002 by
the LMNtal team, Dept. of Computer Science, Waseda University.

//**Sample Input 1
//    a,a,a,a,a,a, (a,a :- {a}), ({$p,a},{$q} :- $p,$q) 
//**Sample Input 2
//[[Download]] (append.lmn)

mailto: lmntal _AtSign_ ueda.info.waseda.ac.jp

//--started to copy contents -- [[nakajima]] &new{2004-01-30 (Fri) 22:13:40};
//--edited the menubar to hide titles written in EUC-JP -- [[nakajima]] &new{2004-02-01 (Sun) 21:33:05};
//--added edit auth -- [[nakajima]] &new{2004-02-03 (Tue) 17:47:44};
//--new skin installed -- [[nakajima]] &new{2004-02-13 (Fri) 17:19:23};

Front page List of pages Search Recent changes Backup   Help   RSS of recent changes