Você está na página 1de 5

Apresenta os principais conceitos e resultados de linguagens formais

e autmatos, de uma forma simples e acessvel, sem descuidar do


desenvolvimento do raciocnio nem dos aspectos matemtico-formais.
Nova edio totalmente revisada
Possui uma apresentao que facilita a adequao do texto aos objetivos propostos,
carga horria e aos pr-requisitos da disciplina
Rico em ilustraes, exerccios e exemplos

REA DO PROFESSOR
Visite o site www.grupoaeditoras.com.br para ter acesso a contedos exclusivos que
complementam o estudo do tema e auxiliam na preparao de aulas.
Apresentaes em PowerPoint

Linguagens Formais e Autmatos 6 ed.


Paulo Blauth Menezes
16 x 23 cm | 256 pg.
FEV/2011 | 1/5 | AAA

www.grupoaeditoras.com.br | 0800 703 3444

CINCIAS EXATAS, SOCIAIS E APLICADAS


Computao e Tecnologia da Informao

srie livros didticos informtica ufrgs

SUMRIO
Captulo 1. introduo e conceitos bsicos

Captulo 4. propriedades das linguagens regulares

1.1 introduo

4.1 bombeamento para as linguagens regulares

Captulo 7. propriedades e reconhecimento das


linguagens livres do contexto

1.2 conjuntos, relaes e funes

4.2 investigao se linguagem regular

7.1 propriedades das linguagens livres do contexto

1.3 noes de lgica

4.3 operaes fechadas sobre as linguagens regulares

7.2 algoritmos de reconhecimento

1.4 tcnicas de demonstrao

7.3 exerccios

1.5 induo

4.4 investigao se uma linguagem regular vazia, finita


ou infinita

1.6 exerccios

4.5 igualdade de linguagens regulares.


4.6 minimizao de um autmato finito

Captulo 8. linguagens recursivamente enumerveis e


sensveis ao contexto

4.7 exerccios

8.1 mquina de Turing

Captulo 2. linguagens e gramticas


2.1 alfabeto

8.2 modelos equivalentes mquina de Turing

2.2 palavra

Captulo 5. autmato finito com sada

8.3 hiptese de Church

2.3 linguagem formal

5.1 mquina de Mealy

8.4 mquina de Turing como reconhecedor

2.4 gramtica

5.2 mquina de Moore

2.5 exerccios

5.3 equivalncia das mquinas de Moore e de Mealy

8.5 gramtica irrestrita e a linguagem recursivamente


enumervel

5.4 hipertexto e hipermdia como autmato finito com sada


Captulo 3. linguagens regulares

5.5 animao como autmato finito com sada

3.1 sistema de estados finitos

5.6 exerccios

3.2 composio sequencial, concorrente e no determinista

8.6 linguagem sensvel ao contexto


8.7 propriedades das linguagens recursivamente
enumerveis e recursivas
8.8 exerccios

3.3 autmato finito

Captulo 6. linguagens livres do contexto

3.4 autmato finito no determinstico

6.1 gramtica livre do contexto

Captulo 9. hierarquia de classes de linguagens e


concluses

3.5 autmato finito com movimentos vazios

6.2 rvore de derivao

9.1 hierarquia de Chomsky

3.6 expresso regular

6.3 gramtica livre do contexto ambgua

9.2 concluses

3.7 gramtica regular

6.4 simplificao de gramtica livre do contexto

9.3 leitura complementar: gramtica de grafos

3.8 exerccios

6.5 formas normais

9.4 exerccios

6.6 recurso esquerda


6.7 autmato com pilha

SAIBA MAIS

Captulo 10. bibliografia

6.8 exerccios

Linguagens formais e autmatos 6 ed.


Paulo Blauth Menezes
16 x 23 cm | 256 pg.

FEV/2011 | 2/5 | AAA

www.grupoaeditoras.com.br | 0800 703 3444

CINCIAS EXATAS, SOCIAIS E APLICADAS


Computao e Tecnologia da Informao

srie livros didticos informtica ufrgs

CINCIAS EXATAS, SOCIAIS E APLICADAS


Computao e Tecnologia da Informao

srie livros didticos informtica ufrgs

Linguagens formais e autmatos 6 ed.


Paulo Blauth Menezes
16 x 23 cm | 256 pg.

FEV/2011 | 3/5 | AAA

www.grupoaeditoras.com.br | 0800 703 3444

PBLICO-ALVO
Alunos de graduao em informtica e computao (Bacharelado em Cincia da Computao, Engenharia
da Computao, Sistemas de Informao e Licenciatura em Computao), ou para cursos de graduao em
tecnlogo em Computao ou Informtica, podendo ser usado tambm como livro de consulta tanto para
pesquisa, como para extenso e ps-graduao.

SOBRE O AUTOR
Paulo Blauth Menezes professor e pesquisador do Departamento de Informtica Terica do Instituto de
Informtica da UFRGS, tendo mais de 30 anos de experincia no meio acadmico.

SOBRE A SRIE
A srie Livros Didticos uma produo conjunta do Instituto de Informtica da Universidade Federal do Rio
Grande do Sul, um dos mais respeitados centros acadmicos do Brasil, e da Bookman, uma das mais importantes
editoras de livros cientficos, tcnicos e profissionais da Amrica Latina.
So 17 obras englobando as disciplinas fundamentais dos cursos de computao e informtica apresentadas
de forma didtica e de acordo com as diretrizes curriculares do MEC. Organizados por professores renomados,
os livros so divididos em captulos que facilitam a preparao das aulas utilizando exemplos detalhados e
exerccios em nveis crescentes de dificuldade, estimulando o desenvolvimento do raciocnio dos alunos.
Desde seu lanamento, a srie tornou-se um sucesso de vendas, e seus livros foram adotados em diversas
universidades do Brasil. Ento, quando o assunto conhecimento em computao, voc j sabe onde encontrar o
que realmente interessa.
Linguagens formais e autmatos 6 ed.
Paulo Blauth Menezes
16 x 23 cm | 256 pg.

FEV/2011 | 4/5 | AAA

www.grupoaeditoras.com.br | 0800 703 3444

CINCIAS EXATAS, SOCIAIS E APLICADAS


Computao e Tecnologia da Informao

srie livros didticos informtica ufrgs

CINCIAS EXATAS, SOCIAIS E APLICADAS


Computao e Tecnologia da Informao

srie livros didticos informtica ufrgs

Aprendendo Matemtica Discreta com Exerccios

Linguagens Formais e Autmatos 6 ed.

Arquitetura de Computadores Pessoais 2 ed.

Matemtica Discreta para Computao e Informtica (3.ed.)

Arquiteturas Paralelas

Projeto de Banco de Dados - 6 ed.

Complexidade de Algoritmos 2 ed.

Redes de Computadores

Concepo de Circuitos Integrados 2 ed.

Sistemas Operacionais - 4 ed.

Estruturas de Dados

Tabelas: Organizao e Pesquisa

Fundamentos de Arquitetura de Computadores 3 ed.

Teoria das Categorias para Cincia da Computao 2 ed.

Fundamentos de Circuitos Digitais

Teoria da Computao: Mquinas Universais e Computabilidade - 3 ed. (em breve)

Implementao de Linguagens de Programao: Compiladores 3 ed.

FEV/2011 | 5/5 | AAA

www.grupoaeditoras.com.br | 0800 703 3444