22.02.2014 Views

Notas em Matemática Aplicada 10 - sbmac

Notas em Matemática Aplicada 10 - sbmac

Notas em Matemática Aplicada 10 - sbmac

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!