Examinando por Tema "Lenguajes formales"
Resultados por página
Opciones de clasificación
-
Documentodesarrollo de un entorno de simulación para autómatas deterministas(Pereira : Universidad Tecnológica de Pereira, 2008) González Naranjo, Carolina ; Montoya Román, César AugustoEl simbolo es una representacion distinguible de cualquier informacion; es una entidad indivisible. Un alfabeto ¿Ã es un conjunto finito y no vacio de simbolos, con los cuales es posible formar secuencias o cadenas de caracteres, conocidas como palabras. Una cadena sobre el alfabeto ¿Ã, es una sucesion de caracteres tomados de ¿Ã. La longitud de una cadena c, es el numero de caracteres que la forman; se denota por c o por ()longc. La cadena vacia es la cadena sin elementos y se representa por ¿Õ. La concatenacion de las cadenas x y y es aquella que resulta de anadir a la cadena x la cadena y; y se denota por xy. La concatenacion de palabras es asociativa, es decir ()()xyzxyz¿, pero no conmutativa. La longitud de una concatenacion cumple la propiedad uvuv¿¿y.1 La clausura sobre el alfabeto,*¿Ã, es el conjunto de todas las posibles cadenas sobre un alfabeto ¿Ã; el conjunto ¿Ã *, puede ser infinito, pero enumerable.
-
DocumentoLógica: conceptos, formalización y aplicación en los sistemas computacionales(Universidad Tecnológica de Pereira, 2021) Loaiza Cardona, Luis Anibal ; Leon Tabares , Juan Jose ; Meneses Escobar , Carlos AugustoDesde sus inicios la lógica ha intentado encontrar la verdad o en algunos casos el sentido, en la antigua Grecia fue la partida de la formalización tanto del lenguaje como las matemáticas. Siempre se ha realizado un planteamiento inicial como volvemos un lenguaje formal es decir como convertimos el conocimiento en un conjunto de reglas y símbolos, pensando en el punto anteriormente expuesto podemos concluir que la programación no es más que el simple avance de la formalización de un lenguaje. Pero antes de pensar en el lenguaje hay que prestar atención a la tecnología que dio pie al avance de la computación, tales como los relés en conjunto con los transistores permitieron construir una máquina que interpretaba la misma lógica que se ha utilizado desde la antigüedad, el cambio fue que gracias a Boole y a sus compuertas que permitieron implementar muchas normas o conjuntos axiomáticos, se lograron expresar de manera binaria a través de circuitos. Para comprender la computación primero hay que comprender la matemática que está detrás de ella principalmente la lógica que se transformó desde la filosofía a las matemáticas, aunque las matemáticas intentaron modelar la naturaleza y todo lo que nos rodea, hay que tener en cuenta qué tanto las matemáticas están incompletas según Gödel y es una abstracción humana según Wittgenstein, también no hay que olvidar que las máquinas no son perfectas porque Turing propuso un modelo teórico pero al momento de realizarlo todo fue distinto.
-
DocumentoMetodología para el diseño y uso eficiente de los recursos espaciales y temporales en la solución de problemas en sistemas aritméticos digitales(Pereira : Universidad Tecnológica de Pereira, 2017) Pineda Vargas, Xiliana ; Holguín Londoño, MauricioEn la electrónica actual, los sistemas digitales desempeñan un papel muy importante en la vida cotidiana, ya que se está en un período del boom tecnológico; anteriormente las aplicaciones de la electrónica se limitaban a la informática, pero en la actualidad los sistemas digitales tienen una gran área de instrumentación, como son en las computadoras, transporte, entretenimiento, en la exploración del espacio, comunicaciones, instrumentación médica, control en procesos industriales, entre otras [3]. Un sistema digital es una composición de dispositivos diseñados para el uso de información lógica y o cantidades físicas, las cuales se representan en forma digital; eso quiere decir que los valores se obtienen de forma discreta. Por lo general se hace uso en los dispositivos electrónicos, pero también pueden ser mecánicos, neumáticos o magnéticos. Algunos de los sistemas digitales más comunes son las computadoras, las calculadoras digitales, los equipos de audio y video digital y el sistema telefónico; el cual es el sistema digital más grande del mundo [1]. Para llegar hasta este nivel de aplicación, se necesita entender y comprender lo más básico, en que se basa la electrónica digital, donde su base es el sistema binario. Cuando se habla de lo básico se puede hacer referencia a las operaciones aritméticas fundamentales y lo que hay detrás de ellas, como son el álgebra de Boole, los circuitos combinacionales y la implementación de las compuertas lógicas, donde se basa el presente documento. Al hacer referencia a la investigación de la eficiencia y optimización de la complejidad de operaciones aritméticas en los números binarios, en el cual se va a plantear el porqué es este un tema a investigar y está pensado como proyecto de grado.
-
DocumentoSíntesis automática de estrategias de control a través de lógicas temporales y redes de Petri para la planificación de movimientos en sistemas autónomos(Pereira : Universidad Tecnológica de Pereira, 2018) Martínez Valencia, Jorge Luis ; Holguín Londoño, MauricioEn este trabajo se presenta una metodología para la síntesis automática de estrategias de control a través de lógicas temporales y redes de Petri para la planificación de movimientos en sistemas autónomos. Se inicia recolectando los trabajos más representativos en el estado del arte, posteriormente se hace un análisis para seleccionar la Lógica Temporal Lineal (LTL) como lenguaje para especificación de tareas robóticas. En la tercera fase se plantea un procedimiento que permite, a partir de una fórmula LTL, calcular rutas óptimas en términos de transiciones para un equipo de múltiples agentes modelados como una red de Petri. Finalmente se presenta la metodología que recoge 4 algoritmos evaluados en tres casos propuestos (caso1: un robot con obstáculos fijos, caso 2: un robot con obstáculos móviles, caso 3: múltiples robots y obstáculos fijos). La metodología propuesta se valida con una serie de 20 simulaciones sobre las cuales se analizan los datos obtenidos en cada ejecución.