This module allows users to convert a nondeterministic finite automata (NFA)
into an equivalent deterministic one (DFA) recognizing the same language.
To open the transformation algorithm window you must click on the button detAut of the working session menu.
The window is opened only if the automaton actually on the editing area is a nondeterministic one.
When the window is open, users can choose between a fast and a step conversion.
When the conversion is terminated users can insert the new deterministic automaton on the main window or clear it.
A safety control prevents from loosing the original nondeterministic automaton by mistake.
Back to Index