- -

A sufficient condition to polynomially compute a minimum separating DFA

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

A sufficient condition to polynomially compute a minimum separating DFA

Show full item record

Vázquez-De-Parga Andrade, M.; García Gómez, P.; López Rodríguez, D. (2016). A sufficient condition to polynomially compute a minimum separating DFA. Information Sciences. 370-371:204-220. doi:10.1016/j.ins.2016.07.053

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/82093

Files in this item

Item Metadata

Title: A sufficient condition to polynomially compute a minimum separating DFA
Author: Vázquez-De-Parga Andrade, Manuel García Gómez, Pedro López Rodríguez, Damián
UPV Unit: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Issued date:
Abstract:
The computation of a minimal separating automaton (MSA) for regular languages has been studied from many different points of view, from synthesis of automata or Grammatical Inference to the minimization of incompletely ...[+]
Subjects: Minimal separating DFA , Minimal consistent DFA , Model checking , Minimization of incompletely specified automata
Copyrigths: Reserva de todos los derechos
Source:
Information Sciences. (issn: 0020-0255 )
DOI: 10.1016/j.ins.2016.07.053
Publisher:
Elsevier
Publisher version: http://dx.doi.org/10.1016/j.ins.2016.07.053
Description: This is the author’s version of a work that was accepted for publication in Information Sciences. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Information Sciences 370–371 (2016) 204–220. DOI 10.1016/j.ins.2016.07.053.
Type: Artículo

recommendations

 

This item appears in the following Collection(s)

Show full item record