abstractions/transitions library

Typedefs

DeterministicTranstitionFunction = DeterministicState Function(String input)

NonDeterministicTranstitionFunction = Set<NonDeterministicState> Function(String input)