Upload
vuphuc
View
218
Download
0
Embed Size (px)
Citation preview
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
CIAS
EXAT
AS, S
OCIA
IS E
APLI
CADA
S Co
mpu
taçã
o e Te
cnolo
gia da
Info
rmaç
ã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.
CIÊN
CIAS
EXAT
AS, S
OCIA
IS E
APLI
CADA
S Co
mpu
taçã
o e Te
cnolo
gia da
Info
rmaç
ã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 Menezes16 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
CIÊN
CIAS
EXAT
AS, S
OCIA
IS E
APLI
CADA
S Co
mpu
taçã
o e Te
cnolo
gia da
Info
rmaç
ão
www.grupoaeditoras.com.br | 0800 703 3444
Linguagens formais e autômatos – 6ª ed.Paulo Blauth Menezes16 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
CIÊN
CIAS
EXAT
AS, S
OCIA
IS E
APLI
CADA
S Co
mpu
taçã
o e Te
cnolo
gia da
Info
rmaç
ã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 Menezes16 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
CIÊN
CIAS
EXAT
AS, S
OCIA
IS E
APLI
CADA
S Co
mpu
taçã
o e Te
cnolo
gia da
Info
rmaç
ã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