-
Portada
Fase 0 - Actividad de Reconocimiento
Presentado por: Alejandro Bernal Castiblanco
Grupo: 301405_11
Presentado a:
Universidad Nacional abierta y a Distancia
Agosto 2018 -
Automatas y Lenguajes Formales
Esta es una teoría que se centra en la computación, es el lenguaje con el que se escriben los sistemas las máquinas abstractas; diferentes teorías han ayudado a la evolución de las nuevas tecnologías de la información y la comunicación, mediante los sistemas formales -
Teoría Automatas
Autómatas Finitos: Máquinas teóricas que cambian de estado de acuerdo a la entrada de lenguaje que reciban, la salida de estos autómatas, está limitada a dos valores; aceptado y no aceptado, estás indican si la cadena que han recibido como entrada es válida o no. -
Andréi Márkov
Matemático ruso realizo un proceso llamado cadena de Markov, en donde cada evento depende con cierta probabilidad del evento anterior y esta se utilizaba en los autómatas finitos -
Alan Mathison Turing
En 1930“s, A. Turing desarrollé una maquina abstracta denominada Maquina de Turing para el estudio de la computabilidad.
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo a una tabla de reglas. A pesar de su simplicidad, una máquina de Turing puede ser adaptada para simular la lógica de cualquier algoritmo de computador y es particularmente útil en la explicación de las funciones de una CPU dentro de un computador. -
Neurona de McCulloch-Pitts y Pitss Modelo Neronal
Publicaron un trabajo el cual se hablaba de las neuronas artificiales, y como estás podrían realizar cálculos lógicos, esta consiste de una unidad con la función de la activación tipo escalón -
Máquinas de Secuencia
prolifera su estudio, frecuentemente Llamándoseles máquinas de secuencia; se establecen
muchas de sus propiedades básicas, incluyendo su interpretación como lenguajes regulares y su equivalencia con las expresiones regulares -
Michael O. Rabin y Dana Scott
La máquina comienza en el estado inicial especificado y lee una cadena de caracteres pertenecientes at alfabeto. El autómata utiliza la función de transición de estados T para determinar el
siguiente estado, usando el estado actual y el símbolo que acaba de leer o la cadena vacía. Sin embargo, "el estado siguiente de un AFND no solo depende del evento de entrada actual, sino que también en un numero arbitrario de los eventos de entrada posterior. -
Jerarquía de Chomsky
En Lingüística, Matemáticas e Informática dícese del sistema jerárquico de definiciones, ideado por Noam Chomsky en 1956 en el MIT para clasificar de manera matemática los lenguajes formales en cuatro categorías enumeradas de 0 a 3 y los mecanismos formalizadores como gramáticas formales, expresiones y autómatas para reconocer cada tipo. -
UNIX Ken Thompson, Dennis Ritchie o Rudd Canaday
En la década de 1960 se establece su conexión con las series de potencias y los sistemas de sobreescritura. Finalmente, con el desarrollo del sistema operativo Unix en la década de 1970 con caRACTERISTICAS multitarea y multiusuario, rápido y seguro.
