Recognizing group languages with OBDDs

zbMATH Open1122.68071MaRDI QIDQ873800FDOQ873800

Authors: N. E. Zubov 

Publication date: 20 March 2007

Published in: Vietnam Journal of Mathematics (Search for Journal in Brave)

Recommendations

• String-matching with OBDDs
• scientific article; zbMATH DE number 1948534
• On random orderings of variables for parity ordered binary decision diagrams
• scientific article; zbMATH DE number 4041299
• scientific article; zbMATH DE number 1670823

zbMATH Keywords

Boolean functionordered binary decision diagramfinite deterministic automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Boolean functions (06E30)

This page was built for publication: Recognizing group languages with OBDDs

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