dfa

type DFA struct {
	fsa.FiniteAutomaton                              // {Q, Σ, F}
	Transitions         map[fsa.Transition]fsa.State // Funkcja przejść - δ: Q × Σ -> Q
	InitialState        fsa.State                    // Stan początkowy - q0
}