The paper describes an exact input encoding algorithm for minimizing the representation of finite state machines using binary decision diagrams.
An exact input encoding algorithm for BDDs representing FSMs
VILLA, Tiziano;
1998-01-01
Abstract
The paper describes an exact input encoding algorithm for minimizing the representation of finite state machines using binary decision diagrams.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
