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...
Guardado en:
| Autores principales: | Aguirre, Jorge, Arroyo, Marcelo |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2000
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23673 |
| Aporte de: |
Ejemplares similares
-
A compiler technology based approach to simulation of basic forms of automata
por: Chakraborty, Pinaki
Publicado: (2013) -
Una evaluación de los simuladores de autómatas existentes a los fines de su implementación práctica en la materia Sintaxis y Semántica de los lenguajes en la carrera de Ingeniería en Sistemas de Información de la Universidad Tecnológica Nacional Facultad Regional Córdoba
por: Olariaga, Sandra Mónica, et al.
Publicado: (2016) -
An adaptive finite-state automata application to the problem of reducing the number of states in approximate string matching
por: Rocha, Ricardo L., et al.
Publicado: (2005) -
Decidable properties for regular cellular automata
por: Di Lena, Pietro
Publicado: (2006) -
Classically time-controlled quantum automata
por: Díaz-Caro, A., et al.