Approximation to the smallest regular expression for a given regular language

• Tipo: Artigo em Revista Científica Internacional
• Data: 2005

Autores

delgado, m (Autor) FCUP; morais, j (Autor) Outra

Revista

A Revista está pendente de validação pelos Serviços Administrativos.

Título: INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION

Vol. 15

Páginas: 312-314

Indexação

ISI Web of Knowledge - 22 Citações

Scopus - 25 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: P-000-5X9

Abstract (EN): A regular expression that represents the language accepted by a given finite automaton can be obtained using the the state elimination algorithm. The order of vertex removal affects the size of the resulting expression. We use here an heuristic to compute an approximation to the order of vertex removal that leads to the smallest regular expression obtainable this way.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 3