Notas em Matemática Aplicada 10 - sbmac
Notas em Matemática Aplicada 10 - sbmac
Notas em Matemática Aplicada 10 - sbmac
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
2.2.<br />
AUTÔMATO CELULAR DE WOLFRAM 31<br />
G<br />
1 1 1 0 1 0 0 1 g<br />
g g g g g<br />
Entrada A<br />
Saída ~A<br />
g<br />
g<br />
E<br />
* *<br />
*<br />
g<br />
g<br />
g<br />
g<br />
1<br />
1<br />
0<br />
1<br />
0<br />
0<br />
0<br />
1<br />
Entrada A<br />
Entrada B<br />
*<br />
G<br />
Saída A B<br />
G<br />
Entrada A<br />
Entrada B<br />
*<br />
*<br />
G<br />
Saída A B<br />
(a)<br />
(b)<br />
(c)<br />
Figura 2.15: Portas NÃO(a), E(b) e OU(c) construídas a partir de gliders (g),<br />
disparadores (G) e consumidores (E). O símbolo (*) indica a colisão de gliders<br />
formação na forma de cadeias de gliders periódicas (formando ciclos) e impl<strong>em</strong>entar<br />
registradores de armazenamento auxiliares através de blocos de células estacionárias<br />
que pod<strong>em</strong> ser manipuladas (movidas, lidas) através de um conjunto de gliders.<br />
Estas técnicas e funções lógicas descritas anteriormente pod<strong>em</strong> ser usadas para<br />
construir circuitos constituídos de cadeias de gliders que pod<strong>em</strong> computar uma<br />
função recursiva. Por este entendimento, Life é d<strong>em</strong>onstrado ser um computador<br />
universal.<br />
Nesta construção, considera-se recursos de t<strong>em</strong>po e espaço ilimitados. O objetivo<br />
não foi construir um computador eficiente no Life, ou mesmo, que seja impl<strong>em</strong>entável<br />
na prática, mas simplesmente mostrar que este princípio pode computar<br />
qualquer função. Isto também mostra que mesmo autômatos celulares com regras<br />
bastantes simples pod<strong>em</strong> ser inerent<strong>em</strong>ente imprevisíveis – por causa da universalidade<br />
do jogo Life, ou seja, não há procedimento que pode prever quando uma<br />
configuração inicial irá se diluir <strong>em</strong> configurações totalmente nulas.<br />
A maioria dos trabalhos sobre computação universal <strong>em</strong> autômatos celulares<br />
consiste <strong>em</strong> definir um autômato celular que possa simular uma máquina de Turing<br />
ou algum outro computador conhecidamente universal.<br />
Em geral, computação universal sobre autômatos celulares é interessante como<br />
prova do princípio de que este tipo de arquitetura é tão poderosa quanto um computador.<br />
Na prática, nenhuma das construções de computação universal sobre autômatos<br />
celulares é um dispositivo prático que poderia ser usado para fazer alguma<br />
computação. Por um lado, definir uma configuração inicial que resultaria na computação<br />
desejada seria extr<strong>em</strong>amente difícil. Por outro lado, estes computadores<br />
<strong>em</strong>butidos são muito ineficientes comparados com algum dispositivo prático, mesmo<br />
quando se utiliza sist<strong>em</strong>as massivamente paralelo.