317884125-MENEZES-Linguagens-Formais-Automatos-6ed

Prévia do material em texto

Apresenta os principais conceitos e resultados de linguagens formais 
e autômatos, de uma forma simples e acessível, sem descuidar do 
desenvolvimento do raciocínio nem dos aspectos matemático-formais. 
FEV/2011 | 1/5 | AAA
CI
ÊN
CI
AS
 EX
AT
AS
, S
OC
IA
IS
 E 
AP
LI
CA
DA
S 
Co
m
pu
ta
çã
o e
 Te
cn
olo
gia
 da
 In
fo
rm
aç
ão
www.grupoaeditoras.com.br | 0800 703 3444
Linguagens Formais e Autômatos – 6ª ed.
Paulo Blauth Menezes
16 x 23 cm | 256 pág.
•	 Nova edição totalmente revisada
•	 Possui uma apresentação que facilita a adequação do texto aos objetivos propostos, 
à carga horária e aos pré-requisitos da disciplina
•	 Rico em ilustrações, exercícios e exemplos
•	 Apresentações em PowerPoint
ÁREA DO PROFESSOR
s é r i e l i v r o s d i d á t i c o s i n f o r m á t i c a u f r g s
Visite o site www.grupoaeditoras.com.br para ter acesso a conteúdos exclusivos que 
complementam o estudo do tema e auxiliam na preparação de aulas.
http://www.artmed.com.br/WEB-PRODUTOS/produto_detalhe.aspx?id_produto=3355
www.grupoaeditoras.com.br
CI
ÊN
CI
AS
 EX
AT
AS
, S
OC
IA
IS
 E 
AP
LI
CA
DA
S 
Co
m
pu
ta
çã
o e
 Te
cn
olo
gia
 da
 In
fo
rm
aç
ão
SUMÁRIO
Capítulo 1. introdução e conceitos básicos 
1.1 introdução 
1.2 conjuntos, relações e funções 
1.3 noções de lógica 
1.4 técnicas de demonstração 
1.5 indução 
1.6 exercícios 
Capítulo 2. linguagens e gramáticas 
2.1 alfabeto 
2.2 palavra 
2.3 linguagem formal 
2.4 gramática 
2.5 exercícios 
Capítulo 3. linguagens regulares 
3.1 sistema de estados finitos 
3.2 composição sequencial, concorrente e não determinista 
3.3 autômato finito 
3.4 autômato finito não determinístico 
3.5 autômato finito com movimentos vazios 
3.6 expressão regular 
3.7 gramática regular 
3.8 exercícios 
Capítulo 4. propriedades das linguagens regulares 
4.1 bombeamento para as linguagens regulares 
4.2 investigação se é linguagem regular 
4.3 operações fechadas sobre as linguagens regulares 
4.4 investigação se uma linguagem regular é vazia, finita 
ou infinita 
4.5 igualdade de linguagens regulares.
4.6 minimização de um autômato finito 
4.7 exercícios 
Capítulo 5. autômato finito com saída 
5.1 máquina de Mealy 
5.2 máquina de Moore 
5.3 equivalência das máquinas de Moore e de Mealy 
5.4 hipertexto e hipermídia como autômato finito com saída 
5.5 animação como autômato finito com saída 
5.6 exercícios 
Capítulo 6. linguagens livres do contexto 
6.1 gramática livre do contexto 
6.2 árvore de derivação 
6.3 gramática livre do contexto ambígua 
6.4 simplificação de gramática livre do contexto 
6.5 formas normais 
6.6 recursão à esquerda 
6.7 autômato com pilha 
6.8 exercícios 
Capítulo 7. propriedades e reconhecimento das 
linguagens livres do contexto 
7.1 propriedades das linguagens livres do contexto 
7.2 algoritmos de reconhecimento 
7.3 exercícios 
Capítulo 8. linguagens recursivamente enumeráveis e 
sensíveis ao contexto 
8.1 máquina de Turing 
8.2 modelos equivalentes à máquina de Turing 
8.3 hipótese de Church 
8.4 máquina de Turing como reconhecedor 
8.5 gramática irrestrita e a linguagem recursivamente 
enumerável 
8.6 linguagem sensível ao contexto 
8.7 propriedades das linguagens recursivamente 
enumeráveis e recursivas 
8.8 exercícios 
Capítulo 9. hierarquia de classes de linguagens e 
conclusões 
9.1 hierarquia de Chomsky 
9.2 conclusões 
9.3 leitura complementar: gramática de grafos 
9.4 exercícios 
Capítulo 10. bibliografia
www.grupoaeditoras.com.br | 0800 703 3444
Linguagens formais e autômatos – 6ª ed.
Paulo Blauth Menezes
16 x 23 cm | 256 pág.
FEV/2011 | 2/5 | AAA
s é r i e l i v r o s d i d á t i c o s i n f o r m á t i c a u f r g s
SAIBA MAIS
http://www.artmed.com.br/WEB-PRODUTOS/produto_detalhe.aspx?id_produto=3355
CI
ÊN
CI
AS
 EX
AT
AS
, S
OC
IA
IS
 E 
AP
LI
CA
DA
S 
Co
m
pu
ta
çã
o e
 Te
cn
olo
gia
 da
 In
fo
rm
aç
ão
www.grupoaeditoras.com.br | 0800 703 3444
Linguagens formais e autômatos – 6ª ed.
Paulo Blauth Menezes
16 x 23 cm | 256 pág.
FEV/2011 | 3/5 | AAA
s é r i e l i v r o s d i d á t i c o s i n f o r m á t i c a u f r g s
http://www.artmed.com.br/WEB-PRODUTOS/produto_detalhe.aspx?id_produto=3355
CI
ÊN
CI
AS
 EX
AT
AS
, S
OC
IA
IS
 E 
AP
LI
CA
DA
S 
Co
m
pu
ta
çã
o e
 Te
cn
olo
gia
 da
 In
fo
rm
aç
ão
Alunos de graduação em informática e computação (Bacharelado em Ciência da Computação, Engenharia 
da Computação, Sistemas de Informação e Licenciatura em Computação), ou para cursos de graduação em 
tecnólogo em Computação ou Informática, podendo ser usado também como livro de consulta tanto para 
pesquisa, como para extensão e pós-graduação.
PÚBLICO-ALVO
Paulo Blauth Menezes é professor e pesquisador do Departamento de Informática Teórica do Instituto de 
Informática da UFRGS, tendo mais de 30 anos de experiência no meio acadêmico.
SOBRE O AUTOR
SOBRE A SÉRIE
www.grupoaeditoras.com.br | 0800 703 3444FEV/2011 | 4/5 | AAA
Linguagens formais e autômatos – 6ª ed.
Paulo Blauth Menezes
16 x 23 cm | 256 pág.
A série Livros Didáticos é uma produção conjunta do Instituto de Informática da Universidade Federal do Rio 
Grande do Sul, um dos mais respeitados centros acadêmicos do Brasil, e da Bookman, uma das mais importantes 
editoras de livros científicos, técnicos e profissionais da América Latina. 
São 17 obras englobando as disciplinas fundamentais dos cursos de computação e informática apresentadas 
de forma didática e de acordo com as diretrizes curriculares do MEC. Organizados por professores renomados, 
os livros são divididos em capítulos que facilitam a preparação das aulas utilizando exemplos detalhados e 
exercícios em níveis crescentes de dificuldade, estimulando o desenvolvimento do raciocínio dos alunos. 
Desde seu lançamento, a série tornou-se um sucesso de vendas, e seus livros foram adotados em diversas 
universidades do Brasil. Então, quando o assunto é conhecimento em computação, você já sabe onde encontrar o 
que realmente interessa. 
s é r i e l i v r o s d i d á t i c o s i n f o r m á t i c a u f r g s
http://www.artmed.com.br/WEB-PRODUTOS/produto_detalhe.aspx?id_produto=3355
CI
ÊN
CI
AS
 EX
AT
AS
, S
OC
IA
IS
 E 
AP
LI
CA
DA
S 
Co
m
pu
ta
çã
o e
 Te
cn
olo
gia
 da
 In
fo
rm
aç
ão
www.grupoaeditoras.com.br | 0800 703 3444FEV/2011 | 5/5 | AAA
•	 Aprendendo Matemática Discreta com Exercícios
•	 Arquitetura de Computadores Pessoais – 2ª ed.
•	 Arquiteturas Paralelas
•	 Complexidade de Algoritmos – 2ª ed.
•	 Concepção de Circuitos Integrados – 2ª ed.
•	 Estruturas de Dados
•	 Fundamentos de Arquitetura de Computadores – 3ª ed.
•	 Fundamentos de Circuitos Digitais
•	 Implementação de Linguagens de Programação: Compiladores – 3ª ed.
•	 Linguagens Formais e Autômatos – 6ª ed.
•	 Matemática Discreta para Computação e Informática (3.ed.)
•	 Projeto de Banco de Dados - 6ª ed.
•	 Redes de Computadores
•	 Sistemas Operacionais - 4ª ed.
•	 Tabelas: Organização e Pesquisa
•	 Teoria das Categorias para Ciência da Computação– 2ª ed.
•	 Teoria da Computação: Máquinas Universais e Computabilidade - 3ª ed. (em breve)
s é r i e l i v r o s d i d á t i c o s i n f o r m á t i c a u f r g s
http://www.artmed.com.br/WEB-PRODUTOS/produto_subgrupo.aspx?id_subgrupo=101