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