Publication | Closed Access

Communication Complexity Method for Measuring Nondeterminism in Finite Automata

EngineeringCommunication Complexity MethodFormal MethodsComputational ComplexityCommunication ComplexityComputer ScienceDescriptional ComplexityFinite-state SystemFormal Verification