filipg/amu_automata_2011 — Issue #541: Opracować klasę, która konwertuje deterministyczny automat skończenie stanowy do wyrażenia regularnego
Author: filipg
Created: 2012-01-11 07:39:09+00:00
State: open
Labels: 12 punktów, regexps

Można założyć, że wejściowy automat zawiera tylko przejścia typu`CharTransitionLabel`.

Algorytm został dokładnie opisany w książce Hopcrofta, Motwaniego i Ullmana, "Wprowadzenie do teorii automatów, języków i obliczeń", s. 87-91.