A categorical generalization of the W-method yields provably complete conformance test suites for DFAs, Mealy and Moore machines, and new instances for weighted and nominal automata.
Journal of Pure and Applied Algebra 6(3), 313–344 (1975)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.FL 1years
2024 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Complete Test Suites for Automata in Monoidal Closed Categories
A categorical generalization of the W-method yields provably complete conformance test suites for DFAs, Mealy and Moore machines, and new instances for weighted and nominal automata.