On OBDD Transformations Representing Finite State Automata
| Data(s) |
04/01/2010
04/01/2010
2003
|
|---|---|
| Resumo |
We present OBDD transformation problem representing finite labeled transition systems corresponding to some congruence relation. Transformations are oriented toward obtaining the OBDD of a minimized transition system for this congruence relation. |
| Identificador |
1313-0463 |
| Idioma(s) |
en |
| Publicador |
Institute of Information Theories and Applications FOI ITHEA |
| Palavras-Chave | #Finite Automata #OBDD #Congruence Relation #Minimization #Transformation |
| Tipo |
Article |
