Recognizing group languages with OBDDs

MaRDI QIDQ873800zbMATHFDO

Authors N. E. Zubov

Publication date 20 March 2007

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

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)

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

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)