Optimal State Reductions of Automata with Partially Specified Behaviors

Nondeterministic finite automata with don't care states, namely states which neither accept nor reject, are considered. A characterization of deterministic automata compatible with such a device is obtained. Furthermore, an optimal state bound for the smallest compatible deterministic automata...

Full description

Bibliographic Details
Main Author: Nelma Moreira (author)
Other Authors: Giovanni Pighizzini (author), Rogerio Reis (author)
Format: book
Language:eng
Published: 2015
Subjects:
Online Access:https://repositorio-aberto.up.pt/handle/10216/90791
Country:Portugal
Oai:oai:repositorio-aberto.up.pt:10216/90791