filipg/amu_automata_2011 — Issue #85: Opracować efektywną implementację `AutomataSpecification` dla automatów deterministycznych
Author: filipg
Created: 2011-10-18 08:47:17+00:00
State: open

Implementacja ma uwzględniać tylko automaty deterministyczne, jeśli przy wywoływaniu metody `addTransition` powstanie niedeterminizm, powinien być wyrzucany wyjątek.

Implementacja - oprócz implementacji metod abstrakcyjnych z `AutomataSpecification` - powinna zawierać metodę:

/**
* Zwraca stan, jaki zostanie osiątnięty przy przejścia ze stanu from przez znak c.
*/
State targetState(State from, char c);

Implementacja powinna być maksymalnie efektywna - należy wykorzystać tablice haszujące bądź nawet zwykłe tablice dwuwymiarowe, by szybko (w stałym czasie) wyliczyć wartość funkcji `targetState`.