Backup diff of LMNtal(No. 5)

The added line is THIS COLOR.
The deleted line is THIS COLOR.
*LMNtal

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 

-arithmetics,
-modules,
-nondeterministic execution (exhaustive search),
-foreign-language interface to Java,
-visualizer,
-read-eval-print loop,
-optimizer,
-redex/rule selection strategies, and
-libraries.

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

http://www.ueda.info.waseda.ac.jp/lmntal/image/diagrams-low.png 

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: lang _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};
//#comment
Backup diff of LMNtal (No. 5)
