Evidencias Primera Semana

Primer Dia

Autómata:

Llegamos a hablar de como los autómatas son maquinas o entidades que repiten un proceso, una y otra vez, al igual que de alguna manera nosotros los seres humanos llegamos a poder entrar en este tipo de estado, pues llegamos a realizar acciones en automático ya que hemos hecho estas acciones mas de una vez y lo hacemos sin necesariamente tener idea de que las hacemos.

-Definición:

Maquina automática programable capaz de realizar determinadas operaciones de manera autónoma yy sustituir a los seres humanos en algunas tareas, en especial las pesadas, repetitivas o peligrosas; puede estar dotada de sensores, que le permiten adaptarse a nuevas situaciones.

Segundo Dia

Autómata Finito(AF):

Un autómata finito es un modelo matemático de una máquina que acepta cadenas de un lenguaje definido sobre un alfabeto A.Consiste en un conjunto finito de estados y un conjunto de transiciones entre esos estados, que dependen de los simbolos de la cadena de entrada. El autómata finito acepta una cadena x si la secuencias de transisciones correspondientes a los símboloes de x conduce desde el estado inicial a un estado final.

Autómata Finito No Determinista(AFND):

Es el autómata finito que tiene transiciones vacías o que por cada símbolo desde un estado de origen se llega a más de un estado destino, es decir, es aquel que, a diferencia de los autómatas finitos deterministas, posee al menos un estado, tal que para un símbolo del alfabeto, existe más de una transición posible.

Autómata Finito Determinista(AFD):

Es aquel que sólo puede estar en un único estado después de leer cualquier secuencias de entradas. El término "determinista" hace referencia al hacho de que para cada entrada sólo existe uno y sólo un estado al que el autómata pueda hacer la transición a partir de su estado actual.

Gramáticas Libres de Contexto(GLC):

Una gramática libre de contexto es un conjunto finito de variable, cada una de las cuales representa un lenguaje. Los lenguajes representados por la variables se describen recursivamente en términos de otros lenguajes o de símbolos primitivos llamados "terminales". Las reglas que describen el lenguaje asociado con cada variable se llaman "producciones".

Maquina de Turing(MT):

La llamada "Maquina de Turing" es en realidad un modelo matemático consistente en un autómata que es capaz de "implementar cualquier problema matemático expresado a través de un algoritmo". A pesar de esta definición tan complicada, en realidad la máquina de Turing destaca por su simplicidad pues manipula símbolos sobre una tira de cinta siguiendo una serie de reglas.

-Diagrama Del Primer Autómata Visto:

Datos extra aprendidos:

- En los 30 Alan Turing estudio una maquina abstracta que tenia todas las capacidades de las computadoras de hoy en dia, con el objetivo de describir de forma precisa los limites entre lo que una maquina de calculo podia y no podia hacer.

- Entre los 40 y 50 originalmente los automatas finitos se prepusieron para modelar el funcionamiento del cerebro.