Máquina de Turing

Clase 5 de 32 • Curso de Manejo de la Ethereum Virtual Machine

Ernesto García

teacher•

Existe un concepto teórico llamado Non-Deterministic Turing Machines.

La idea detrás es que puedas ejecutar una Turing Machine en paralelo, lo cuál reduciría la complejidad de algoritmos de orden no polinomial (como el problema de la mochila).

Para los curiosos, esto tiene relación con lenguajes de programación de Layer 2 como Starknet con Cairo y su non-deterministic programming language. ✨

Acá un poco de su documentación

Geronimo Pylypchuk

student•

genial! muy bueno lo que esta haciendo OZ con Nile y los contracts :), de Starknet y Cairo tengo algunos articuloss, que rescaté del server webtrES jajaja, a lo mejor a alguno le sirven estan buenos: cairo white paper (explicado), zkEVMs, la arquitectura de Starknet

Mateo Santiago Zapata Maldonado

student•

Si tenemos disponible una categoria como lo es el automata linealmente acotado, por que tenemos que decir que los lenguajes de programación y ciertas otras maquinas son turing perfecto si la teoria dice que debe tener una cinta ilimitada, infinita?

Facundo Esteban Gasco

student•

Turing Complete no sera?