Concepedia
Cybernetics and Systems Analysis · 1981 · 10 citations · 0 references
ComputingComputer ScienceMathematicsProgramming LanguagesAutomata TheoryEquivalence CheckingFinite AutomataFinite State Machine ModelingAutomata EquivalenceAutomata-theoretic CharacterizationsComputational EquivalenceReducibility