LMNtal (pronounced “
elemental”) is a simple language model based on hierarchical graph rewriting. It features and supports
– rule-based multiset rewriting,
– connectivity of nodes represented using logical variables,
– hierarchy of nodes represented using membranes,
– locality of rewrite rules,
– dynamic migration of processes (= hierarchical graphs) and rewrite rules,
– uniform treatment of processes and data,
– graphical view of computation,
and so on. Figure 1 shows examples of computation that can be encoded into LMNtal straightforwardly.