INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Linguagens Formais e Autmatos (LFA)

Aula de 12/08/2013
Introduo

Clarisse S. de Souza, 2013

INF1626 Linguagens Formais e Autmatos (2013-2)

Clarisse S. de Souza, 2013

Informtica
PUC-Rio

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Grade Curricular para Cincia da Computao

Clarisse S. de Souza, 2013

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Grade Curricular para Engenharia da Computao

Clarisse S. de Souza, 2013

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Grade Curricular para Sistemas de Informao

Clarisse S. de Souza, 2013

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Mecanizao do Raciocnio
David Hilbert
Alan Turing
ENIGMA Decifrado
(II Guerra Mundial)
Bletchley Park & Colossus

Clarisse S. de Souza, 2013

http://www.bbc.co.uk/history/code_breaking/

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Traduo Automtica e Compreenso de LN

Turing (1950): Teste para
Raciocinadores Mecnicos
(Teste de Turing)
Traduo Automtica de
Documentos (Russo <-> Ingls)
durante a Guerra Fria
Lingustica Formal para
Linguagens Artificiais e
Humanas (Noam Chomsky,
1953, 1957 e 1965)
Relatrio ALPAC (1966)
Evoluo da rea desde ALPAC
at 2013, considerando-se
interfaces de sistemas, busca e
minerao de texto, traduo
automtica, entre outros.
Clarisse S. de Souza, 2013

http://bigthink.com/videos/noam-chomsky-on-languages-great-mysteries

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Programa de INF1626 em 2013-2

Clarisse S. de Souza, 2013

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Computao, Representao e Processamento Simblico

Representao: Requisito para a mecanizao de tarefas
mentais humanas
Como representar conjuntos infinitos de
conhecimentos, conceitos, sentenas, etc?
Atravs de uma LINGUAGEM.
Exemplo rpido do que est em jogo numa representao
lingustica passvel de tratamento mecnico.
Baseado em: Douglas R. Hofstadter (1989) Gdel, Escher, Bach:
An Eternal Golden Braid. Vintage
Books Edition Captulo II (Meaning and Form in Mathematics)

Clarisse S. de Souza, 2013

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Significado do Raciocnio Mecnico

Suponhamos um sistema simplssimo com 3 representaes apenas:
p, q e -. Podemos expressar infinitas verdades
(conhecimentos vlidos) com ele atravs das seguintes regras:
1.

verdade que X,p,-,q,X,- para todo X igual a uma sequncia de

hfens (por exemplo, -, --, ---, ).

2. Tambm verdade que X,p,Y,-,q,Z,- se for verdade X,p,Y,q,Z.

Exemplos de verdades:
-p--q----p---q-----

Mas, para que serve isto?

O que significa?

-p-q-Clarisse S. de Souza, 2013

10

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Isomorfismos induzem significados

Quando h uma correspondncia biunvoca entre uma
representao e uma verdade, crena, possibilidade ou
outro conceito que possamos ter em mente,
(conhecer), a representao passa a significar este
conhecimento para ns.
E podemos melhorar a representao a partir disto.
Experimentem trocar - por , p por + e q por =.

Clarisse S. de Souza, 2013

11

Informtica
PUC-Rio

INF1626 Linguagens Formais e Autmatos (2013-2)

Padres Significativos Motivam Representaes

Algo muito diferente:
Representao de padres de conversas de elevador
Padres:
1.
2.

Voc diz Bom dia;

Quem est no elevador responde
Voc diz Bom dia;
Quem est no elevador responde
Voc diz <P>;
Quem est no elevador responde

Voc diz: At logo;

Quem est no elevador responde

Clarisse S. de Souza, 2013

Bom dia.
Bom dia;

--PQ//
--PQPQ//
--PQPQ//

<R>;

At logo.
12

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Computao e Processamento Simblico

Uma primeira aproximao
Padres de conhecimento
Correspondncias com representaes
escolhidas
Regras de gerao (inferncia,
derivao) de todas as instncias
(potencialmente infinitas) de
representao vlidas
biunivocamente correspondentes a
conhecimentos vlidos

Clarisse S. de Souza, 2013

13

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Computao e Processamento Simblico

Uma primeira aproximao
Padres de conhecimento
Correspondncias com representaes
escolhidas
Regras de gerao (inferncia,
derivao) de todas as instncias
(potencialmente infinitas) de
representao vlidas
biunivocamente correspondentes a
conhecimentos vlidos

Mquinas capazes de reconhecer

(decidir se) uma cadeia qualquer de
smbolos ou no uma representao
de conhecimento vlida e se for- de
sinalizar a correspondncia entre ela
o conhecimento representado.
Imaginemos mquinas capazes de:
a) Ler, um smbolo contido da
representao
b) Mover-se para o prximo smbolo no
lido
E dotadas de:
1. Um conjunto de estados (inicial,
intermedirios e finais)

Clarisse S. de Souza, 2013

2. Regras de transio entre estados,

determinadas pelos smbolos lidos na
14
representao.

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Processando mecanicamente conversas de elevador

- (corresponde a Bom dia)
/ (corresponde a At logo)
P (corresponde a algo que voc diz)
Q (corresponde a algo que lhe
respondem)
A nossa mquina tem os seguintes
estados:

I, F, q1, q2, q3 e q4

Ela sempre inicia as transies no incio da

representao e no estado I.

Ela para se no houver mais smbolos a ler

na representao, ou se no estado em que
ela est no houver transies definidas
(para o smbolo que est lendo).

Clarisse S. de Souza, 2013

Informtica
PUC-Rio

INF1626 Linguagens Formais e Autmatos (2013-2)

Processando mecanicamente conversas de elevador

- (corresponde a Bom dia)

Conversa = -,-,BatePapo, /,/

/ (corresponde a At logo)

BatePapo = [P,Q]*

P (corresponde a algo que voc diz)

Obs: * indica uma repetio de zero a n

vezes.

Q (corresponde a algo que lhe

respondem)
A nossa mquina tem os seguintes
estados:

I, F, q1, q2, q3 e q4

Ela sempre inicia as transies no incio da

representao e no estado I.

Ela para se no houver mais smbolos a ler

na representao, ou se no estado em que
ela est no houver transies definidas
(para o smbolo que est lendo).

Clarisse S. de Souza, 2013

As regras de transies entre os

estados podem ser representadas
assim:

q1

/
q2

/
q3

Q
q4

16

Informtica
PUC-Rio

INF1626 Linguagens Formais e Autmatos (2013-2)

O que vamos estudar em LFA:

Sistemas de representao
Mquinas (mecanismos) abstratos capazes de reconhecer sistemas de
representao (reconhecedores)
Correspondncias entre sistemas de representao e reconhecedores
Tipos e propriedades de:

Sistemas de representao

Reconhecedores

Por que importante

saber estas coisas?

Noes gerais sobre as condies de processamento dos sistemas de

representao

Limites de computabilidade

Complexidade do processamento

Clarisse S. de Souza, 2013

17

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Visita ao Website da Disciplina

www.inf.puc-rio.br/~inf1626
Clarisse S. de Souza, 2013

18

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Para lembrar:
Consulte sempre para baixar slides, listas de exerccios, acompanhar o programa de
curso, controlar datas de provas, etc. No preciso login/senha para entrar.
Temos um assistente de docncia, Luiz M. Afonso, doutorando do DI. Ele nos ajudar
com a correo de exerccios e preparao para provas.
Avisos para a turma sero SEMPRE circulados pelo sistema de comunicao
eletrnica oficial da PUC, o PUC Online. Mantenham suas informaes de cadastro
atualizadas para no perderem comunicaes importantes sobre provas, notas,
aulas extra e similares.
Sempre que for preciso, entrem em contato com a professora. Seus emails sero
respondidos em at 24 horas, desconsiderados finais de semana e feriados. Caso
no o sejam, reenviem a mensagem. Ela pode no ter chegado ou no ter sido
identificada como proveniente de um aluno da turma. Para evitar este ltimo caso,
sempre incluam na assinatura de seu email o seu nome e nmero de
matrcula.
Clarisse S. de Souza, 2013

19

INF1626 Linguagens Formais e Autmatos (2013-2)

Informtica
PUC-Rio

Recursos Adicionais & Sugestes Culturais

Prefcio do Livro-Texto da Disciplina

http://www.univasf.edu.br/~marcus.ramos/livro-lfa/prefacio.pdf

Para quem l em ingls:

Amostras do livro A Concise Introduction to Languages and Machines (Alan P. Parkes, Springer 2008)

Prefcio http://www.springer.com/cda/content/document/cda_downloaddocument/9781848001206-p1.pdf?SGWID=0-0-45-733817-p173781620

Apresentao de linguagens formais

http://www.springer.com/cda/content/document/cda_downloaddocument/9781848001206-c2.pdf?SGWID=0-0-45-733851-p173781620

Sugestes Culturais

O livro dos cdigos (Simon Singh) Editora Record

Websites em Portugus:

http://turing100.fee.unicamp.br/

http://www.ufrgs.br/alanturingbrasil2012/expo.html

Website em Ingls

http://www.bbc.co.uk/history/places/bletchley_park

http://www.bbc.co.uk/history/code_breaking/

Clarisse S. de Souza, 2013

20