Un método de diseño de autómatas, guiado por invariantes

En este trabajo se describe un método de diseño de Autómatas Finitos a partir del predicado de primer orden que define su conjunto de aceptación. El método se basa en construir lo que aquí se ha denominado un Conjunto de Invariantes de Estado Fuerte, cíef. Los invariantes son predicados sobre las ca...

Descripción completa

Detalles Bibliográficos
Autores principales: Aguirre, Jorge, Arroyo, Marcelo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2000
Materias:
Ciencias Informáticas
Automata (e.g., finite, push-down, resource-bounded)
Invariants
Corrections
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23673
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23673
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Automata (e.g., finite, push-down, resource-bounded)
Invariants
Corrections
spellingShingle Ciencias Informáticas
Automata (e.g., finite, push-down, resource-bounded)
Invariants
Corrections
Aguirre, Jorge
Arroyo, Marcelo
Un método de diseño de autómatas, guiado por invariantes
topic_facet Ciencias Informáticas
Automata (e.g., finite, push-down, resource-bounded)
Invariants
Corrections
description En este trabajo se describe un método de diseño de Autómatas Finitos a partir del predicado de primer orden que define su conjunto de aceptación. El método se basa en construir lo que aquí se ha denominado un Conjunto de Invariantes de Estado Fuerte, cíef. Los invariantes son predicados sobre las cadenas de entrada, asociados a los estados. La construcción se realiza estudiando cómo se transforman los predicados al agregar un carácter a su argumento. Simultáneamente se introducen los estados de los cuales dichos predicados son invariantes y se define la función de transición. El método determina los estados finales y construye el inicial. Según las decisiones de diseño adoptadas se puede arribar a un Autómata Determinístico o No Determínistico. Aquí se definen los conjuntos de invariantes de Estado, se demuestran sus propiedades fundamentales y se caracteriza a aquellos que son ciefs. El método asegura la corrección de las construcciones. Se incluye su aplicación en varios casos de estudio.
format Objeto de conferencia
Objeto de conferencia
author Aguirre, Jorge
Arroyo, Marcelo
author_facet Aguirre, Jorge
Arroyo, Marcelo
author_sort Aguirre, Jorge
title Un método de diseño de autómatas, guiado por invariantes
title_short Un método de diseño de autómatas, guiado por invariantes
title_full Un método de diseño de autómatas, guiado por invariantes
title_fullStr Un método de diseño de autómatas, guiado por invariantes
title_full_unstemmed Un método de diseño de autómatas, guiado por invariantes
title_sort un método de diseño de autómatas, guiado por invariantes
publishDate 2000
url http://sedici.unlp.edu.ar/handle/10915/23673
work_keys_str_mv AT aguirrejorge unmetododedisenodeautomatasguiadoporinvariantes
AT arroyomarcelo unmetododedisenodeautomatasguiadoporinvariantes
bdutipo_str Repositorios
_version_ 1764820466085658627

Ejemplares similares