Skip to main content
Commonmark migration
Fonte Link

Eu gostaria de saber mais sobre a Regra de um ponto de vista prático.

Bem, o Autômato 110 é, resumidamente, um autômato celular com regras bastante simples, e mesmo assim ele é bastante versátil - afinal, ele é Turing-completo. Com isso, a Turing-completude de um dado sistema pode ser demonstrada simplesmente emulando um autômato 110 nele. Neste sentido, não existe nada profundamente especial neste autômato.

É como perguntar "será que eu consigo construir um Assembler para a arquitetura x86 usando essa linguagem de programação?". Só que o manual do x86 é enorme - mais de duas mil páginas! Então é (teoricamente) mais fácil usar uma linguagem mais simples.

Uma forte candidata é a linguagem Brainfuck. Tentemos então reformular hipoteticamente sua pergunta em Brainfuck:

Minha pergunta vem da seguinte implementação da Regra 110 em Brainfuck (Sim, em brainfuck!).

 

A dúvida vem da definição da completude de Turing, que diz que uma sistema é Turing-completo se for capaz de resolver qualquer problema computacional. No entanto a Regra 110 é usada para testar essa hipótese e o Brainfuck, aparentemente, passou.

 

Mas, eu não consigo fazer tanta coisa com Brainfuck (talvez porque meu conhecimento seja limitado... nesse caso, seria extremamente limitado).

Olhando assim, não me parece um profundo demérito não saber programar em Brainfuck. Pelo contrário, é mais fácil construir um programa que transpile C para Brainfuck. Eu até hoje não entendo completamente esse Quicksort feito em Brainfuck!.

O meu ponto de vista prático sobre isso é: "Bela curiosidade, mas nunca na vida vou usar isso". CSS vai continuar no seu nicho de configuração de páginas Web, e seguramente não veremos um sistema operacional feito em CSS tão cedo.

Indo direto à sua pergunta, a ideia é que a Regra 110 descreve uma máquina com poucas regras e de fácil entendimento, portanto a regra pode ser usada como um teste das capacidades de uma linguagem.

Eu gostaria de saber mais sobre a Regra de um ponto de vista prático.

Bem, o Autômato 110 é, resumidamente, um autômato celular com regras bastante simples, e mesmo assim ele é bastante versátil - afinal, ele é Turing-completo. Com isso, a Turing-completude de um dado sistema pode ser demonstrada simplesmente emulando um autômato 110 nele. Neste sentido, não existe nada profundamente especial neste autômato.

É como perguntar "será que eu consigo construir um Assembler para a arquitetura x86 usando essa linguagem de programação?". Só que o manual do x86 é enorme - mais de duas mil páginas! Então é (teoricamente) mais fácil usar uma linguagem mais simples.

Uma forte candidata é a linguagem Brainfuck. Tentemos então reformular hipoteticamente sua pergunta em Brainfuck:

Minha pergunta vem da seguinte implementação da Regra 110 em Brainfuck (Sim, em brainfuck!).

 

A dúvida vem da definição da completude de Turing, que diz que uma sistema é Turing-completo se for capaz de resolver qualquer problema computacional. No entanto a Regra 110 é usada para testar essa hipótese e o Brainfuck, aparentemente, passou.

 

Mas, eu não consigo fazer tanta coisa com Brainfuck (talvez porque meu conhecimento seja limitado... nesse caso, seria extremamente limitado).

Olhando assim, não me parece um profundo demérito não saber programar em Brainfuck. Pelo contrário, é mais fácil construir um programa que transpile C para Brainfuck. Eu até hoje não entendo completamente esse Quicksort feito em Brainfuck!.

O meu ponto de vista prático sobre isso é: "Bela curiosidade, mas nunca na vida vou usar isso". CSS vai continuar no seu nicho de configuração de páginas Web, e seguramente não veremos um sistema operacional feito em CSS tão cedo.

Indo direto à sua pergunta, a ideia é que a Regra 110 descreve uma máquina com poucas regras e de fácil entendimento, portanto a regra pode ser usada como um teste das capacidades de uma linguagem.

Eu gostaria de saber mais sobre a Regra de um ponto de vista prático.

Bem, o Autômato 110 é, resumidamente, um autômato celular com regras bastante simples, e mesmo assim ele é bastante versátil - afinal, ele é Turing-completo. Com isso, a Turing-completude de um dado sistema pode ser demonstrada simplesmente emulando um autômato 110 nele. Neste sentido, não existe nada profundamente especial neste autômato.

É como perguntar "será que eu consigo construir um Assembler para a arquitetura x86 usando essa linguagem de programação?". Só que o manual do x86 é enorme - mais de duas mil páginas! Então é (teoricamente) mais fácil usar uma linguagem mais simples.

Uma forte candidata é a linguagem Brainfuck. Tentemos então reformular hipoteticamente sua pergunta em Brainfuck:

Minha pergunta vem da seguinte implementação da Regra 110 em Brainfuck (Sim, em brainfuck!).

A dúvida vem da definição da completude de Turing, que diz que uma sistema é Turing-completo se for capaz de resolver qualquer problema computacional. No entanto a Regra 110 é usada para testar essa hipótese e o Brainfuck, aparentemente, passou.

Mas, eu não consigo fazer tanta coisa com Brainfuck (talvez porque meu conhecimento seja limitado... nesse caso, seria extremamente limitado).

Olhando assim, não me parece um profundo demérito não saber programar em Brainfuck. Pelo contrário, é mais fácil construir um programa que transpile C para Brainfuck. Eu até hoje não entendo completamente esse Quicksort feito em Brainfuck!.

O meu ponto de vista prático sobre isso é: "Bela curiosidade, mas nunca na vida vou usar isso". CSS vai continuar no seu nicho de configuração de páginas Web, e seguramente não veremos um sistema operacional feito em CSS tão cedo.

Indo direto à sua pergunta, a ideia é que a Regra 110 descreve uma máquina com poucas regras e de fácil entendimento, portanto a regra pode ser usada como um teste das capacidades de uma linguagem.

Fonte Link

Eu gostaria de saber mais sobre a Regra de um ponto de vista prático.

Bem, o Autômato 110 é, resumidamente, um autômato celular com regras bastante simples, e mesmo assim ele é bastante versátil - afinal, ele é Turing-completo. Com isso, a Turing-completude de um dado sistema pode ser demonstrada simplesmente emulando um autômato 110 nele. Neste sentido, não existe nada profundamente especial neste autômato.

É como perguntar "será que eu consigo construir um Assembler para a arquitetura x86 usando essa linguagem de programação?". Só que o manual do x86 é enorme - mais de duas mil páginas! Então é (teoricamente) mais fácil usar uma linguagem mais simples.

Uma forte candidata é a linguagem Brainfuck. Tentemos então reformular hipoteticamente sua pergunta em Brainfuck:

Minha pergunta vem da seguinte implementação da Regra 110 em Brainfuck (Sim, em brainfuck!).

A dúvida vem da definição da completude de Turing, que diz que uma sistema é Turing-completo se for capaz de resolver qualquer problema computacional. No entanto a Regra 110 é usada para testar essa hipótese e o Brainfuck, aparentemente, passou.

Mas, eu não consigo fazer tanta coisa com Brainfuck (talvez porque meu conhecimento seja limitado... nesse caso, seria extremamente limitado).

Olhando assim, não me parece um profundo demérito não saber programar em Brainfuck. Pelo contrário, é mais fácil construir um programa que transpile C para Brainfuck. Eu até hoje não entendo completamente esse Quicksort feito em Brainfuck!.

O meu ponto de vista prático sobre isso é: "Bela curiosidade, mas nunca na vida vou usar isso". CSS vai continuar no seu nicho de configuração de páginas Web, e seguramente não veremos um sistema operacional feito em CSS tão cedo.

Indo direto à sua pergunta, a ideia é que a Regra 110 descreve uma máquina com poucas regras e de fácil entendimento, portanto a regra pode ser usada como um teste das capacidades de uma linguagem.