Tengo un par de dudas…¿que es un turing completo?.. y ¿cuales son los primitivos de Turing?

Bien

Un sistema de cálculo es considerado "Turing completo" si es capaz de simular el comportamiento de cualquier otro sistema de cálculo. El término "Turing completo" fue acuñado por el matemático británico Alan Turing en su trabajo sobre la máquina de Turing, una abstracción teórica de una computadora.

La máquina de Turing es un modelo matemático básico de una computadora, que consta de una cinta infinita, un cabezal de lectura/escritura y un conjunto de reglas de estado. El cabezal de lectura/escritura es capaz de leer y escribir símbolos en la cinta, y las reglas de estado determinan cómo el cabezal se mueve a lo largo de la cinta y cómo los símbolos son modificados.

• Los primitivos de Turing son un conjunto de operaciones básicas que una máquina de Turing puede realizar. Estas operaciones incluyen: leer un símbolo de la cinta, escribir un símbolo en la cinta, mover el cabezal de lectura/escritura a la izquierda o a la derecha y cambiar el estado de la máquina. Estas son las operaciones básicas que una máquina de Turing puede realizar y son las que le permiten simular el comportamiento de cualquier otro sistema de cálculo. Estas operaciones básicas son suficientes para realizar cualquier cálculo que pueda ser realizado por una computadora moderna.

• En resumen, un sistema de cálculo es Turing completo si es capaz de simular el comportamiento de cualquier otro sistema de cálculo, y las operaciones básicas (o primitivos) de Turing son las operaciones necesarias para lograr esto, tales como: leer un símbolo de la cinta, escribir un símbolo en la cinta, mover el cabezal de lectura/escritura a la izquierda o a la derecha y cambiar el estado de la máquina.

Turing completo, normalmente se refiere a los lenguajes modernos de programación, mientras que los primitivos de Turing son 6 operaciones básicas que son RIGTH, LEFT, PRINT, SCAN, ERASE y NOTHING/HALT.

Hola Josue yo también tenía duda en esto. Como lo mencionan en el video cerca del min 6:47 así se le conocen a los lenguajes de programación modernos, ya que implementan todos los primitivos (tipos de datos originales de un lenguaje de programación) que necesitamos para realizar cualquier algoritmo.