Nondeterministic Execution
[
Front page
|
List of pages
|
Search
|
Recent changes
|
Backup
|
Help
]
Start:
//[[Documentation]]
''NOTE:'' This page describes nondeterministic search usi...
*Nondeterministic Execution Mode in LMNtal Java
//(A fuller description will be available soon.)
Version 0.8 (and up) supports '''nondeterministic executi...
that explores all possible reduction paths.
By specifying the ''-nd'' option to ''lmnr(_cyg)'', the s...
possible reduction paths and displays the reduction graph...
representing all possible states and state transition).
A powerful feature of the nondeterministic execution mode...
it will return a '''finite''' cyclic
graph for a '''diverging''' program as long as the set of...
states is finite.
By specifying both the ''--interactive'' option and the '...
the system displays possible results (= final states) of ...
in Prolog systems).
The system comes also with the "'''all solutions'''" feat...
>nd.exec{ { ... '''LMNtal program here''' ... }* }
will be reduced to a reduction graph of the (Flat) LMNtal...
by the double membranes.
** Restrictions
- Nondeterministic execution mode is currently applicable...
'''Flat''' LMNtal programs, i.e.,
progrmas that do not use membranes.
- Nondeterministic execution cannot be used with the ''--...
option; the program must be compiled first (no ''--nd'' o...
at compile time) and then be run with the ''--nd'' option.
- Nondeterministic execution mode cannot be used with the...
End:
//[[Documentation]]
''NOTE:'' This page describes nondeterministic search usi...
*Nondeterministic Execution Mode in LMNtal Java
//(A fuller description will be available soon.)
Version 0.8 (and up) supports '''nondeterministic executi...
that explores all possible reduction paths.
By specifying the ''-nd'' option to ''lmnr(_cyg)'', the s...
possible reduction paths and displays the reduction graph...
representing all possible states and state transition).
A powerful feature of the nondeterministic execution mode...
it will return a '''finite''' cyclic
graph for a '''diverging''' program as long as the set of...
states is finite.
By specifying both the ''--interactive'' option and the '...
the system displays possible results (= final states) of ...
in Prolog systems).
The system comes also with the "'''all solutions'''" feat...
>nd.exec{ { ... '''LMNtal program here''' ... }* }
will be reduced to a reduction graph of the (Flat) LMNtal...
by the double membranes.
** Restrictions
- Nondeterministic execution mode is currently applicable...
'''Flat''' LMNtal programs, i.e.,
progrmas that do not use membranes.
- Nondeterministic execution cannot be used with the ''--...
option; the program must be compiled first (no ''--nd'' o...
at compile time) and then be run with the ''--nd'' option.
- Nondeterministic execution mode cannot be used with the...
Page: