Máquinas computacionales

Curso de Manejo de la Ethereum Virtual Machine

Contenido del curso

Introducción

Teoría de Máquinas Computacionales

Ethereum Virtual Machine

Solidity Decompiling

Platzi Virtual Machine

Conclusión

Tomar examen

Cursos Empresas Blog Live Conf Eventos Precios

0:008:29

Máquinas computacionales

Curso de Manejo de la Ethereum Virtual Machine

Clase 3 de 32

Clase 3 / 32

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 

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 

Comentarios (4)4 comentarios

andres reyes

Hace 4 años

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

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

Rafael Molina

Otros ejemplos de arquitecturas computacionales son:

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

Marcelo Haro

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

Hace 3 años

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

Introducción

Conociendo la máquina virtual de Ethereum

Presentación del Proyecto: Tu propia Virtual Machine

Teoría de Máquinas Computacionales

Máquinas computacionales

Autómata Finito Determinista

Máquina de Turing

Arquitectura x86 y Assembly

Máquinas virtuales

Compiladores y organización de CPU

Ethereum Virtual Machine

Arquitectura de la EVM

Ethereum Virtual Machine: Fundamentos y Aplicaciones

Ethereum Virtual Machine Instruction Set

Opcodes de la Máquina Virtual de Ethereum (EVM)

Construyendo un bytecode básico

Continuando con la construcción del bytecode básico

Root State

¿Qué es el gas?

¿Cómo construir un compilador a la EVM?

Solidity Decompiling

Creation Bytecode vs Runtime Bytecode

Function Selector, Function Wrapper y Function Body

Metadata Hash

Platzi Virtual Machine

Definición de nuestra Máquina Virtual

Setup del proyecto

Definición del entorno de ejecución

Definición de la lista de OPCODES

Implementación de operadores básicos y aritméticos

Implementación del modelo de memoria

Implementando saltos

Consumo de gas estático

Consumo de gas dinámico

Implementando gas dinámico

Conclusión

Demostración de la PVM y siguientes pasos

Cierre del curso y repaso de lo aprendido

Máquinas computacionales