Máquinas computacionales

Cursos Empresas Blog Live Conf Precios

Contenido del curso

Introducción

Teoría de Máquinas Computacionales

Ethereum Virtual Machine

Solidity Decompiling

Platzi Virtual Machine

Conclusión

Tomar examen

Máquinas computacionales

Comentarios

andres reyes

Estudiante

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. Automata Finito Determinista (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. Automata Linealmente Acotado (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

andres reyes

Estudiante

Mi primera vez tocando tema teorico de computacion, espero que mi resumen este de acuerdo a los terminos

Rafael Molina

Estudiante

Otros ejemplos de arquitecturas computacionales son:

Arquitectura Harvard.
Arquitectura RISC (Reduced Instruction Set Computer).
Arquitectura CISC (Complex Instruction Set Computer).
Arquitectura Paralela.

Marcelo Haro

Estudiante

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.

Alejandro Campuzano

Estudiante

que buena clase! deberia haber un curso completo de teoría de automatas

Automata Finito Determinista (AFD) - un sistema encargado de reconocer el lenguaje regular que no usa memoria para almacenar estados de ejecucion ni simbolos del lenguaje
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
Automata Linealmente Acotado (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
Maquina de turing 

Introducción

Conociendo la máquina virtual de Ethereum

Presentación del Proyecto: Tu propia Virtual Machine

Teoría de Máquinas Computacionales