Publication | Closed Access

Magic numbers in the state hierarchy of finite automata

Logical AutomatonEngineeringAutomated ReasoningFormal MethodsAutomaton OperationFinite-state SystemMagic Numbers