CONVERSIÓN DE UN AFN A UN AFD [PDF]
Industrial Data, 2003 El artículo presenta la conversión de un autómata finito no determinista (AFN) a un autómata finito determinista (AFD), haciendo uso de la construcción por subconjuntos.
Edgar Ruiz L., Eduardo Raffo L.
doaj +3 more sources
Trazabilidad y validación de requerimientos funcionales de sistemas informáticos mediante la transformación de modelos conceptuales [PDF]
ReCIBE, 2016 El objetivo de este trabajo es caracterizar un método que permita la trazabilidad y validación de requerimientos funcionales de un sistema de información mediante la transformación de modelos conceptuales. Para lo cual se construyó un software denominado
Oscar Carlos Medina +2 more
doaj +2 more sources
Planificación de trayectoria determinista basado en recompensas para entornos discretos 3D.
NOVASINERGIA REVISTA DIGITAL DE CIENCIA, INGENIERÍA Y TECNOLOGÍA, 2023 Diversas ramas de estudio e investigación surgen de la tecnología de los vehículos aéreos no tripulados (UAV). Una tarea relevante en vuelo UAV se centra en la planificación de trayectorias tri-dimensional (3D), tarea que implica un alto costo ...
Gloria Vanegas Zabala +1 more
semanticscholar +1 more source
Investigación de un modelo de sistema no determinista multiproceso [PDF]
, 2021 La gestión de sistemas cuyo comportamiento no es determinista es uno de los problemas más importantes de la teoría de la gestión moderna. Hoy en día, los sistemas con complejidad estructural y de comportamiento prevalecen en todas las áreas de la ...
Babich, Mikhail Yu +5 more
core +4 more sources
ReCIBE, Revista electrónica de Computación, Informática, Biomédica y Electrónica, 2017 El objetivo de este trabajo es caracterizar un método que permita la trazabilidad y validación de requerimientos funcionales de un sistema de información mediante la transformación de modelos conceptuales. Para lo cual se construyó un software denominado
O. Medina +2 more
semanticscholar +1 more source
Experiencias de uso y evaluación de una herramienta de apoyo a la enseñanza de Teoría de Autómatas y Lenguajes Formales [PDF]
, 2016 Una materia habitual en los planes de estudios de Ingeniería Informática es la Teoría de Autómatas y Lenguajes Formales. Los alumnos suelen tener problemas a la hora de afrontar la preparación de esta materia, ya que la encuentran muy abstracta y ...
Castro Sánchez, José Jesús +2 more
core +6 more sources
Máquinas sin engranajes y cuerpos sin mentes. ¿cuán dualista es el funcionalismo de máquina de Turing? [PDF]
, 2011 En este trabajo examino cómo el Funcionalismo de Máquina de Turing resulta compatible con una forma de dualismo, lo que aleja a la IA clásica o fuerte del materialismo que la inspiró originalmente en el siglo XIX.
González, Rodrigo
core +2 more sources
Análisis paramétrico determinista y aleatorio de problemas dinámicos en estructuras aeroespaciales
, 2016 Los fenomenos dinamicos pueden poner en peligro la integridad de estructuras aeroespaciales y los ingenieros han desarrollado diferentes estrategias para analizarlos.
Iñaki Armendáriz Benítez
semanticscholar +1 more source
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 [PDF]
, 2016 Un autómata finito es un modelo matemático abstracto compuesto por una cantidad finita de estados que tiene como objetivo recibir entradas y generar salidas este es el caso del autómata transformador, si el autómata sólo se limita a reconocer cadenas el ...
Olariaga, Sandra Mónica +1 more
core +2 more sources
ANÁLISIS COMPARATIVO ENTRE UN ANALIZADOR SINTÁCTICO LL Y UN ANALIZADOR SINTÁCTICO LR PARA UN LENGUAJE FORMAL [PDF]
, 2005 The present work arises like a necessity to resist the methods of ascending and descendent syntactic analysis, that is made during the phases of analysis in the compilation of a source program written in a formal language of high level.
Cortez Vàzquez, Augusto
core +2 more sources