Nomes:IngridPeitz,LucasRanzi

OquesoAlgoritmos?

1.FatosHistricos:

Atualmente a cincia da computao possui duas nfases: idias fundamentais e modelos

computacionais (nfase teorica) e projeto de sistemas computacionais (nfase prtica),
aplicandoatoriaprtica.
O marco inicial ocorreu com David Hilbert,
Entscheidungsproblem
, sendo este o problema
da parada, um problema da lgica simblica que consisteemacharumalgoritmogenrico
paradeterminarseumdadoenunciadodalgicadeprimeiraordempodeserprovado.
Em 1931, Kurt Gdel publicou a
Teoria da NoCompletude (Incompleteness Theorem)
onde demonstra que um sistema formal bem definidoe consistentenoeraosuficientepara
provarsetodaasentenanessesistemaounoumteorema.
Em 1936, Alonzo Church usou dois formalismos para mostrarqueoproblemadeHilbertno
temsoluo:CalculoLambda(Church,1936),FunesRecursivas(Kleene,1936).
Ainda em 1936, Alan Turing porps um formalismo para representao de procedimentos
efetivos, este foi o primeiro a identificar programas escritos para uam maquina
computacional,comonooesintuitivasdeefetivamentecomputacional.
Apos este periodo muitos outros formalismos foram propostos, os quais so provados
possuirem (no maximo) o mesmo poder computacional das funcoes recursivas (ou calculo
Lambda)comosegue:
MaquinadeTuring(1936)
MaquinaNorma(1976)
SistemaCannicadePost(1943)
AlgoritmodeMarkoveaLinguagemSnobol(1954)
MquinadeRegistradores(1963)
RASP(RandomAccessStoredPrograms1964)

2.PorqueestudarTeoriadeAutmatos?

A Teoria dos Autmatos possui muitas aplicaes importantes na computao. O

modelo de autmatos finitos pode servir de modelo em muitostiposdehardwareesoftware,
como softwares que percorrem grandes quantidades de texto,em busca de ocorrncias de
palavras, frases ou outros padres Softwares que verificam sistemas que possuem nmero
finito de estados finitos, como protocolos de comnicao Softwares de desenvolvimento e
verificao de comportamento de circuitos digitais, entre outros. Alm disso,autmatosso
essenciais para o estudo dos limites em computao: O qu um computador pode fazer?
(decidabilidade)eOqueumcomputadorpodefazerdemaneiraeficiente?(intratabilidade).


3.ProvasformaiseTeoriadeAutmatos

Para fazer iteraes e recurses corretas, necessrio definir uma hiptese indutiva e
mostrar que esta consistente com a iterao ou recurso. Este processo semelhante
prova de teoremas por induo. A Teoria dos Autmatos leva a provas naturais e
interessantes, ambas do tipo dedutivo (uso de uma sequncia de passos justificados) e do
tipo indutivo (provas recursivas com definies parametrizadas que utilizam a prpria
definiocomvaloresreduzidosdoparmetro).

4.ConceitoscentraisdaTeoriadeAutmatos:
AbaixosestodescritososconceitoscentraisdaTeoriadeAutmatos
Alfabetos:
Conjuntofinitodesimbolosoucaracteres.
Soalfabetos:
{a, b, c}
(conjuntovazio)
Nosoalfabetos:
(conjuntodosnmerosnaturais)
{a, b, aa, ab, ba, bb, aaa, ...}
Palavras:
Cadeiadesimbolosfinita.
palavravazia
Se representaumalfabeto,ento:
*

todasaspalavraspossveissobre

Linguagem:
Conjuntodepalavrassobreumalfabeto.
Suponhaoalfabeto = {a, b} ,ento:
Oconjuntoformadodepalndromossobre umexemplodelinguageminfinita
, a, b, aa, bb, aaa, aba, bab, bbb, aaaa, ... (palavrasdestalinguagem)
Problema:

5. Mquinas universais: algoritmo, solucionabilidade de problemas, programa,

mquinauniversal:evidncias

Algoritmo: geralmente definido intuitivamente como uma forma de mostrar se determinada

propriedade valeou no paraumacertaentrada.Assim,asolucionabilidadedeumproblema
poderia ser definida pela existncia de um algoritmo que pudesse resolvlo. importante
notar que limitaes de tempo e espao no so consideradas,apesar de determinarem a
possibilidadedeaplicaoprtica.


Solucionabilidade de problemas: definio de problemas como solucionveis, no
solucionveis, parcialmente solucionveis (computveis), completamente insolveis
(incomputveis).
Programa: Satisfaz noo intuitiva de algoritmo e pode ser definido como um conjunto
estruturado de instrues que capacitam uma mquina a aplicar sucessivas operaes
bsicasetestessobredadosiniciaisfornecidos,paratransformlosnumaformadesejvel.
Maquina Universal: Uma das razes para considerar a mquina de Turing ou Norma coma
mais geral o fato de que todos os modelos propostos possuem, no maximo, a sua
capacidadecomputacional.

ReferenciasBibliogrficas:

http://pt.wikipedia.org/wiki/Entscheidungsproblem

Introduction to Automata Theory, Languages and Computation. HOPCROFT, J. E.

MOTWANI,
R.ULLMAN,J.D.3rdEdition.

DIVERIO,Tiaraju.A.MENEZES,Paulo.F.B.Teoriadacomputao:mquinas
universaisecomputabilidade.1.ed.PortoAlegre:SagraLuzzatto,1999.