[[Documentation]]

*Nondeterministic Execution Mode

(A fuller description will be available soon.)

Version 0.8 (and up) supports nondeterministic execution mode
that explores all possible reduction paths.

By giving the -nd option to lmnr(_cyg), the system computes all
possible reduction paths and displays the reduction graph (a graph
representing all possible states and state transition).
The nondeterministic execution mode will return a finite cyclic
graph for a diverging program as long as the set of possible
states is finite.

By giving the --interactive option in addition to the -nd option,
the system displays possible results of execution one by one
(as most Prolog systems do) in response to the ";" (semicolon) characters
entered by the user.

The system comes also with the "all solutions" feature.  The process

 nd.exec{ { ... LMNtal program here ... }* }

will be reduced to a reduction graph of the (Flat) LMNtal program enclosed
by the double membranes.


** Restrictions

- Currently available only for Flat LMNtal programs, i.e.,
progrmas that do not use cells (membranes).

- Nondeterministic execution cannot be used with the --interpret
option.
Front page List of pages Search Recent changes Backup   Help   RSS of recent changes