Maquinas computacionales - Es aquella que puede procesar una serie de numeros y recibir un output esperado
Automata - es un modelo matematico para una maquina de estado finito, que atraves de saltos de estados por una funciona de transacion puede dar como resultado recibir como output un aceptado o rechazado
Maquina de estado finito (automata finito) - es un modelo computacional que realiza procesos (programa en ejecucion) de forma automatica en base de una entrada para producir una salida
Teoria de automatas - son dispositivos abtractos que se basa en modelos matematicos (maquina computacional) que ya no reciben numeros si no, pueden recibir un lenguaje y en base a esto puedes obtener una salida positiva o negativa
**Jerarquia de chomsky **- nos ayuda a clasificar de manera matematica aquellos lenguajes formalizados y que son procesables por una maquina
0.AutomataFinitoDeterminista(AFD)- un sistema encargado de reconocer el lenguaje regular que no usa memoria para almacenar estados de ejecucion ni simbolos del lenguaje
1.Automata de pila - modelo matematico que recibe una cadena construida por simbolos y cuenta con una memoria auxiliar llamada pila para manejar los simbolos recibidos
2.AutomataLinealmenteAcotado(ALA)- es una maquina de turing pero con la diferencia en que tiene mas poder en el manejo de un comportamiento de automata de pila
3.Maquina de turing
los sistemas que un dispositivo puede interpretar:
- Gramatica regulables (AFD) - procesa un patron de texto
- Gramaticas libre de contexto (Stack) - puede almacenar una informacion para interpretar el texto
- Gramaticas sensibles al contexto (ALA) - determinan la forma que debe tener exactamente una cadena y este puede ser detectable
- Gramatica no restringida (turing) - pueden procesar cualquier programa o lenguaje, debe ser un programa desidible y que sea factible de computar, que no sea un problema paradojico
Primera arquitectura de una maquina computacional creado por Von Neumann
Otras arquitecturas podrian ser:
- 32 bits
- 64 bits
- Arquitectura de CPU
Arquitectura Harvard - interesante, actualmente utilizada pero mejorada la comunicacion entre componentes
Mi primera vez tocando tema teorico de computacion, espero que mi resumen este de acuerdo a los terminos
Otros ejemplos de arquitecturas computacionales son:
Arquitectura Harvard.
Arquitectura RISC (Reduced Instruction Set Computer).
Arquitectura CISC (Complex Instruction Set Computer).
Arquitectura Paralela.
Teoría de autómatas
Un autómata no es más que una máquina computacional representada con una serie de elementos que permiten que puede recibir una entrada que sea correspondiente a un lenguaje y está entrada pueda dar una salida positiva o negativa
Jerarquía de Chovsky:
Nos permite clasificar aquellos lenguajes que son procesables por una máquina con ejemplos puntuales del tipo de máquina que procesan estos lenguajes.
Máquina de Turing : una máquina pequeña que contiene una carrete con una memoria infinita Esta memoria infinita permite escribir y leer información, con esto es factible desarrollar cualquier lenguaje o cualquier programa
Un autómata es esta pequeña máquina definida formalmente que nos permite hacer saltos entre estados dependiendo de un input, al final este es rechazado o aceptado.
que buena clase! deberia haber un curso completo de teoría de automatas
