Gramáticas ( [HMU00], Cap. 5.1)
|
|
- Vanessa Melgaço Pacheco
- 6 Há anos
- Visualizações:
Transcrição
1 Gramáticas ( [HMU00], Cap. 5.1) Vimos que a seguinte linguagem não é regular L = {0 n 1 n n 0} Contudo podemos fácilmente dar uma definição indutiva das suas palavras: 1. ɛ L 2. Se x L então 0x1 L L é a linguagem de {0, 1} obtida por aplicação, uma ou mais vezes, da seguintes regras: (1) P ɛ (2) P 0P 1 que definem a categoria sintáctica P, que representa as palavras de L. Por exemplo, 0011 L pois P 0P 1 00P Departamento de Ciência de Computadores da FCUP MC Aula 12 1
2 Gramática para o Português f rase f rase nominal f rase verbal f rase nominal determinante f rase nominal1 f rase nominal1 nome c adjs f rase nominal1 nome p adjs adj adjs adjs ɛ f rase verbal verbo i f rase verbal verbo t f rase nominal nome c gato nome c rato nome p joana verbo i dorme verbo t comeu determinante o adj preto Departamento de Ciência de Computadores da FCUP MC Aula 12 2
3 Esta gramática deriva a frase o gato preto comeu o rato, mas não a frase gato rato comeu o. Departamento de Ciência de Computadores da FCUP MC Aula 12 3
4 f rase f rase nominal f rase verbal determinante f rase nominal1 f rase verbal o f rase nominal1 f rase verbal o nome c adjs f rase verbal o gato adjs f rase verbal o gato adj adjs f rase verbal o gato preto frase verbal o gato preto verbo t f rase nominal o gato preto comeu frase nominal o gato preto comeu determinante f rase nominal1 o gato preto comeu o frase nominal1 o gato preto comeu o nome c o gato preto comeu o rato Departamento de Ciência de Computadores da FCUP MC Aula 12 4
5 Gramática para expressões aritméticas E E E E E+E E (E) E I I D I DI Uma derivação para 5 (6 + 19) D 0 D 1 D 2 D 3 D 4 D 5 D 6 D 7 D 8 D 9 E E E I E D E 5 E 5 (E) 5 (E + E) 5 (I + E) 5 (D + E) 5 (6 + E) 5 (6 + I) 5 (6 + DI) 5 (6 + 1I) 5 (6 + 1D) 5 (6 + 19) Departamento de Ciência de Computadores da FCUP MC Aula 12 5
6 A linguagem L sobre {a,b} descrita pela expressão regular a(a +b )b pode ser descrita pela gramática seguinte: S at b T A T B A aa A ɛ B bb B ɛ abbb L, porque:s at b abb abbb abbbb abbɛb abbb ab L, porque:s at b abb aɛb ab aaaab L, porque:s at b aab aaab aaaab aaaaab aaaaɛb aaaab Departamento de Ciência de Computadores da FCUP MC Aula 12 6
7 aaabbb L porque depois do segundo a a palavra só pode ter um único b no fim. Depois de aplicada a regra para A, só podem ser derivados a. Departamento de Ciência de Computadores da FCUP MC Aula 12 7
8 Gramáticas Independentes de Contexto Uma gramática independente de contexto é um quádruplo G = (V, Σ, P, S) V é um conjunto finito não vazio de variáveis ou não terminais (ou categorias sintáticas) Σ é um conjunto finito não vazio, disjunto de V, alfabeto ou conjunto de terminais S V é o símbolo inicial de G P é uma relação binária finita de V em (V Σ). Os elementos de P denominam-se produções ou regras.se (X, w) P escreve-se X w Se existirem várias regras para um mesmo não terminal X podemos abreviar numa, separando-as com do lado direito X α 1, X α 2, X α 3 fica X α 1 α 2 α 3 Departamento de Ciência de Computadores da FCUP MC Aula 12 8
9 Porquê Independentes de contexto? Porque as regras que definem um não terminal X não estão restritas a um contexto. Para gramáticas mais gerais podemos ter regras do tipo α β com α, β (V Σ), α ε e no caso das GIC tem de se ter α V! Aplicações As GICs permitem descrever conjuntos infinitos de um modo finito.são especialmente utilizadas para a descrição da sintaxe de linguagens programação. Departamento de Ciência de Computadores da FCUP MC Aula 12 9
10 Exemplos de GIC G 1 = ({E, D, I}, {0, 1, 2, 3, 4, 5, 6, 7, 8, 9,, +, (, )}, {E E E E + E (E) I, I D DI, D }, E) G 2 = ({S}, {0, 1}, {S 0S1 ε}, S) G 4 = ({S}, {(, )}, {S (S) SS ɛ}, S) G 3 = ({S, A, B}, {a, b}, {S ab ba, A a as baa, B b bs abb}, S) A linguagem que uma gramática gera é constituída pelas palavras que podem ser derivadas a partir do símbolo inicial (usando as regras). Departamento de Ciência de Computadores da FCUP MC Aula 12 10
11 Derivação num passo Seja G = (V, Σ, P, S) e α, β (V Σ). β é derivável de α num passo α 1 G β se β resulta de α substituindo uma ocorrência dum não terminal A em α por γ, onde A γ P. Isto é, se existem α 1, α 2 (V Σ) tal que α = α 1 Aα 2 e β = α 1 γα 2 1 G é uma relação binária em (V Σ) Sendo G = ({S, A, B}, {a, b}, {S ab ba, A a as baa, B b bs abb}, S) aaab 1 G aaasb com α 1 = aa, α 2 = b e a regra A as. Departamento de Ciência de Computadores da FCUP MC Aula 12 11
12 Derivação em n passos Define-se a relação n G, derivação em n passos por indução para n 0: α 0 G α 1 G α, para α (V Σ) β, derivação num passo α n+1 G β, se existe γ tal que α n G γ e γ 1 G β Derivação A relação de derivação G é o fecho reflexivo e transitivo da relação derivação num passo 1 G, isto é G= n 0 n G Se α (V Σ) diz-se que é uma forma sentencial.uma forma sentencial α é uma frase se consiste apenas em símbolos terminais (α Σ ). Departamento de Ciência de Computadores da FCUP MC Aula 12 12
13 Linguagem gerada por uma GIC A linguagem gerada por G = (V, Σ, P, S), L(G) é o conjunto L(G) = {x Σ S G x} Uma linguagem A Σ é independente de contexto, se A = L(G) para alguma gramática independente de contexto G. Duas gramáticas G 1 e G 2 são equivalentes se L(G 1 ) = L(G 2 ). Departamento de Ciência de Computadores da FCUP MC Aula 12 13
14 A linguagem L = {0 n 1 n n 0 } é IC Temos que mostrar que existe uma GIC G tal que L = L(G). Seja a gramática G 2 = ({S}, {0, 1}, {S 0S1 ε}, S) Por exemplo, L(G 2 )porque: S 1 G 2 0S1 1 G 2 00S11 1 G 2 000S111 1 G 2 000ɛ111 = i.e, Lema n 0, S n+1 G 2 Dem. Por indução em n. S 4 G n 1 n Vamos mostrar que L(G 2 ) = L ( ) Pelo lema 12.1 se x L então x L(G 2 ). ( ) Inversamente, se x L(G 2 ) então x é da forma 0 n 1 n, o que pode ser mostrado por indução no número de passos de derivação: Departamento de Ciência de Computadores da FCUP MC Aula 12 14
15 Base. Se n = 1 então x = ɛ Indução. Se S n+1 x então S 1 0S1 n 0y1 = x e por hipótese de indução y é da forma 0 m 1 m. Donde x = 0 m+1 1 m+1 L Departamento de Ciência de Computadores da FCUP MC Aula 12 15
16 Leituras [HMU00] (Cap. 5.1) Referências [HMU00] John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison Wesley, 2nd edition, [Tom99] Ana Paula Tomás. Apontamentos de modelos de computação. Technical report, Departamento de Ciência de Computadores, FCUP, Departamento de Ciência de Computadores da FCUP MC Aula 12 16
Alfabeto e palavras. Alfabeto conjunto finito de símbolos (Σ).
Alfabeto e palavras Alfabeto conjunto finito de símbolos (Σ). {A,...,Z}, {α, β,... }, {a,b}, {0,1}, ASCII Palavra de Σ sequência finita de símbolos do alfabeto Σ Σ = {a, b} aabba a aaaaaaaa Comprimento
Leia maisAutómatos finitos não determinísticos (AFND)
Autómatos finitos não determinísticos (AFND) [HMU00](Cap 2.3) Computações não determinísticas: o estado seguinte não é univocamente determinado pelo estado actual.num autómato finito (não-determínistico):
Leia maisCapítulo 5. Linguagens livres de contexto
Capítulo 5 Linguagens livres de contexto 5.1. Gramáticas livres de contexto 5.2. Parsing e ambiguidade 5.3. CFG e linguagens de programação 221 5.1. 1Gramáticas ái livres de contexto na parte esquerda
Leia maisOutras Máquinas de Turing
Capítulo 10 Outras Máquinas de Turing 10.1. Pequenas variações da TM padrão 10.2. MT s com dispositivos de armazenamento mais complexos 10.3. MT s não-determinísticas 10.4. A Máquina de Turing Universal
Leia maisTeoria da Computação Linguagens e Expressões Regulares, Autómatos de Estados Finitos
Teoria da Computação Linguagens e Expressões Regulares, Autómatos de Estados Finitos Simão Melo de Sousa 12 de Outubro de 2011 Conteúdo 1 Linguagens e Expressões Regulares 2 2 Autómatos de Estados Finitos
Leia maisOs limites da computação algorítmica
Capítulo 12 Os limites da computação algorítmica 12.1. Problemas que não podem ser resolvidos pelas MT. 12.2. Problemas indecidíveis para LRE 12.3. Problema da correspondência de Post 12.4. Problemas indecidíveis
Leia maisFundamentos de Bancos de Dados 3 a Prova Caderno de Questões
Fundamentos de Bancos de Dados 3 a Prova Caderno de Questões Prof. Carlos A. Heuser Dezembro de 2009 Duração: 2 horas Prova com consulta Questão 1 (Construção de modelo ER) Deseja-se projetar a base de
Leia maisGramáticas Livres de Contexto
Gramáticas Livres de Contexto 25 de novembro de 2011 Definição 1 Uma Regra (ou produção) é um elemento do conjunto V (V Σ). Sendo que V é um conjunto finito de elementos chamados de variáveis e Σ um conjunto
Leia maisApostila 03 Linguagens Livres de Contexto
Cursos: Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação Disciplinas: (1493A) Teoria da Computação e Linguagens Formais, (4623A) Teoria da Computação e Linguagens Formais e
Leia maisInversão de Matrizes
Inversão de Matrizes Prof. Márcio Nascimento Universidade Estadual Vale do Acaraú Centro de Ciências Exatas e Tecnologia Curso de Licenciatura em Matemática Disciplina: Álgebra Matricial - 2014.2 13 de
Leia maisAutômatos a pilha. UFRN/DIMAp/DIM0330 Linguagens formais. David Déharbe. http://www.consiste.dimap.ufrn.br/ david/enseignement/2003.
UFRN/DIMAp/DIM0330 Linguagens formais http://www.consiste.dimap.ufrn.br/ david/enseignement/2003.1/dim0330 1/36 Autômatos a pilha David Déharbe UFRN/DIMAp Campus Universitário, Lagoa Nova, 59072-970 Natal,
Leia maisFaculdade de Computação
UNIVERSIDADE FEDERAL DE UBERLÂNDIA Faculdade de Computação Disciplina : Teoria da Computação Professora : Sandra de Amo Lista de Exercícios n o 2 Revisão de Autômatos 1. Fazer os seguintes exercícios do
Leia maisRecorrendo à nossa imaginação podemos tentar escrever números racionais de modo semelhante: 1 2 = 1 + 3 + 32 +
1 Introdução Comecemos esta discussão fixando um número primo p. Dado um número natural m podemos escrevê-lo, de forma única, na base p. Por exemplo, se m = 15 e p = 3 temos m = 0 + 2 3 + 3 2. Podemos
Leia maisModelagem de uma Vending Machine utilizando um Autômato Finito com Saída
Modelagem de uma Vending Machine utilizando um Autômato Finito com Saída Ailton Sérgio Bonifácio Yandre Maldonado e Gomes da Costa Mestrado em Ciência da Computação - FACCAR/UFRGS ailton@uel.br, yandre@din.uem.br
Leia maisLinguagens Formais e Compilação Ficha de exercícios
Linguagens Formais e Compilação Ficha de exercícios Simão Melo de Sousa 1 Linguagens Formais: Construir Frases Exercício 1 Para cada uma das gramáticas G seguintes, (a) descreva a linguagem L(G) gerada
Leia maisGramáticas Livres de Contexto
Conteúdo da aula Gramáticas Livres de Contexto Marcelo Johann Trabalho - primeira etapa Definição, código e estrutura Mais elementos e detalhes de lex GLCs Gramática, produção, derivações, árvores Ambíguas,
Leia mais6.3 Equivalência entre Autômatos com Pilha Não-Determinísticos e Gramáticas Livre do Contexto
Capítulo 6. Autômatos com Pilha 6.3 Equivalência entre Autômatos com Pilha Não-Determinísticos e Gramáticas Livre do Contexto Nos exemplos da seção anterior, vimos que os autômatos com pilha existem para
Leia maisExercícios e questões de Álgebra Linear
CEFET/MG Exercícios e questões de Álgebra Linear Versão 1.2 Prof. J. G. Peixoto de Faria Departamento de Física e Matemática 25 de outubro de 2012 Digitado em L A TEX (estilo RevTEX). 2 I. À GUISA DE NOTAÇÃO
Leia maisLista n 0 1 de Exercícios de Teoria da Computação
Lista n 0 1 de Exercícios de Teoria da Computação UFU-Curso de Bacharelado em Ciência da Computação - 7 0 período Profa. Sandra de Amo Exercícios de Revisão : Autômatos e Gramáticas 1. Mostre que a linguagem
Leia maisI. Conjunto Elemento Pertinência
TEORI DOS CONJUNTOS I. Conjunto Elemento Pertinência Conjunto, elemento e pertinência são três noções aceitas sem definição, ou seja, são noções primitivas. idéia de conjunto é praticamente a mesma que
Leia maisCap. II EVENTOS MUTUAMENTE EXCLUSIVOS E EVENTOS NÃO- EXCLUSIVOS
Cap. II EVENTOS MUTUAMENTE EXCLUSIVOS E EVENTOS NÃO- EXCLUSIVOS Dois ou mais eventos são mutuamente exclusivos, ou disjuntos, se os mesmos não podem ocorrer simultaneamente. Isto é, a ocorrência de um
Leia maisEntropia, Entropia Relativa
Entropia, Entropia Relativa e Informação Mútua Miguel Barão (mjsb@di.uevora.pt) Departamento de Informática Universidade de Évora 13 de Março de 2003 1 Introdução Suponhamos que uma fonte gera símbolos
Leia maisConhecimentos Bancários. Item 3.8 - Derivativos
Conhecimentos Bancários Item 3.8 - Derivativos Conhecimentos Bancários Item 3.8 - Derivativos São instrumentos financeiros que têm seus preços derivados (daí o nome) do preço de mercado de um bem ou de
Leia maisM =C J, fórmula do montante
1 Ciências Contábeis 8ª. Fase Profa. Dra. Cristiane Fernandes Matemática Financeira 1º Sem/2009 Unidade I Fundamentos A Matemática Financeira visa estudar o valor do dinheiro no tempo, nas aplicações e
Leia maisLógica para computação Professor Marlon Marcon
Lógica para computação Professor Marlon Marcon INTRODUÇÃO O objetivo geral da logica formal é a mecanização do raciocnio, ou seja, A obtenção de informação a partir de informações prévias por meio de recursos
Leia maisInteligência Artificial
Inteligência Artificial Aula 7 Programação Genética M.e Guylerme Velasco Programação Genética De que modo computadores podem resolver problemas, sem que tenham que ser explicitamente programados para isso?
Leia maisAula 5. Uma partícula evolui na reta. A trajetória é uma função que dá a sua posição em função do tempo:
Aula 5 5. Funções O conceito de função será o principal assunto tratado neste curso. Neste capítulo daremos algumas definições elementares, e consideraremos algumas das funções mais usadas na prática,
Leia maisPró-Reitoria de Ensino de Graduação P L A N O D E E N S I N O
Pró-Reitoria de Ensino de Graduação P L A N O D E E N S I N O Curso: Ciência da Computação Unidade Curricular: Linguagem Formais e Autômatos Modalidade: Presencial (X ) Semipresencial ( ) Período: 4º Ano/
Leia maisp. 2 Trechos de Material Didático (Apostila) e Conteúdo do Livro Texto, de autoria de Marcus Ramos, João José Neto e Ítalo Vega i <= 1
Observação: os trechos extraídos do livro apresentados a seguir já incluem as correções da errata (http://www.univasf.edu.br/~marcus.ramos/livro-lfa/errata.pdf). Para outras passagens não incluídas nesse
Leia maisExercício. Exercício
Exercício Exercício Aula Prática Utilizar o banco de dados ACCESS para passar o MER dos cenários apresentados anteriormente para tabelas. 1 Exercício oções básicas: ACCESS 2003 2 1 Exercício ISERIDO UMA
Leia maisUnidade 1: O Computador
Unidade : O Computador.3 Arquitetura básica de um computador O computador é uma máquina que processa informações. É formado por um conjunto de componentes físicos (dispositivos mecânicos, magnéticos, elétricos
Leia maisUniversidade Federal de Goiás Campus Catalão Departamento de Matemática
Universidade Federal de Goiás Campus Catalão Departamento de Matemática Disciplina: Álgebra Linear Professor: André Luiz Galdino Aluno(a): 4 a Lista de Exercícios 1. Podemos entender transformações lineares
Leia maisAcionamento de Motores: PWM e Ponte H
Warthog Robotics USP São Carlos www.warthog.sc.usp.br warthog@sc.usp.br Acionamento de Motores: PWM e Ponte H Por Gustavo C. Oliveira, Membro da Divisão de Controle (2014) 1 Introdução Motores são máquinas
Leia maisO Cálculo λ sem Tipos
Capítulo 2 O Cálculo λ sem Tipos 21 Síntaxe e Redução Por volta de 1930 o cálculo lambda sem tipos foi introduzido como uma fundação para a lógica e a matemática Embora este objectivo não tenha sido cumprido
Leia maisCorrente elétrica, potência, resistores e leis de Ohm
Corrente elétrica, potência, resistores e leis de Ohm Corrente elétrica Num condutor metálico em equilíbrio eletrostático, o movimento dos elétrons livres é desordenado. Em destaque, a representação de
Leia maisAV2 - MA 12-2011 UMA SOLUÇÃO
Questão 1. Considere os caminhos no plano iniciados no ponto (0, 0) com deslocamentos paralelos aos eixos coordenados, sempre de uma unidade e no sentido positivo dos eixos x e y (não se descarta a possibilidade
Leia maisLinguagens, Gramáticas e Máquinas
Linguagens, Gramáticas e Máquinas 1 INTRODUÇÃO Pode-se olhar um computador como uma máquina M que tem as propriedades descritas a seguir. A cada instante, M tem um "estado interno", M lê alguma "entrada",
Leia maisExercícios de Teoria da Computação Autómatos, gramáticas e expressões regulares
Licenciatura em Engenharia Informática e de Computadores - LEIC Licenciatura em Engenharia de Redes de Comunicação e Informação - LERCI Exercícios de Teoria da Computação Autómatos, gramáticas e expressões
Leia maisIntrodução aos Computadores Introdução à Ciência de Computadores Outubro 2011 1 / 16
Introdução aos Computadores Introdução à Ciência de Computadores Nelma Moreira Departamento de Ciência de Computadores da FCUP Outubro 2011 Introdução aos Computadores Introdução à Ciência de Computadores
Leia mais8 AULA. Operações com Conjuntos: União e Interseção LIVRO. META: Introduzir algumas propriedades da união e da interseção de conjuntos.
1 LIVRO Operações com Conjuntos: União e Interseção 8 AULA META: Introduzir algumas propriedades da união e da interseção de conjuntos. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Demonstrar
Leia maisCadeira de Tecnologias de Informação. Ano lectivo 2009/2010. Sites dinâmicos. Com Expression Web TI2009/10 EWD_1. Filipa Pires da Silva (2009)
Cadeira de Tecnologias de Informação Ano lectivo 2009/2010 Sites dinâmicos Com Expression Web TI2009/10 EWD_1 .ASPX vs.html HTML: HTML é uma linguagem para descrever páginas web HTML significa Hyper Text
Leia maisErros de Estado Estacionário. Carlos Alexandre Mello. Carlos Alexandre Mello cabm@cin.ufpe.br 1
Erros de Estado Estacionário Carlos Alexandre Mello 1 Introdução Projeto e análise de sistemas de controle: Resposta de Transiente Estabilidade Erros de Estado Estacionário (ou Permanente) Diferença entre
Leia maisÁrvores de Derivação para GLC Ambigüidade nas GLC Precedência, Prioridade e Associatividade de operadores
Árvores de Derivação para GLC Ambigüidade nas GLC Precedência, Prioridade e Associatividade de operadores 1 Árvores de Derivação para GLC GLC são as mais importantes para a definição de linguagens de programação
Leia maisEngenharia de Software II
Engenharia de Software II Aula 26 http://www.ic.uff.br/~bianca/engsoft2/ Aula 26-21/07/2006 1 Ementa Processos de desenvolvimento de software Estratégias e técnicas de teste de software Métricas para software
Leia maisIntrodução ao determinante
ao determinante O que é? Quais são suas propriedades? Como se calcula (Qual é a fórmula ou algoritmo para o cálculo)? Para que serve? Álgebra Linear II 2008/2 Prof. Marco Cabral & Prof. Paulo Goldfeld
Leia maisCRIAÇÃO DE TABELAS NO ACCESS. Criação de Tabelas no Access
CRIAÇÃO DE TABELAS NO ACCESS Criação de Tabelas no Access Sumário Conceitos / Autores chave... 3 1. Introdução... 4 2. Criação de um Banco de Dados... 4 3. Criação de Tabelas... 6 4. Vinculação de tabelas...
Leia maisENG1000 Introdução à Engenharia
ENG1000 Introdução à Engenharia Aula 09 Vetores e Matrizes Edirlei Soares de Lima Introdução Até agora nós temos usado variáveis simples para armazenar valores usados por nossos
Leia maisConteúdos: Língua, Linguagens e códigos Linguagem verbal e não verbal
Conteúdos: Língua, Linguagens e códigos Linguagem verbal e não verbal Habilidades: Reconhecer a leitura de textos verbais e não verbais como possibilidade de acesso a diferentes informações Valorizar a
Leia maisDefinição 2.2 (Palavra) As sequências finitas de letras são designadas por palavras sobre o alfabeto V.
Capítulo 2 Definição de Linguagens 2.1 Linguagens Formais Definição 2.1 (Alfabeto) Um conjunto finito e não vazio de símbolos arbitrários é designado por um alfabeto, e é denotado por V. Os elementos de
Leia maisLINGUAGENS, CÓDIGOS E SUAS TECNOLOGIAS
LINGUAGENS, CÓDIGOS E SUAS TECNOLOGIAS GRAMÁTICA - Prof. CARLA CAMPOS De sonhos e conquistas Aluno (a): MORFOLOGIA CLASSE GRAMATICAL SUBSTANTIVO: é o que dá nome a todos os seres: vivos, inanimados, racionais,
Leia maisOptimização e Algoritmos (2004/2005)
Optimização e Algoritmos (2004/2005) Instituto Superior Técnico Engenharia Electrotécnica e de Computadores Série de Problemas 3 Regras de Armijo e Wolfe, Introdução às funções convexas Problema 1.[Regras
Leia maisProf. Daniela Barreiro Claro
O volume de dados está crescendo sem parar Gigabytes, Petabytes, etc. Dificuldade na descoberta do conhecimento Dados disponíveis x Análise dos Dados Dados disponíveis Analisar e compreender os dados 2
Leia maisIFRN - Campus Parnamirim Curso de eletricidade turma de redes de Computadores 2011.2. Figura 35 Relé eletromecânico
Figura 35 Relé eletromecânico Figura 36 Aplicação para o relé eletromecânico INFORMAÇÕES IMPORTANTES SOBRE OS INDUTORES Três conclusões muito importantes podem ser tiradas em relação ao comportamento do
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada. antunes@ibilce.unesp.br, socorro@ibilce.unesp.
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br Grafos e Algoritmos Preparado a partir do texto: Rangel, Socorro.
Leia maisCurso de Formação de Oficiais Conhecimentos Específicos ENGENHARIA DE COMPUTAÇÃO CADERNO DE QUESTÕES
Curso de Formação de Oficiais Conhecimentos Específicos ENGENHARIA DE COMPUTAÇÃO CADERNO DE QUESTÕES 2014 1 a QUESTÃO Valor: 1,00 a) (0,30) Defina gramáticas livre de contexto. b) (0,30) Crie uma gramática
Leia maisÁlgebra Linear Aplicada à Compressão de Imagens. Universidade de Lisboa Instituto Superior Técnico. Mestrado em Engenharia Aeroespacial
Álgebra Linear Aplicada à Compressão de Imagens Universidade de Lisboa Instituto Superior Técnico Uma Breve Introdução Mestrado em Engenharia Aeroespacial Marília Matos Nº 80889 2014/2015 - Professor Paulo
Leia maisRelações. Antonio Alfredo Ferreira Loureiro. loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro. UFMG/ICEx/DCC MD Relações 1
Relações Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Relações 1 Introdução O mundo está povoado por relações: família, emprego, governo, negócios, etc. Entidades
Leia maiswww.sysdevsolutions.com Driver Next Versão 1.0 de 07-03-2011 Português
Driver Next Versão 1.0 de 07-03-2011 Português Índice Configuração dos documentos no Backofficce... 3 O Driver ERP Next... 6 Configurações principais... 6 Configurações do vendedor... 7 Configurações do
Leia maisModelo Lógico: Tabelas, Chaves Primárias e Estrangeiras
Modelo Lógico: Tabelas, Chaves Primárias e Estrangeiras Apresentar a próxima etapa da modelagem de dados: o modelo lógico e os conceitos de tabelas, chaves primárias e estrangeiras e como o banco de dados
Leia maisEstruturas de Repetição
Estruturas de Repetição Lista de Exercícios - 04 Algoritmos e Linguagens de Programação Professor: Edwar Saliba Júnior Estruturas de Repetição O que são e para que servem? São comandos que são utilizados
Leia maisEXERCÍCIOS DE ÁLGEBRA LINEAR E GEOMETRIA ANALÍTICA (sistemas de equações lineares e outros exercícios)
UNIVERSIDADE DO ALGARVE ESCOLA SUPERIOR DE TECNOLOGIA EXERCÍCIOS DE ÁLGEBRA LINEAR E GEOMETRIA ANALÍTICA (sistemas de equações lineares e outros eercícios) ÁREA DEPARTAMENTAL DE ENGENHARIA CIVIL Eercícios
Leia maisINDUÇÃO MATEMÁTICA. Primeiro Princípio de Indução Matemática
INDUÇÃO MATEMÁTICA Indução Matemática é um método de prova matemática tipicamente usado para estabelecer que um dado enunciado é verdadeiro para todos os números naturais, ou então que é verdadeiro para
Leia maisMATÉRIA TÉCNICA APTTA BRASIL SENSORES MAGNETO-RESTRITIVOS UM CRUZAMENTO DE DOIS TIPOS DE SENSORES CONHECIDOS.
MATÉRIA TÉCNICA APTTA BRASIL SENSORES MAGNETO-RESTRITIVOS UM CRUZAMENTO DE DOIS TIPOS DE SENSORES CONHECIDOS. Figura 1: Aqui uma vista dos sensores do eixo comando de válvulas de um NISSAN Máxima 2012.
Leia maisDefinição de determinantes de primeira e segunda ordens. Seja A uma matriz quadrada. Representa-se o determinante de A por det(a) ou A.
Determinantes A cada matriz quadrada de números reais, pode associar-se um número real, que se designa por determinante da matriz Definição de determinantes de primeira e segunda ordens Seja A uma matriz
Leia maisUsando potências de 10
Usando potências de 10 A UUL AL A Nesta aula, vamos ver que todo número positivo pode ser escrito como uma potência de base 10. Por exemplo, vamos aprender que o número 15 pode ser escrito como 10 1,176.
Leia maisLEITURA E ESCRITA FOTO NOME DESCRIÇÃO
MATERIAL DE INTERVENÇÃO LEITURA E ESCRITA FOTO NOME DESCRIÇÃO 28,29 + IVA (23%) Loto Palavras e Animais Loto de 72 animais para trabalhar a associação de duas formas: imagem com imagem ou imagem com palavra.
Leia maisAnálise de Sistemas 3º Bimestre (material 2)
Análise de Sistemas 3º Bimestre (material 2) Professor: José Ronaldo Leles Júnior Turma: 2º ano do curso de Sistemas de Informação UEG Universidade Estadual de Goiás Campus Posse POO Paradigma Orientado
Leia maisa) O Word é um editor de TEXTOS. Com ele é possível digitar cartas, currículos e trabalhos escolares.
START - WORD Respostas dos Exercícios CAPÍ TULO 1 1. Complete as frases usando as palavras do quadro: JANELA TEXTOS TÍTULO ZOOM a) O Word é um editor de TEXTOS. Com ele é possível digitar cartas, currículos
Leia maisMódulo de Equações do Segundo Grau. Equações do Segundo Grau: Resultados Básicos. Nono Ano
Módulo de Equações do Segundo Grau Equações do Segundo Grau: Resultados Básicos. Nono Ano Equações do o grau: Resultados Básicos. 1 Exercícios Introdutórios Exercício 1. A equação ax + bx + c = 0, com
Leia maisModelo Entidade Relacionamento (MER) Professor : Esp. Hiarly Alves
Tópicos Apresentação Entidade, Atributo e Relacionamento Cardinalidade Representação simbólica Generalizações / Especializações Agregações Apresentação O Modelo Entidade-Relacionamento tem o objetivo de
Leia maisCristais e Filtros Piezelétricos
UERJ Circuitos de Comunicação Prof. Gil Pinheiro Circuitos de Comunicação Cristais e s Piezelétricos Gil Pinheiro UERJ/FEN/DETEL UERJ Circuitos de Comunicação Prof. Gil Pinheiro Objetivo: s passabanda
Leia maisIntrodução de XML. Dados da Web. Gerência de Dados da Web. A Web representa, nos dias de hoje, um repositório universal de dados, onde:
Dados da Web Introdução de XML Banco de Dados II Prof. Guilherme Tavares de Assis Universidade Federal de Ouro Preto UFOP Instituto de Ciências Exatas e Biológicas ICEB Departamento de Computação DECOM
Leia maisAdriana da Silva Santi Coord. Pedagógica de Matemática SMED - Abril/2015
GEOMETRIA Adriana da Silva Santi Coord. Pedagógica de Matemática SMED - Abril/2015 O MATERIAL COMO SUPORTE DO PENSAMENTO Muita gente usa o material na sala de aula como se a Geometria estivesse no material.
Leia maisINICIADOS - 2ª Sessão ClubeMath 7-11-2009
INICIADOS - 2ª Sessão ClubeMath 7-11-2009 Adivinhar o dia de aniversário de outra pessoa e o mês Temos uns cartões mágicos, que vão permitir adivinhar o dia de aniversário de qualquer pessoa e outros que
Leia maisEm linguagem matemática, essa proprieade pode ser escrita da seguinte maneira: x. 1 = x Onde x representa um número natural qualquer.
MATEMÁTICA BÁSICA 5 EXPRESSÕES ALGÉBRICAS - EQUAÇÕES A expressão numérica é aquela que apresenta uma sequência de operações e de números. Também já sabemos que as letras são usadas em Matemática para representar
Leia maisRoteiro da Aula 3. Sintaxe. 2 Exemplos. 4 Propriedades de Fechamento. Teoria da. 116360 Aula 3. Roteiro
636 da Finitos Nãoterminísticos Finitos Não-terminísticos Sintaxe Semântica 2 3 4 5 636 Finitos Nãoterminísticos Sintaxe Semântica Não-terminismo Determinístico Exatamente uma trajetória sobre uma w Σ.
Leia maisLista de Exercícios 5: Soluções Teoria dos Conjuntos
UFMG/ICEx/DCC DCC Matemática Discreta Lista de Exercícios 5: Soluções Teoria dos Conjuntos Ciências Exatas & Engenharias 2 o Semestre de 206. Escreva uma negação para a seguinte afirmação: conjuntos A,
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Predicados com duas variáveis. Equivalências lógicas (Rosen 39) Negando
Leia maisPolos Olímpicos de Treinamento. Aula 1. Curso de Teoria dos Números - Nível 3. Divisibilidade 1. Carlos Gustavo Moreira e Samuel Barbosa Feitosa
Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 3 Carlos Gustavo Moreira e Samuel Barbosa Aula 1 Divisibilidade 1 Teorema 1. (Algoritmo da Divisão) Para quaisquer inteiros positivos
Leia mais=E4/26 F10 =F4 = G4+F5
HISTOGRAMA O histograma é uma forma gráfica de apresentar a distribuição de freqüências de uma variável. O histograma é um gráfico de barras verticais construído com os resultados da tabela de freqüências.
Leia maisLinguagem Formais e Autômatos
Linguagem Formais e Autômatos Apresentação da disciplina, metodologia de ensino, conteúdos, avaliações e bibliografia Prof. MSc. Hugo Vieira L. Souza Este documento está sujeito a copyright. Todos os direitos
Leia maisFundamentos de Programação. Diagrama de blocos
Fundamentos de Programação Diagrama de blocos Prof. M.Sc.: João Paulo Q. dos Santos E-mail: joao.queiroz@ifrn.edu.br Página: http://docente.ifrn.edu.br/joaoqueiroz/ O processo de desenvolvimento (programação),
Leia mais1.2. Recorrendo a um diagrama em árvore, por exemplo, temos: 1.ª tenda 2.ª tenda P E E
Prova de Matemática do 3º ciclo do Ensino Básico Prova 927 1ª Chamada 1. 1.1. De acordo com enunciado, 50% são portugueses (P) e 50% são espanhóis (E) e italianos (I). Como os Espanhóis existem em maior
Leia maisMatemática Discreta - 08
Universidade Federal do Vale do São Francisco urso de Engenharia da omputação Matemática Discreta - 08 Prof. Jorge avalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisInformação Prova de Equivalência à Frequência - 2015. Agrupamento de Escolas de ANTÓNIO NOBRE. DISCIPLINA: Inglês CÓDIGO DA PROVA: 358
DISCIPLINA: Inglês CÓDIGO DA PROVA: 358 CICLO: Secundário ANO DE ESCOLARIDADE: 12º Introdução O presente documento visa divulgar as características da prova de exame de equivalência à frequência da disciplina
Leia maisDisciplina: Álgebra Linear - Engenharias ], C = Basta adicionar elemento a elemento de A e B que ocupam a mesma posição na matriz.
Universidade Federal de Goiás Campus Catalão Departamento de Matemática Disciplina: Álgebra Linear - Engenharias Professor: André Luiz Galdino Gabarito da 1 a Lista de Exercícios 1. Sejam Encontre: [ 1
Leia maisAula 03. Processadores. Prof. Ricardo Palma
Aula 03 Processadores Prof. Ricardo Palma Definição O processador é a parte mais fundamental para o funcionamento de um computador. Processadores são circuitos digitais que realizam operações como: cópia
Leia maisConteúdos do Vestibulinho 2016
2º ANO ENSINO FUNDAMENTAL Vogais e Consoantes; O Alfabeto incluindo as letras (K,W,Y); Sons nasais (o uso do til); Separação de Sílabas; Alfabeto maiúsculo e minúsculo; Substantivo próprio e comum; Interpretação
Leia maisDisciplina: Eletrificação Rural
UNIVERSIDADE FEDERAL DO PARANÁ SETOR DE CIÊNCIAS AGRÁRIAS DEPARTAMENTO DE SOLOS E ENGENHARIA AGRÍCOLA Disciplina: Eletrificação Rural Unidade 10 Planejamento na utilização da energia elétrica no meio rural:
Leia maisÁLGEBRA BOOLEANA. Foi um modelo formulado por George Boole, por volta de 1850.
ÁLGEBRA BOOLEANA Foi um modelo formulado por George Boole, por volta de 1850. Observando a lógica proposicional e a teoria de conjuntos verificamos que elas possuem propriedades em comum. Lógica Proposicional
Leia maisSe inicialmente, o tanque estava com 100 litros, pode-se afirmar que ao final do dia o mesmo conterá.
ANÁLISE GRÁFICA QUANDO y. CORRESPONDE A ÁREA DA FIGURA Resposta: Sempre quando o eio y corresponde a uma taa de variação, então a área compreendida entre a curva e o eio do será o produto y. Isto é y =
Leia maisSergio da Silva Aguiar Universidade Estadual do Sudoeste da Bahia - I Seemat
Introdução à Lógica Matemática Sergio da Silva Aguiar Universidade Estadual do Sudoeste da Bahia - I Seemat 1 Introdução O que é a Lógica? O que signi ca estudar Lógica? Qual a sua de nição? Ao iniciar
Leia maishttp://rogerioaraujo.wordpress.com Série Rações Semanais Xpath e XSLT Rogério Araújo
http://rogerioaraujo.wordpress.com Série Rações Semanais Xpath e XSLT Rogério Araújo http://rogerioaraujo.wordpress.com Série Rações Semanais Xpath e XSLT Rogério Araújo Questões A persistência é o menor
Leia maisActivALEA. ative e atualize a sua literacia
ActivALEA ative e atualize a sua literacia N.º 26 A FREQUÊNCIIA RELATIIVA PARA ESTIIMAR A PROBABIILIIDADE Por: Maria Eugénia Graça Martins Departamento de Estatística e Investigação Operacional da FCUL
Leia maisATIVIDADE 02 O CONJUNTO ARQUITETÔNICO DA PAMPULHA: UM CARTÃO-POSTAL DA CIDADE
ATIVIDADE 02 O CONJUNTO ARQUITETÔNICO DA PAMPULHA: UM CARTÃO-POSTAL DA CIDADE Antigamente, quando as pessoas viajavam, era comum elas enviarem um cartão com uma foto do lugar onde estavam para dar notícias
Leia maisUniversidade Estadual de Campinas Departamento de Matemática. Teorema de Jacobson. Adriana Wagner(RA: 144768) Gustavo Terra Bastos(RA: 143800)
Universidade Estadual de Campinas Departamento de Matemática Teorema de Jacobson Adriana Wagner(RA: 144768) Gustavo Terra Bastos(RA: 143800) Campinas - SP 2013 1 Resumo Nesta monografia apresentamos a
Leia maisTransformadores Trifásicos
Três transformadores monofásicos podem ser conectados para formar um banco trifásico de transformadores. Qualquer das conexões mostradas na figura a seguir podem ser usadas. Joaquim Eloir Rocha 1 Joaquim
Leia maisMatrizes de Transferência de Forças e Deslocamentos para Seções Intermediárias de Elementos de Barra
Matrizes de Transferência de Forças e Deslocamentos para Seções Intermediárias de Elementos de Barra Walter Francisco HurtaresOrrala 1 Sílvio de Souza Lima 2 Resumo A determinação automatizada de diagramas
Leia mais