Abstract
We show that the concept of automata minimization leads to a nice interpretation of the famous canonicity of binary decision diagrams discovered by Bryant.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. B. Akers, Binary Decision Diagrams, IEEE Transactions on Computers C-27(6) (1978) 509–516.
R. E. Bryant, Graph Based Algorithms for Boolean Functions Manipulation, IEEE Transactions on Computers C-35(8) (1986) 677–691.
R. E. Bryant, Binary Decision Diagrams and beyond, Survey Report, Carnegie Mellon University.
J.-M. Champarnaud and J.-E. Pin, A Maxmin Problem on Finite Automata, Discrete Applied Mathematics 23 (1989) 91–96.
S. J. Friedman, K. J. Supowit, Finding the Optimal Ordering for Binary Decision Diagram, IEEE Transactions on Computers 39(5) (1990).
H.-T. Liaw and C.-S. Lin, On the OBDD Representation of General Boolean Functions, IEEE Transactions on Computers C-41(46) (1992) 661–664.
A. Nerode, Linear Automata Transformation, Proc. AMS 9 (1958) 541–544.
D. Revuz, Minimization of Acyclic Deterministic Automata in Linear Time, Theoret. Comput. Sci. 92 (1992) 181–189.
I. Wegener, Efficient Data Structure for Boolean Functions, Discrete Mathematics 136 (1994) 347–372.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Michon, JF., Champarnaud, JM. (1999). Automata and Binary Decision Diagrams. In: Champarnaud, JM., Ziadi, D., Maurel, D. (eds) Automata Implementation. WIA 1998. Lecture Notes in Computer Science, vol 1660. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48057-9_15
Download citation
DOI: https://doi.org/10.1007/3-540-48057-9_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66652-3
Online ISBN: 978-3-540-48057-0
eBook Packages: Springer Book Archive