filipg/amu_automata_2011 — Issue #190: Napisać procedurę determinizacji automatu niedeterministycznego
Author: filipg
Created: 2011-11-04 08:18:05+00:00
State: open

Tzn. w klasie `AutomataOperations` dodać metodę:

determinize(AutomatonSpecification nfa, DeterministicAutomatonSpecification resultDfa);

która dla niedeterministycznego automatu (można założyć, że bez epsilon-przejść) `nfa` tworzy równoważny automat deterministyczny. Wynikowy automat powinien powstać przez rozbudowanie automatu `resultDfa` (można założyć, że na początku jest on pusty).