Publication | Closed Access

Converting two-way nondeterministic unary automata into simpler automata

Logical AutomatonEngineeringAutomated ReasoningFormal MethodsPushdown AutomatonAutomaton OperationComputer ScienceFormal VerificationSimpler Automata