Event-based NFA to DFA automaton conversion

The event-based NFA to DFA automaton conversion takes an non-deterministic automaton. The algorithm produces a deterministic automaton with the same language.

The tool takes a .cif file containing a single automaton. The output is a .cif file containing a deterministic automaton that is language equivalent with the input automaton. The resulting automaton has the same kind as the input automaton.

Starting the NFA to DFA automaton conversion tool

The tool can be started in the following ways:

  • In Eclipse, right click a .cif file in the Project Explorer tab or Package Explorer tab and choose CIF synthesis tools  Event-based synthesis tools  Apply NFA to DFA automaton conversion…​.

  • In Eclipse, right click an open text editor for a .cif file and choose CIF synthesis tools  Event-based synthesis tools  Apply NFA to DFA automaton conversion…​.

  • Use the cifnfadfa tool in a ToolDef script. See the scripting documentation and tools overview page for details.

  • Use the cifnfadfa command line tool.

Options

Besides the general application options, this application has the following options:

  • Input file: The absolute or relative local file system path to the input CIF specification.

  • Output file: The absolute or relative local file system path to the output CIF specification. If not specified, defaults to the input file path, where the .cif file extension is removed (if present), and a _dfa.cif file extension is added. The dfa part of the default extension depends on the Result name option.

  • Result name: The name to use for the projected automaton. If not specified, defaults to dfa. Also affects the Output file option.