Me pregunto, ¿el lenguaje de notación musical es Turing-Complete ? Mi primer pensamiento es que hay bucles en la notación musical, pero no hay forma de escribir ramas condicionales, ¿verdad? No soy músico, ¿entonces tal vez alguien pueda ayudar a llenar los vacíos?
Cuando se acepta que un lenguaje tiene que ser Turing completo para ser bueno, ¿es realmente posible tener un lenguaje de programación 'útil' que no sea Turing completo? Debo aclarar que esto se trata específicamente de lenguajes de 'programación' en el sentido tradicional, y no de lenguajes de marcado o …
Tengo una idea general de cómo el procesador maneja las instrucciones, pero paso mi tiempo trabajando principalmente en idiomas de alto nivel. Tal vez alguien que trabaje más cerca del hierro puede proporcionar alguna información valiosa. Suponiendo que los lenguajes de programación son básicamente abstracciones de muy alto nivel del …
Originalmente intenté preguntar esto en StackOverflow, pero fue demasiado subjetivo :-(. Estoy interesado en los métodos para definir el poder de los lenguajes de programación. Turing es completo, pero está casi universalmente satisfecho. Lo que sería bueno es definir un medida de poder que discrimina entre los lenguajes de programación …
Esta es una pregunta teórica, pero después de muchos años de programación en lo que ahora me doy cuenta es una técnica imperativa "normal", usando C ++ principalmente, descubrí este otro mundo de programación funcional, que me topé accidentalmente mientras aprendía JavaScript de manera casual. Esto me ha llevado a …
Los idiomas completos que no son de Turing ofrecen una gran ventaja sobre los idiomas completos de Turing, ya que son mucho más analizables y, por lo tanto, ofrecen posibilidades de optimización mucho más amplias. Sin embargo, apenas se usan y la integridad de Turing se vende realmente como una …
Traté de buscar en Google una explicación, pero la mayoría de los enlaces solo dicen cosas como "FRACTRAN se está completando. Como ejemplo, veamos la multiplicación". Recuerdo haber visto una publicación en el foro xkcd que decía que FRACTRAN ayudó al afiche a comprender la integridad de Turing. Estoy buscando …
¿Existe un lenguaje de programación completo de Turing tal que para un alfabeto fijo (digamos, ASCII), cada posible permutación de esos caracteres sea un programa semánticamente válido capaz de ejecutarse? Consideramos que los bucles infinitos también son semánticamente válidos. Sé que algunos formatos de datos, como Markdown, poseen validez semántica …