série livros didáticos informática ufrgs
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.
•
•
•
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 ilustrações,, exercícios e exemplos
ÁREA DO PROFESSOR 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. •
Apresentações em PowerPoint
Linguagens Formais e Autômatos – 6ª ed. Paulo Blauth Menezes 16 x 23 cm | 256 pág. FEV/2011 | 1/5 | AAA
www.grupoaeditoras.com.br www.grupoaeditoras .com.br | 0800 703 3444
S o A ã ç D a A m C r I o L f n P I A a E d a S i I g A o I l C o O n S c e , T S e A o T ã A ç a X t E u S p A I m C o C N Ê I C
série livros didáticos informática ufrgs
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
SAIBA MAIS
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 co ntexto 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
Linguagens formais e autômatos – 6ª ed. Paulo Blauth Menezes 16 x 23 cm | 256 pág.
FEV/2011 | 2/5 | AAA
www.grupoaeditoras.com.br | 0800 703 3444
S o A ã ç D a A m C r I o L f n P I A a E d a S i I g A o I l C o O n S c e , T S e A o T ã A ç a X t E u S p A I m C o C N Ê I C
S o A ã ç D a A m C r I o L f n P I A a E d a S i I g A o I l C o O n S c e , T S e A o T ã A ç a X t E u S p A I m C o C N Ê I C
série livros didáticos informática ufrgs
Linguagens formais e autômatos – 6ª ed. Paulo Blauth Menezes 16 x 23 cm | 256 pág.
FEV/2011 | 3/5 | AAA
www.grupoaeditoras.com.br | 0800 703 3444
série livros didáticos informática ufrgs
PÚBLICO�ALVO 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 l ivro de consulta tanto para pesquisa, como para extensão e pós-graduação.
SOBRE O AUTOR 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 A SÉRIE 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. Linguagens formais e autômatos – 6ª ed. Paulo Blauth Menezes 16 x 23 cm | 256 pág.
FEV/2011 | 4/5 | AAA
www.grupoaeditoras.com.br | 0800 703 3444
S o A ã ç D a A m C r I o L f n P I A a E d a S i I g A o I l C o O n S c e , T S e A o T ã A ç a X t E u S p A I m C o C N Ê I C
S o A ã ç D a A m C r I o L f n P I A a E d a S i I g A o I l C o O n S c e , T S e A o T ã A ç a X t E u S p A I m C o C N Ê I C
série livros didáticos informática ufrgs
•
•
•
•
•
•
•
•
•
FEV/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
•
•
•
•
•
•
•
•
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)
Implementação de Linguagens de Programação: Compiladores – 3ª ed.
www.grupoaeditoras.com.br | 0800 703 3444
