Introdução instrumental às Linguagens Formais

Slides:



Advertisements
Apresentações semelhantes
Fundamentos Históricos da Enfermagem
Advertisements

REPRESENTAÇÕES DE LINGUAGENS Adorilson Bezerra Santa Cruz - RN UNIVERSIDADE DO ESTADO DO RIO GRANDE DO NORTE CAMPUS AVANÇADO DO NATAL DEPARTAMENTO DE CIÊNCIA.
Categorias Computacionais N Um modelo categorial para bancos de dados Vítor De Araújo
1 PROCESSO DE MODELAGEM Modelo Mental: para a solução de problemas simples Reconhecimento do Problema Criação de Alternativas Avaliação de Alternativas.
Disciplina: Lógica e Matemática Computacional Professora: Chaiene Minella, MSc chaiene.yolasite.com.
CEAP – 2010 Disc. Metodologia Científica Profº Luiz Alberto C. Guedes.
Prof. Priscila Tamiozzo.   Modo pelo qual recorremos as experiências passadas com a finalidade de utilizá-las no presente. Enquanto processo, refere-se.
Algoritmos e Estruturas de Dados I
Introdução e Conceitos.
ETAPAS PARA A ELABORAÇÃO DO PROJETO DE ENGENHARIA
PROFESSOR: ALEXSANDRO DE sOUSA
Introdução a Algoritmos
Márcio Soussa Estrutura de Dados Márcio Soussa
Complementos de Engenharia de Software 2005/06
Teoria da Computação Prof. Msc. Ricardo Loiola
Simulação Digital Maria Izabel Cavalcanti Cabral DSC/CCT/UFPB
MODELOS MORFOLÓGICOS Morfologia Prof. Paulo Chagas de Souza 2017.
Capítulo 1 Aspectos Preliminares.
Seleção de Atributos.
ADSD Introdução.
Redes de Telecomunicações I
TEORIA DOS CONJUNTOS.
Teoria das Estruturas I
AULA 2 – Ciberespaço, política e poder
A física é uma ciência experimental
João da Silva, Maria José, Adriana Carla e José Joaquim
Prof. Wellington Franco
Geração automática de testes a partir de modelos UML
TÍTULO DO MEU TRABALHO INTRODUÇÃO O ROBÔ OBJETIVOS
Desenvolvimento de um Robô Móvel Autônomo Teleoperado via Internet
FUNDAMENTOS DE PROGRAMAÇÃO
1º ano, segundo semestre UC Exame Análise Matemática 2 45% Circuitos
Introdução instrumental às Linguagens Formais
EISnt - Centro de Formação em Tecnologia
Algoritmos e Fluxogramas
Arquitetura de Computadores
Semiótica ou teoria dos signos
Extensão para visualização temporal de dados no TerraView
Teoria Geral de Sistemas
Parte 2 - Exemplos Prof. José Marcos Lopes
AUDITORIA “EXAME CUIDADOSO E SISTEMÁTICO DAS ATIVIDADES DESENVOLVIDAS EM DETERMINADA EMPRESA OU SETOR CUJO OBJETIVO É AVERIGUAR SE ELAS ESTÃO DE ACORDO.
Utilização de HQs na Especificação de Requisitos de Software
Programação.
Análise Sintática Botton Up Diomara M. R. Barros
Automação da Produção (Introdução)
Instituto Federal de Santa Catarina
Escola da Tia Teresa – Teresina - PI
O Valor da Tecnologia e a Inovação
Semiótica ou teoria dos signos
A ESPIRAL HERMENÊUTICA: SEMÂNTICA
CURRÍCULO EM REDE/ CAMPO CONCEITUAL
Introdução instrumental às Linguagens Formais
INSTITUTO FEDERAL DO CEARÁ Mauro Oliveira
SableCC José Francisco Pereira Equipe de Monitores
Compiladores, Aula Nº 5 João M. P. Cardoso
Trabalho de Conclusão de Curso I
Processo de Testes Baseados em Modelos: uma Visão Geral
CT Fundamentos de Automata e Linguagens Formais
Raciocínio Lógico e Matemático
Geração de Código Teoria e Implementação de Linguagens Computacionais – IF688 Equipe de Monitores.
Geração de Código Teoria e Implementação de Linguagens Computacionais – IF688 José Francisco Pereira Jobson Ronan
A física é uma ciência experimental
...semana que vem: laboratório!
Semiótica ou teoria dos signos
Compiladores – Introdução
Designação do projeto | Cursos de Especialização Tecnológica (CET) Código do projeto | NORTE FSE Objetivo principal | Investir na educação,
Compiladores – AnáLise léxica
Ementário Noções de hardware e software. Conceitos Fundamentais.
EEEFM Prof.ª Filomena Quitiba
EEEFM Prof.ª Filomena Quitiba
Transcrição da apresentação:

Introdução instrumental às Linguagens Formais Mecatrônica, 2019

O que é “computar” ? Existe programa para solucionar o problema? Dado um programa, ele sempre termina? Dois programas P1 e P2 são equivalentes? Uma determinada solução é a melhor para o problema? (complexidade) Qual o significado de um determinado programa? (semântica) Como ter certeza de que um determinado programa está correto? (construção) Problemas 1 a 3: Teoria das Linguagens Formais e Autômatos

O que é “computar” ? Principais marcos conceituais: Máquina de Turing (1936) Gramáticas de Chomsky (1959) Algoritmos de Markov (1951) Lambda Calculus (Church, 1941)

Linguagens formais Definições básicas Alfabeto: conjunto de símbolos. Sentença: uma sentença sobre um alfabeto é uma cadeia finita de símbolos do alfabeto. Linguagem:um subconjunto de sentenças sobre um alfabeto Gramática: representação finita de uma linguagem

Tipos de linguagens Hierarquia de Chomsky

Gramática

Gramática Exemplo

ANTLR Gerador automático de reconhecedores sintáticos “callbacks” para a parte semântica Aplicação ao PI7: reconhecedor de código G Atividades: Integrar o reconhecedor ao código do PI7 Links relevantes https://tomassetti.me/antlr-mega-tutorial/#setup-antlr Especial atenção ao item 18 (criação de Listener)

Bibliografia João José Neto. “Linguagens Formais: Teoria, Modelagem e Implementação” Paulo Blauth Menezes. “Linguagens formais e autômatos” Apostila do prof. Olinto Furtado