On the Influence of the State Encoding on OBDD-Representations of Finite State Machines

DOI10.1051/ITA:1999103MaRDI QIDQ4256140zbMATH OpenOpenAlexFDO

Authors Christoph Meinel, Thorsten Theobald

Publication date 19 December 1999

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=ITA_1999__33_1_21_0/, https://eudml.org/doc/222070

zbMATH Keywords

Boolean functionsordered binary decision diagrams

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1361498
• Local encoding transformations for optimizing OBDD-representations of finite state machines
• FSM Encoding for BDD Representations
• scientific article; zbMATH DE number 1670823
• Asymptotically optimal bounds for OBDDs and the solution of some basic OBDD problems

Cites work

• Efficient data structures for Boolean functions
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 3672160 (Why is no real title available?)
• scientific article; zbMATH DE number 1354131 (Why is no real title available?)
• Improving the variable ordering of OBDDs is NP-complete

Cited in

(5)

• scientific article; zbMATH DE number 1335887 (Why is no real title available?)
• scientific article; zbMATH DE number 1361498 (Why is no real title available?)
• FSM Encoding for BDD Representations
• Local encoding transformations for optimizing OBDD-representations of finite state machines
• String-matching with OBDDs

This page was built for publication: On the Influence of the State Encoding on OBDD-Representations of Finite State Machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4256140)