gico de Aerona

utica
Instituto Tecnolo

CT-200
Fundamentos de Automata e Linguagens Formais
(Prof. Paulo Tasinaffo)

Seminario 2:
Gedanken Experiments on Sequential Machines
(Moore, E.F., 1956)

Grupo:
Marcello Costa
Melina Nihari
Silvio Assuncao

Sao Jose dos Campos, 09 de Junho de 2016

ii

SUMARIO
Pagina
1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1

CONTEXTO HISTORICO
. . . . . . . . . . . . . . . . . . . . . . . . . .

1.2

SOBRE O AUTOR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3

IMPORTANCIA
CIENTIFICA . . . . . . . . . . . . . . . . . . . . . . .

1.4

RESUMO DO ARTIGO . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4.1

ESTRUTURA DO ARTIGO . . . . . . . . . . . . . . . . . . . . .

1.4.2

EXEMPLOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4.3

CONVENC
OES
. . . . . . . . . . . . . . . . . . . . . . . . . . . .

2 Propriedades Qualitativas e Distinguibilidade . . . . . . . . . . . . . . . .

2.1

UMA ANALOGIA COM O PRINCPIO DA INCERTEZA . . . . . . . .

2.2

TEOREMAS ADICIONAIS DE DISTINGUIBILIDADE . . . . . . . . .

2.3

TEOREMAS ACERCA DO TAMANHO DE EXPERIMENTOS . . . . .

11

3 Aplicacao de FSM na Teoria de Codificacao . . . . . . . . . . . . . . . .

13

3.1

DA APLICAC

CARACTERIZAC
AO
AO
. . . . . . . . . . . . . . . . . .

13

3.2

MODELO FSM PARA O CODIGO

CONVOLUCIONAL . . . . . . . . .

15

3.3

E RESULTADO . . . . . . . . . . . . . . . . . . . . . . . .
APLICAC
AO

16

4 Consideracoes Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

18

REFERENCIAS
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

19

1. INTRODUC
AO
Este trabalho e resultado das pesquisas sobre o artigo Gedanken-Experiments on
Sequential Machines de Edward F. Moore

que apresenta uma abordagem teorico-

experimental para o modelamento de maquinas sequenciais descritas por automatos

de estados finitos e tambem denominadas de maquinas de estados finitos (FSM).
Nessa abordagem sao definidos os teoremas para distinguibilidade de tais dispositivos,
permitindo a sua simplificacao. A partir desse estudo teorico e possvel descrever e
modelar diferentes sistemas fsicos, tais como, a aplicacao em codificacao de sinais
como anunciado no artigo.

Moore, E.F., Gendanken-Experiments of Sequential Machines. Automata studies, edited by C.E.

Shannon and J. McCarthy, Annals of Mathematics studies no. 34, litho-printd, Princeton University
Press, Prineton 1956, pp. 129-153.

2
1.1

CONTEXTO HISTORICO

O artigo [1] trata dos automatos finitos sob o ponto de vista experimental. O
autor classifica o estudo como finito, diferenciando principalmente das Maquinas de
Turing que utiliza uma fita teoricamente infinita. A maquina utilizada nos exemplos e sequencial e finita, permitindo verificar se os Automatos sao distinguveis ou
nao, isto e, equivalentes sob o produto da entrada e da sada de dados.

O assunto e bastante relevante, principalmente na epoca da publicacao do estudo

em 1956, sendo bastante referenciado ainda hoje, como pode ser visto numa rapida
busca no Scielo, com 1727 citacoes. Alem disso, as referencias do artigo, citadas
diretamente no proprio texto, sao: On computable Numbers, with na Application to
the Entscheidungsproblem (Turing, 1938) [2] e a tese de doutorado de Huffman [3]
sobre a equivalencias de maquinas representam, em conjunto com o proprio artigo de
Moore, os primordios da computacao teorica e do estudo de maquinas finitas.

1.2

SOBRE O AUTOR

Edward Forrest Moore

( 11/1925, Baltimore-EUA 06/2003, Madson-EUA)

Foi bacharel no Instituto Politecnico da

Virginia em 1947, e PhD. Em matematica
em 1950 pela Brown University. Foi professor de Matematica e Ciencia da Computacao na Universidade de Wisconsin ate
sua aposentadoria. Foi um dos fundadores
da Teoria de Automatos e ainda inventor
da maquina de Moore [4].

3
Algumas de suas citacoes sao:
Ed wrote: Animals and plants can reproduce themselves, but it was only recently
shown that machines can be made which also reproduce themselve... Other kinds of
self-reproducing machines will be described, and one simple mechanical model, with no
electrical or magnetic complications, will be there in working order for the audience
to inspect and operate. (Moore, 1966)

IMPORTANCIA
CIENT
IFICA

1.3

Este artigo foi um dos primeiros a utilizar a nomenclatura de maquina de estados

finitos, largamente utilizado hoje na Teoria de Automatos. Ainda, publicou o artigo
Computability by Probabilistic Machines [5], como uma extensao desse trabalho.

1.4

RESUMO DO ARTIGO

A seguir e apresentado um breve resumo do artigo, descrevendo a motivacao do

estudo, as bases e convencoes adotadas que sao exploradas nos teoremas apresentados
no captulo 2.

1.4.1

ESTRUTURA DO ARTIGO

Introducao;
Experimentos
Exemplos
Convencoes
Uma analogia do princpio da incerteza
Teoremas adicionais de distinguibilidade
Teoremas acerca de tamanhos de experimentos
Outros problemas

4
Na introducao o autor situa o trabalho explicando a relacao com Automatos
Finitos e faz a distincao destes com as maquinas de Turing, proposto por Allan
Turing em 1936. Sobre o ponto de vista dos experimentos, nenhum resultado de
experimento e demonstrado, no entanto, conclusoes teoricas sao obtidas sobre o funcionamento interno de maquinas finitas. Enfatizando esse conceito, Moore utilizou o
termo de ciencias naturais Gedanken-experiments. Sobre esse termos, foi encontrado
uma referencia `a Albert Einstein, na encyclopedia Britanica: Gedankenexperiment,
(traducao do alemao: Experimento Mental), usado para descrever uma abordagem
u
nica mais conceitual do que experimental, como Einstein apresentou na sua Teoria
da Relatividade (1915). Moore tambem utilizou este conceito, validando seus experimentos de forma teorica e nao como resultante de experimentos reais. Nesse sentido,
os experimentos realizados por Moore no artigo sao divididos em dois tipos:
1. Experimento simples com uma m
aquina sequencial
O termo sequencial refere-se uma sequencia de smbolos de entrada (string) que
produzem respostas de forma sequencial em uma dada maquina. O esquema ilustrativo da Figura 1.1 apresenta este teste.
Smbolos de Entrada
Conclusao
Maquina Sequencial

Experimentador

Smbolos de Sada
Fig. 1.1.: Diagrama esquematico de um experimento simples.

2. Experimento com v
arias c
opias da m
aquina sequencial
O segundo experimento (Figura 1.2) utiliza varias copias da mesma maquina do
experimento anterior, possibilitando a analise dos varios estados e sadas ao mesmo
tempo.

5
Smbolos de Entrada

Smbolos de Entrada
1a copia

2a copia

...

k-esima copia
Smbolos de Sada

Experimentador

Smbolos de Entrada

Conclusao

Smbolos de Sada
Smbolos de Sada
Fig. 1.2.: Diagrama esquematico de um experimento m
ultiplo.

1.4.2

EXEMPLOS

O primeiro exemplo para os experimentos teoricos proposto e de algum dispositivo

secreto, capturado de um inimigo em tempo de guerra. O trabalho do experimentador

e definir com detalhes o funcionamento da maquina que modela tal dispositivo. E

pressuposto um conhecimento parcial do equipamento, como por exemplo, o fato que
este pode ser uma bomba ou um dispositivo criptografico. No primeiro caso, o experimento pode explodir ou danificar a maquina, requerendo que os testes sejam feitos de
forma remota. E, se o evento catastrofico ocorrer, nao se podera obter mais nenhum
aprendizado. Essa hipotese pode ser facilmente descrita teoricamente, atraves de um
estado qn de explosao, que ao ser atingido, nao ha sada do mesmo. Ha ainda, a restricao de que o experimentador, nao poder abrir o mecanismo, utilizando a definicao
de caixa preta o qual apenas se pode ver o resultado apos sair da maquina, nao
podendo ver o que ela faz internamente, considerando a situacao militar de que ela
foi roubada e precisaria ser entregue posteriormente. Outra aplicacao e o caso de um
engenheiro conseguir montar um automato que produz a mesma sada da maquina,
mas com menos estados, ela poderia ser entao simplificada. Sendo referenciada entao

6
com o artigo de Huffmann sobre simplificacao e equivalencia de automatos. Outra
forma mais clara em relacao ao estado de caixa-preta seria a diferenca entre um
psiquiatra e um cirurgiao ao estudar um cerebro humano. O psiquiatra preocupa-se
com o resultado do analisado ao receber um input geralmente, de forma verbal, e
o cirurgiao que abre o cerebro para analisar o funcionamento, internamente. Finalmente, outra situacao a ser considerada pelo autor e que os cientistas, qumicos,
fsicos, etc. fazem os questionamentos, de forma indireta, devido `as proprias restricoes
da natureza, similar ao funcionamento da caixa-preta.

1.4.3

CONVENC
OES

Cada maquina possui um n

umero finito de estados, smbolos de entrada e smbolos
de sada. Sendo o tempo definido como sncrono, isto e mesmo, que haja tempos
diferentes de processamento, e considerado que todos terminam ao mesmo tempo,
atraves de um temporizador, para facilitar a analise do funcionamento do dispositivo.
O autor demonstrou o automato em forma de tabela, e tambem graficamente, como
ainda e bastante usado e o automato e geralmente conhecido ainda hoje dessa forma.
Esta representacao e descrita no exemplo da para a maquina A da Figura 1.3.
Estado Atual
Estado Entrada Anterior
Anterior 0
1
q1
q4
0
q2
q1
0
q3
q4
0
q4
q2
1
(a)

Estado
Atual
q1
q2
q3
q4

q1 ; 1

Saida
Atual
0
0
0
1

0,1

1 q1 ; 0
q3 ; 0

0,1
0
q2 ; 0

(b)

Fig. 1.3.: Descricao de uma maquina A : (a) Na forma de tabela e (b) Diagrama de
transicao de estados.

7
Os smbolos de entrada sao finitos, o que limita o tamanho do experimento, alem
disso, possibilita que a maquina tenha uma parada, diferenciando-a de uma maquina
de Turing, onde nao se pode definir a parada, isto e, a chegada a um estado final.
Concluindo, seria possvel atraves das maquinas com varias copias, verificar se os
estados sao distinguveis ou nao, permitindo-se construir dispositivos menores, mais
baratos e facilmente reparaveis, ou ainda modificar alguma propriedade interna, sem
alterar o resultado do equipamento.

2. PROPRIEDADES QUALITATIVAS E
DISTINGUIBILIDADE
Nesse captulo sao apresentados os teoremas obtidos dos experimentos para determinar a distinguibilidade entre os estados de uma maquina sequencial, permitindo a
representacao equivalente e, consequentemente, a simplificacao de tais dispositivos.
Para isso, nas seguintes seccoes, sao apresentadas as condicoes necessarias e os limites
de copias para a determinacao da distinguibilidade.

2.1

UMA ANALOGIA COM O PRINC

IPIO DA INCERTEZA

Teorema 2.1 Existe uma maquina tal que quaisquer dois estados sao distinguveis,
mas nao existe um experimento simples que possa determinar qual o estado da maquina
ao incio do experimento.
Na maquina descrita na Figura 1.3, nao e possvel distinguir entre dois estados q1
e q3 . Sabendo-se que a maquina encontra-se em um desses dois estados, e possvel distinguir entre eles aplicando-se a sequencia 11. Alem disso, havendo m
ultiplas copias
da mesma maquina, e possvel saber qual o estado inicial. Com apenas uma copia
da maquina, nao experimento que possa determinar o estado inicial, dado que q1 e q2
sao indistinguveis para qualquer experimento comecando com input 1 e q1 e q3 , para
input inicial 0.

Pode-se fazer uma analogia com o princpio da incerteza de Heisenberg: o estado

de um eletron E pode ser descoberto sabendo-se sua posicao e velocidade, porem essas
duas variaveis nao podem ser descobertas simultaneamente pois qualquer experimento
altera a condicao inicial. Do mesmo modo, qualquer experimento na maquina alteraria

9
seu estado inicial, e ganharia-se apenas uma informacao parcial. Entretanto, no caso
da maquina e possvel prever qual sera o estado final.

2.2

TEOREMAS ADICIONAIS DE DISTINGUIBILIDADE

Objetivo: Determinam as condicoes para experimentos simples e m

ultiplos para
se alcancar, ou nao, a distinguibilidade dos estados das maquinas sequenciais.

Teorema 2.2 Dada uma maquina S e quaisquer experimentos m

ultiplos realizados
em S, existem outras maquinas experimentalmente distinguveis de S para o qual o
experimento original chegaria no mesmo resultado.
Pode-se demonstrar que para os primeiros k passos de um experimento, os outputs
de duas maquinas, S com n estados e T com n(k + 1) estados, os outputs de S e T
coincidirao. Entretanto apos passo k, os outputs serao sempre diferentes. Portanto,
nunca sera possvel realizar experimentos em uma maquina desconhecida e identificala, a menos que restrinja-se a classe de maquinas sequenciais. Para n estados, m
smbolos de input e p smbolos de output tem-se a maquina (n, m, p).
Teorema 2.3 Se S e uma maquina fortemente conectada - ou seja, para qualquer
par ordenado (qi , qj ) de estados de S, ha uma sequencia de inputs que leva a maquina
de qi a qj - e T e indistinguvel de S por qualquer experimento simples, entao para
todo estado qi de S existe um estado qj de T que e indistinguvel de qi por qualquer
experimento simples.
Para provar o teorema, considerando-se um experimento em que qualquer sequencia de smbolos de input na maquina S no estado qi , existem estados de T que
resultariam no mesmo output. O set de estados em que T estaria ao final da sequencia
associada de inputs, tendo produzido a mesma sequencia de outputs que S comecando
em qi . Aumentando o n
umero de inputs, esse set diminui, mas nunca chega a zero,

10
pois as maquinas sao indistinguveis.

Para uma sequencia em particular, estendida ate que o n

umero de elementos no
set nao diminua mais, adiciona-se uma sequencia adicional que causa S a visitar cada
um dos seus estados pelo menos uma vez, aplicando-se a sequencia inteira a partir de
qi .

Para cada estado qi de S, considera-se Y o set de estados associados a subsequencia

truncada ate antes de S retornar ao estado qi pela u
ltima vez. Todo membro de Y
e indistinguvel de qi . Se qj fosse membro de Y e indistinguvel de qi , o set anterior
poderia ser reduzido ainda mais com a adicao da sequencia truncada acima, o que
seria contraditorio com a definicao da sequencia original.
Teorema 2.4 A classe de todas as maquinas que sao indistinguveis de uma maquina
fortemente conectada S tem um membro u
nico com um n
umero mnimo de estados,
chamada forma reduzida de S, que e fortemente conectada e quaisquer dois de seus
estados sao distinguveis.
Os estados qi de S e qj de T , sendo S indistinguvel de T , possuem a relacao R
se sao indistinguveis entre si por qualquer experimento simples. O domnio de R
sao os estados de S, e dois estados de S sao indistinguveis se sao indistinguveis de
um mesmo estado de T . O n
umero de classes de equivalencia sobre as quais S e
particionada por indistinguibilidade e o menor n
umero de estados de T . Para uma
maquina com esse n
umero de estados, T . O output de qualquer estado de T e o
output de qualquer membro de sua classe de equivalencia. Qualquer estado qi vai
para qj com o input a apenas se qualquer membro da classe de equivalencia de qi for
para algum membro da classe de equivalencia de qj com o input a. Entao, T pode
ser considerado indistinguvel de S. Qualquer outra maquina T com o mesmo n
umero
de estados de T e indistinguvel de S sera indistinguvel de T .

11
Teorema 2.5 Se S e uma maquina fortemente conectada, S estara em sua forma
reduzida sse qualquer par de seus estados for distinguvel. Se os estados de S forem
particionados em classes de equivalencia, cada uma tera apenas um elemento, e a
forma reduzida de S portanto tera o mesmo n
umero de estados que S.

2.3

TEOREMAS ACERCA DO TAMANHO DE EXPERIMENTOS

Objetivo: Especificar o tamanho dos experimentos para a determinar a distincao

dos estados de uma maquina sequencial.

Teorema 2.6 Se S e uma maquina (n, m, p) tais que quaisquer dois de seus estados
sao distinguveis, eles podem ser distinguidos por um experimento simples de tamanho
n 1.
Para encontrar o menor experimento para distinguir dois estados, deve-se primeiro
fazer uma particao P1 , subdividindo o set Z de estados em sets que dao o mesmo
smbolo de output. Recursivamente, constroi-se a particao Pk+1 a partir de Pk ,
refinando-se Pk para estados indistinguveis para experimentos de comprimento k + 1.
Se dois estados, apos a transicao por um mesmo input, pertencerem a particoes diferentes de Pk , devem ser colocados em particoes Pk+1 distintas e esse smbolo de input
e o primeiro smbolo do experimento para distinguir os dois estados em k + 1 passos - e o u
ltimo passo do experimento seria o primeiro smbolo de input na primeira
particao. Se depois de todos os smbolos de input os dois estados permanecerem na
mesma particao, eles sao indistinguveis em k + 1 passos.
Teorema 2.7 Sejam S e T maquinas (n, m, p) tais que um estado qi de S pode ser
distinguido de qj de T . Entao esse experimento pode ter comprimento 2n 1.
Definindo a maquina S + T como a soma direta das maquinas S e T . Sua tabela
contem todas as entradas de S e T , e a maquina se torna (2n, m, p), com alguns
pares de estados distinguveis. Pelo teorema 6, eles podem ser distinguidos em um

12
experimento de comprimento 2n 1, e portanto os estados correspondentes de S e T
podem ser distinguidos em um experimento de tamanho 2n 1.
Teorema 2.8 Para toda maquina S(n, m, p) tais que quaisquer dois de seus estados
sao distinguveis, existe um experimento de tamanho n(n 1)/2 que pode determinar
o estado de S ao final do experimento.
Pelo teorema 3, conforme o experimento vai progredindo, o set com o n
umero
de estados em que a maquina pode estar vai diminuindo de tamanho se for sendo
escolhida uma das menores sequencias que obedecem essa propriedade, ate que chegase a um set unitario, ou seja, conhece-se o estado final. Prova-se por inducao que
quando o set estiver reduzido a n k membros, k(k + 1)/2 passos terao se passado no
maximo. Para k = n 1, ou seja, reduzindo o set a um membro, n(n 1)/2 passos
terao se passado.
Teorema 2.9 Seja a classe de todas as maquinas (n, m, p) fortemente conectadas
na forma reduzida. Existe um experimento de tamanho nnm+2 pn /n! tal que quando
executado com uma copia de qualquer membro S dessa classe, sera suficiente para
distinguir S dos outros membros da classe.
A estimativa desse teorema parece poder ser melhorada dado que no incio do
experimento muitos estados podem ser eliminados da maquina que e usada na prova
do teorema, que e a soma direta de todos os elementos da classe. Mas esse n
umero
nao pode ficar abaixo de mn1 .

13

DE FSM NA TEORIA DE
3. APLICAC
AO

CODIFICAC
AO
Nessa seccao e apresentado um exemplo pratico dos conceitos apresentados no artigo de Moore aplicados ao problema de codificacao de canal, apresentado por Claude
Shannon que, fez a revisao do artigo de Moore. Tal aplicacao sugere a implementacao
por meio de FSM nos codigos corretores de erro para o estabelecimento de uma comunicacao confiavel e, proxima dos limites teoricos de capacidade do canal, apresentados
por Shannon em [6].

3.1

DA APLICAC

CARACTERIZAC
AO
AO

A aplicacao parte do problema da comunicacao binaria confiavel ilustrada na

Figura 3.1 e definido no seguinte teorema de Shannon:
Teorema 3.1 (Teorema da Codificac
ao de Canal) Dado um canal de capacidade
C e uma fonte com taxa de informacao R, entao se R C existe uma tecnica de
codificacao tal que a sada da fonte pode ser transmitida atraves do canal com uma
frequencia arbitrariamente pequena de erros, apesar da presenca de rudo. Se R > C,
nao e possvel a transmissao sem erros.
A tecnica de codificacao que permite atingir a confiabilidade da comunicacao em
canais ruidosos, sugerida no Teorema 3.1 utiliza-se de codigos de deteccao e correcao
de erros. Os codigos de deteccao de erros possuem a habilidade de detectar bits
errados e utilizar o canal de retorno do sistema para solicitar a retransmissao da
informacao ate que o erro nao seja detectado. ja os codigos de correcao de erros
possuem a habilidade de corrigir bits errados, dessa forma, nao havendo necessidade

14

Codificac
ao
de Fonte

Codificacao
de Canal

Modulacao

Canal de
Comunicacao
Decodificac
ao
de Fonte

Decodificacao
de Canal

Demodulacao

Fig. 3.1.: Estrutura para um sistema de comunicacao digital eficiente e confiavel.

de retransmissao da informacao. Os metodos dos codigos corretores de Erros sao

classificados como:
Codigos em Blocos Lineares
Codigos Cclicos
C
odigos Convolucionais
Os codigos convolucionais foram criados por Elias em 1955 [7] e representam a
classe de codigos em que a sequencia de bits de entrada e serialmente codificada por
um polinomio que representa estados de memoria. Dessa forma, a sada do codificador
e a convolucao da entrada com a resposta impulso dos estados de memoria. O codigo
e especificado por (n, k, K), onde, k entrada, n sada e K elementos de
memoria (estados), implementados por registradores de deslocamento. O processo
de decodificacao e realizado via rastreamento dos estados possveis definidos pelo
codificador para cada entrada associada. A Primeira aplicacao deste codigo foi na
missao da NASA Voyager de 1977, onde foi empregado o codigo convolucional com
taxa R = 1/2, com polinomios geradores 171, 133 (octal) g (1) = [101] e g (2) = [111],
conforme apresentado no esquema da seccao 3.3.

15

MODELO FSM PARA O CODIGO

CONVOLUCIONAL

3.2

O codificador do codigo convolucional consiste de registradores de deslocamento

que formam uma maquina de estado finito - FSM. Na pratica, implementacoes desse
codificador reproduzem a maquina de estado em linguagem V-HDL. Na Figura 3.2 e
apresentado o modelo equivalente de um simples codificador em diagrama de estados.
10/1
11
01/1
y1

Entrada

D1

Sada

D2

01/0
10/0

10

01
00/1

y2
11/1

11/0
00
00/0

(a)

(b)

Fig. 3.2.: Codificador convolucional: (a) Representacao por registradores de deslocamento e (b) representacao por diagrama de estados.

Por outro lado, a representacao em diagrama de trelica da Figura 3.3 traz uma
extensao do diagrama de estados que permite a visualizacao da passagem do tempo,
facilitando no processo de decodificacao. Dessa forma, o algoritmo de decodificacao
otimo desenvolvido por Viterbi [8] explora, de forma recursiva, o rastreamento dos
estados da trelica que conduzem a` mais provavel palavra-codigo valida, conforme
formalmente descrito na Definicao 3.1.
Definic
ao 3.1 (Algoritmo de Viterbi) Dada uma palavra-codigo recebida r, determinar o mais provavel fluxo atraves da trelica associado `a possvel palavra-c
odigo
0

correta c : max p(r|c ) Criterio de maxima verossimilhanca (ML)

16
... 1 1 0 0 1
00

00

00

11

10

00

00

00

11

10

11

01

01

11

11

11

10

00

00

00

10

10

10

01
10

11

00

10

01
01

11

11

00

00

10

01

11

11

10
10

01

00

00

11

01
01

01
10

11

...
01

01

01
10

11

Fig. 3.3.: Representacao em trelica do codigo convolucional para a analise no processo

de decodificacao.

E RESULTADO
APLICAC
AO

3.3

Considerando-se o codigo convolucional com taxa R = 1/2 e K = 7, citado na

seccao 3.1, tem-se o modelo do codificador descrito na Figura 3.4 na forma de diagrama de estados de uma FSM. A representacao do diagrama de trelica correspondente a este codigo e obtida a partir dos estados definidos pelo diagrama para este
codificador que, utilizando-se do metodo recursivo do algoritmo de Viterbi permite a
correcao de erros apresentada nas curvas da Figura 3.5.

Esse resultado de desempenho de taxa de erros sobre um canal ruidoso (AWGNCanal aditivo gaussiano) apresenta ganho aproximado de 5 dB com relacao a um
sistema sem codificacao de canal. O resultado dessa simulacao foi alcancado utilizando
um modelo do codigo convolucional implementado atraves de FSM em linguagem
C++.

17

0 (0,0)

G1
+

0000
0 (1,1)
1(1,1)
0001
0(0,0)0 (0,1)
1(0,0)

C1

0010

1(0,1)

Entrada
+

Sada

C2

0011 1
(0,1)
(1,0)
0
0 0100
1000
(1,0)
1
1
(0,1)
(0,1)
0
(0,0)1001
1
0101
1
(1,0)
(0,1)
0
(1,1)
0
0110
1010
(0,0) (0,1)
0
1
(0,0)
(0,0)
1
0
0111
(1,1) 1011 1
(0,1)
0
(0,0)
(0,0)
1100
1
0
(1,1)

0(1,0)

G2

G1 = 171 [101]
G2 = 133 [111]

1101
(1,1)
0
1(0,0)
(0,1)
1
1110
0
(1,0) 1(1,0)
1111
(0,1)
1

(a)

(b)

Fig. 3.4.: Codificador convolucional R = 1/2 e K = 7: (a) Representacao por registradores de deslocamento e (b) representacao por diagrama de estados.

100

Sem Codifica
ca
o
C
odigo Convolucional
101

Modula
ca
o QPSK/BPSK

BER

102

103

Convolucional
(1/2, 7)

104

105
0

10

Eb/N0 (dB)

Fig. 3.5.: Desempenho de erro de bits codigo convolucional em canal ruidoso via curva
BER vs. SNR.

18

4. CONSIDERAC
OES
FINAIS
Existem muitos problemas conectados com a teoria de maquinas sequenciais, do
ponto de vista experimental e nao tratados no artigo, que podem contribuir com o
refinamento dos limitantes definidos pelos teoremas descritos pelo autor.
A configuracao de experimento m
ultiplo de maquinas sequencias sao de particular
interesse por permitir a distincao da maioria dos estados, permitindo-se construir dispositivos menores, mais baratos e facilmente reparaveis, a partir de uma representacao
equivalente geral da maquina.
Nesse contexto, na tratativa do problema de codificacao de canal, apresentada
neste trabalho, uma configuracao sequencial de m
ultiplos estagios e utilizada para se
obter uma forma de maquina sequencial simplificada que descreve um codigo convolucional, permitindo a construcao pratica do modelo a partir de FSM equivalente.

19

REFERENCIAS

[1] E. F. Moore, Gedanken-experiments on sequential machines, Automata studies,

vol. 34, pp. 129153, 1956.
[2] A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction, Proceedings of the London Mathematical Society,
vol. s2-43, pp. 544546, jan 1938.
[3] F. E. Huffman, An outline of Cambodian grammar. PhD thesis, Cornell University,
1967.
[4] U. O. Wisconsin-Madison, Memorial resolution of the Faculty of the University Of
Wisconsin-Madison, 2003 (acessado em 01 de junho, 2016). http://www.secfac.
wisc.edu/senate/2003/0929/1727(mem_res).pdf.
[5] P. C. Fischer, Review: K. de leeuw, e. f. moore, c. e. shannon, n. shapiro, computability by probabilistic machines, J. Symbolic Logic, vol. 35, pp. 481482, 09
1970.
[6] C. E. Shannon, Communication in the presence of noise, Proceedings of the IRE,
vol. 37, pp. 1021, Jan 1949.
[7] P. Elias, List decoding for noisy channels. Citeseer, 1957.
[8] A. J. Viterbi, Error bounds for convolutional codes and an asymptotically optimum decoding algorithm, Information Theory, IEEE Transactions on, vol. 13,
no. 2, pp. 260269, 1967.