Diferencia entre revisiones de «Turing completo»
Contenido eliminado Contenido añadido
m El término inglés "plausible" significa creíble o verosímil; en español, "plausible" significa digno de aplauso. |
→Ejemplos: incluido script basado en pila de blockchains |
||
Línea 14:
Es difícil encontrar ejemplos de lenguajes no Turing completos,
ya que esos lenguajes son muy limitados. Un ejemplo podrían ser las series de fórmulas matemáticas en una hoja de cálculo sin ciclos. Mientras que es posible hacer varias operaciones interesantes en ese sistema, éste falla en ser Turing completo ya que es imposible hacer [[Bucle (programación)|ciclos]]. El lenguaje de macros de [[Excel]], sin embargo, es Turing completo.
Un importante resultado de la [[teoría de la computabilidad]] es que, en general, es imposible saber si un programa escrito en un lenguaje Turing completo se continuará ejecutando indefinidamente o se detendrá en un periodo finito de tiempo. Un método para prevenir que suceda lo primero es hacer que los programas se detengan después de un periodo fijo de tiempo. Estrictamente, esos sistemas no son Turing completos.
|