LFA01

Linguagens Formais e Autômatos

Alfabetos, Palavras, Linguagens e Gramáticas

Cristiano Lehrer, M.Sc.

Alfabetos, Palavras, Linguagens e Gramáticas • Linguagens Formais e Autômatos
Copyright © 2009/2014 • Ybadoo - Soluções em Software Livre • http://www.ybadoo.com.br/

Introdução (1/3)
●

●

A Teoria das Linguagens Formais foi originariamente desenvolvida na década de 1950 com o objetivo de desenvolver teorias relacionadas com as linguagens naturais.
Entretanto, logo foi verificado que esta teoria era importante para o estudo das linguagens artificiais e, em especial, para as linguagens originárias na Ciência da Computação.

Alfabetos, Palavras, Linguagens e Gramáticas • Linguagens Formais e Autômatos
Copyright © 2009/2014 • Ybadoo - Soluções em Software Livre • http://www.ybadoo.com.br/

Introdução (2/3)
●

●

●

●

A Teoria dos Autômatos lida com as definições e propriedades de modelos matemáticos de computação.
Esses modelos desempenham um papel em diversas áreas aplicadas da Ciência da Computação.
Um modelo, chamado Autômato Finito, é usado em processamento de texto, compiladores e projeto de hardware.
Outro modelo, denominado Gramática Livre do Contexto, é utilizado em linguagens de programação e inteligência artificial.

Alfabetos, Palavras, Linguagens e Gramáticas • Linguagens Formais e Autômatos
Copyright © 2009/2014 • Ybadoo - Soluções em Software Livre • http://www.ybadoo.com.br/

Introdução (3/3)
●

O estudo das
Linguagens
Formais desenvolveu-se significativamente e com diversos enfoques, com destaque para:
●

●

Aplicações em análise léxica e sintática de linguagens de programação. ●

Modelos de sistemas biológicos.

●

Desenho de hardware.

●

Relacionamentos com linguagens naturais.

Recentemente, inclui-se animações, hipertextos e hipermídias.

Alfabetos, Palavras, Linguagens e Gramáticas • Linguagens Formais e Autômatos
Copyright © 2009/2014 • Ybadoo - Soluções em Software Livre • http://www.ybadoo.com.br/

Alfabeto (1/2)
●

●

●

Cadeias de