1. Elementos de matemática discreta
2. Conceitos básicos de linguagens 3. Linguagens regulares 4. Linguagens livres de contexto 5. Linguagens sensíveis ao contexto 6. Linguagens recursivas 7. Linguagens recursivamente enumeráveis
Referências Glossário Índice remissivo
Fruto de diversos anos da experiência docente e dedicação dos autores, em diversas instituições de ensino, à disciplina Linguagens Formais e Autômatos, esta obra, repleta de exemplos e exercícios, mitiga a aridez intrínseca dos muitos assuntos estudados, tornando-os mais acessíveis a um público-alvo amplo e diversificado.
LINGUAGENS FORMAIS Teoria e conceitos
LINGUAGENS FORMAIS
8. Conclusões
Concebido como referência para cursos superiores da área de computação, este livro explora tópicos sobre as linguagens definidas pela Hierarquia de Chomsky. Contudo, seu alcance foi expressivamente ampliado pela inclusão de introduções à matemática discreta, aos conceitos básicos de linguagens, à classe das linguagens recursivas, à análise sintática descendente, à decidibilidade e à complexidade.
RAMOS | JOSÉ NETO | VEGA
CONTEÚDO
MARCUS VINICIUS MIDENA RAMOS JOÃO JOSÉ NETO ITALO SANTIAGO VEGA
MARCUS VINICIUS MIDENA RAMOS Doutor em Ciência da Computação pela Universidade Federal de Pernambuco (UFPE). Mestre em Engenharia Elétrica pela Escola Politécnica da Universidade de São Paulo (EPUSP). Professor adjunto do curso de Engenharia de Computação da Universidade Federal do Vale do São Francisco (Univasf).
JOÃO JOSÉ NETO Livre-docente, doutor e mestre em Engenharia Elétrica pela Escola Politécnica da Universidade de São Paulo (EPUSP). Professor associado no Departamento de Engenharia de Computação e Sistemas Digitais (PCS) da EPUSP. Coordenador do Laboratório de Linguagens e Técnicas Adaptativas (LTA) da EPUSP.
ITALO SANTIAGO VEGA Doutor e mestre em Engenharia Elétrica pela Escola Politécnica da Universidade de São Paulo (EPUSP). Professor associado do Departamento de Ciência da Computação da Pontifícia Universidade Católica de São Paulo (PUC-SP).