We show that the concept of automata minimization leads to a nice interpretation of the famous canonicity of binary decision diagrams discovered by Bryant.
CITATION STYLE
Michon, J. F., & Champarnaud, J. M. (1999). Automata and binary decision diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1660, pp. 178–182). Springer Verlag. https://doi.org/10.1007/3-540-48057-9_15
Mendeley helps you to discover research relevant for your work.