Local encoding transformations for optimizing OBDD-representations of finite state machines

DOI10.1023/A:1011273220017zbMath1001.68028OpenAlexW1569092974MaRDI QIDQ5943270

Thorsten Theobald, Christoph Meinel

Publication date: 9 September 2001

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1011273220017

zbMATH Keywords

ordered binary decision diagramsencoding

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (2)

Transformation of a mealy finite-state machine into a Moore finite-state machine by splitting internal states ⋮ A method for minimizing Moore finite-state machines by merging two states

This page was built for publication: Local encoding transformations for optimizing OBDD-representations of finite state machines