Decidibilidad entre K-subconjuntos reconocibles

Gisella Mantilla Morales, Rodrigo Bastidas Chalán, Aníbal Rentería Torres, Oscar Bustos Ganchozo, María Ferrer-Guillén, Guelvis Mata-Díaz

Resumen


Esta investigación aborda la extensión de la teoría convencional de autómatas finitos al estudio del teorema de igualdad. Para ello, se propone un enfoque algebraico centrado en los conceptos de semianillos, K- subconjuntos reconocibles y K-S-autómatas. En este contexto, se demuestra la decidibilidad de cualquier par de K-subconjuntos reconocibles. Esto significa que el semianillo K debe conocerse con suficiente precisión para permitir tales decisiones.

Recibido: 22 de abril 2025
Aceptado: 01 de julio 2025


Palabras clave


álgebra; sistemas; autómatas; lenguajes; ecuaciones; el teorema de igualdad.

Texto completo:

PDF (English)

Referencias


Branicky, M. (1995). Studies in hybrid systems: Modeling, analysis and control [Doctoral dissertation, Massa-chusetts Institute of Technology]. DSpace. https://dspace.mit.edu/han-dle/1721.1/11398

Caspi, P. (1991). Model of discrete event systems in com-puter science [Paper presentation]. European Con-trol Conference, Grenoble, France.

Eilenberg, S. (1974). Automata, languages and ma-chines (Vol. A). Academic Press.

Mata, G. (2017). Supervisory control application to solving optimal control problems for discrete event sys-tems. Revista Ingeniería UC, 24(1), 81–90. https://www.servicio.bc.uc.edu.ve/ingenie-ria/revista/v24n1/art10-124.pdf

Mata, G., Giraldo, R. E., & Rojas, N. M. (2018). A planning algorithm in a class of discrete event sys-tems. DYNA, 85(206), 283–293. https://dial-net.unirioja.es/descarga/articulo/7664680.pdf




Creative Commons License
Todos los documentos publicados en esta revista se distribuyen bajo una
Licencia Creative Commons Atribución -No Comercial- Compartir Igual 4.0 Internacional.
Por lo que el envío, procesamiento y publicación de artículos en la revista es totalmente gratuito.