Exercícios de Teoria da Computação Autómatos finitos não deterministas
|
|
- Lorena Sousa de Paiva
- 8 Há anos
- Visualizações:
Transcrição
1 Licenciatura em Engenharia Informática e de Computadores - LEIC Licenciatura em Engenharia de Redes de Comunicações - LERC Exercícios de Teoria da Computação Autómatos finitos não deterministas Secção Ciência da Computação Departamento de Matemática Instituto Superior Técnico 2008/2009
2 1 Linguagens reconhecidas por autómatos finitos não deterministas Considere o seguinte autómato finito não determinista sem movimentos-ɛ A = (Q, I, δ, q 0, F ) Q = {p, q, r} I = {0, 1, 2} δ(p, 0) = {q}, δ(p, 1) = {p, q} δ(p, 2) = {p} δ(q, 1) = {q, r} δ(r, 2) = {r} δ(q, 0) = δ(q, 2) = δ(r, 0) = δ(r, 1) = q 0 = p F = {q, r}. Verifique se as seguintes sequências fazem parte da linguagem reconhecida pelo autómato A: (i) 11 (ii) 10 (iii) 120 (iv) 212 (v) 2112 (vi) 2212 (vii) Considere o seguinte autómato finito não determinista sem movimentos-ɛ A = (Q, I, δ, q 0, F ) Q = {p, q, r} I = {x, y, z} δ(p, y) = δ(p, z) = δ(q, x) = {p} δ(r, z) = {q} δ(r, y) = {r} δ(p, x) = δ(q, z) = {q, r} δ(q, y) = δ(r, x) = q 0 = p F = {r}. Verifique se as seguintes sequências fazem parte da linguagem reconhecida pelo autómato A: (i) xy (ii) zx (iii) xxz (iv) yxy (v) 2112 (vi) zyxx (vii) xzxx 3. Considere o autómato finito não determinista A ɛ = ({q 0, q 1, q 2 }, {0, 1, 2}, δ, q 0, {q 2 }) δ ɛ q 0 {q 0 } {q 1 } q 1 {q 1 } {q 2 } q 2 {q 2 } 2
3 Verifique se as sequências (i) 00 (ii) 012 (iii) 022 (iv) 122 (v) 2112 fazem parte da linguagem reconhecida por A ɛ e caracterize a linguagem reconhecida pelo autómato. 4. Considere o autómato finito não determinista A ɛ = ({q 0, q 1, q 2, q 3, q 4, q 5 }, {0, 1, a, b}, δ, q 0, {q 5 }) δ 0 1 a b ɛ q 0 {q 1, q 2 } q 1 {q 3 } {q 1 } q 2 {q 4 } {q 2 } q 3 {q 5 } q 4 {q 5 } q 5 Verifique se as sequências (i) 110 (ii) 101 (iii) ba (iv) abb fazem parte da linguagem reconhecida por A ɛ e caracterize a linguagem reconhecida pelo autómato. 5. Verifique se as sequências (i) ɛ (ii) cc (iii) aba (iv) abb fazem parte da linguagem reconhecida pelo autómato A ɛ = ({q 0, q 1, q 2, q 3 }, {a, b, c}, δ, q 0, {q 2, q 3 }) δ a b c ɛ q 0 {q 1 } {q 3 } q 1 {q 1, q 2 } {q 1 } q 2 {q 0 } q 3 {q 3 } e caracterize a linguagem reconhecida por este autómato. 6. Verifique se as sequências (i) ɛ (ii) 01 (iii) 011 (iv) 1aba fazem parte da linguagem reconhecida pelo autómato A ɛ = ({q 0, q 1, q 2, q 3 }, {0, 1, a, b}, δ, q 0, {q 2 }) 3
4 δ 0 1 a b ɛ q 0 {q 0 } {q 1 } q 1 {q 1 } {q 0 } {q 2 } q 2 {q 3 } {q 2 } q 3 {q 2 } {q 3 } e caracterize a linguagem reconhecida por este autómato. 2 Concepção de autómatos finitos não deterministas Seja L o conjunto das palavras sobre o alfabeto {0, 1} que têm 1 na penúltima posição. (a) Defina um autómato finito não determinista cuja linguagem seja L. (b) Defina um autómato finito determinista cuja linguagem seja L. 2. Seja L o conjunto das das palavras sobre o alfabeto {0, 1} que têm 1 na antepenúltima posição. (a) Defina um autómato finito não determinista cuja linguagem seja L. (b) Defina um autómato finito determinista cuja linguagem seja L. 3. Seja L o conjunto das sequências não vazias de a s, b s e c s nas quais o último símbolo ocorre pelo menos duas vezes em toda a sequência. Defina um autómato finito não determinista cuja linguagem seja L. Verifique se as seguintes sequências fazem parte da linguagem reconhecida pelo autómato: (i) aca (ii) bbc (iii) abcb 4. Seja L o conjunto das sequências não vazias de a s, b s e c s nas quais o último símbolo ocorre uma única vez em toda a sequência. Defina um autómato finito não determinista cuja linguagem seja L. Verifique se as seguintes sequências fazem parte da linguagem reconhecida pelo autómato: (i) aca (ii) bbc (iii) accb 5. Seja L a linguagem constituída pelas palavras sobre o alfabeto {0, 1, 2} do tipo α 1 α 2 α 3 onde α 1 {0}, α 2 {1} +, α 3 {2} e se α 1 é ɛ então α 2 é Defina um autómato finito não determinista A, com três estados, L A = L. 6. Seja L a linguagem constituída pelas palavras sobre {a, b, c} do tipo αβ onde α é uma sequência não vazia e β {a} + ou β {b} +. Defina um autómato finito não determinista A, com três estados, L A = L. 4
5 3 Eliminação dos movimentos ɛ (a) Considere o autómato finito não determinista sem movimentos ɛ A = ({q 0, q 1, q 2 }, {0, 1, 2}, δ A, q 0, {q 0, q 2 }) δ A q 0 {q 0, q 1, q 2 } {q 1, q 2 } {q 2 } q 1 {q 1, q 2 } {q 2 } q 2 {q 2 } Caracterize a linguagem de A e compare-a com a linguagem do autómato finito não determinista do exercício 3 da secção Compare os dois autómatos. (b) Considere o autómato finito não determinista sem movimentos ɛ A = ({q 0, q 1, q 2, q 3, q 4, q 5 }, {0, 1, a, b}, δ A, q 0, {q 5 }) δ 0 1 a b q 0 {q 3, q 5 } {q 1 } {q 4, q 5 } {q 2 } q 1 {q 3, q 5 } {q 1 } q 2 {q 4, q 5 } {q 2 } q 3 q 4 q 5 Caracterize a linguagem de A e compare-a com a linguagem do autómato finito não determinista do exercício 4 da secção Compare os dois autómatos. (c) Proponha um algoritmo que a partir de um autómato finito não determinista, A ɛ, construa um autómato finito não determinista sem movimentos ɛ, A, L A = L A ɛ. 2. Use um algoritmo que conheça para construir autómatos finitos não deterministas sem movimentos ɛ que reconheçam as linguagens dos autómatos finitos não deterministas referidos nos exercícios 3, 4, 5 e 6 da secção 4 Eliminação do não determinismo (a) Seja I = {a, b} e considere os autómatos A = (Q A, I, δ A, q0 A, F A) no qual se tem Q A = {q 0, q 1 }, q0 A = q 0, F A = {q 1 } e δ A a b q 0 {q 0, q 1 } {q 1 } q 1 5
6 D = (Q D, I, δ D, q D 0, F D) no qual se tem Q D = {q 0, q 1, q 0 q 1, }, q D 0 = q 0, F D = {q 1, q 0 q 1 } e δ D a b q 0 q 0 q 1 q 1 q 1 q 0 q 1 q 0 q 1 q 1 Caracterize as linguagens L A e L D. Compare os autómatos A e D. (b) Seja I = {0, 1, 2} e considere os autómatos A = (Q A, I, δ A, q A 0, F A) no qual se tem Q A = {q 0, q 1, q 2, q 3 }, q A 0 = q 0, F A = {q 3 } e δ A q 0 {q 1, q 2, q 3 } q 1 {q 1, q 3 } q 2 {q 2, q 3 } q 3 {q 3 } D = (Q D, I, δ D, q D 0, F D) no qual se tem Q D = {q 0, q 3, q 1 q 3, q 2 q 3, q 1 q 2 q 3, }, q D 0 = q 0, F D = {q 3, q 1 q 3, q 2 q 3, q 1 q 2 q 3 } e δ D q 0 q 1 q 2 q 3 q 3 q 3 q 1 q 3 q 1 q 3 q 3 q 2 q 3 q 3 q 2 q 3 q 1 q 2 q 3 q 1 q 3 q 3 q 2 q 3 Caracterize as linguagens L A e L D. Compare os autómatos A e D. (c) Proponha um algoritmo que a partir de um autómato finito não determinista sem movimentos-ɛ A construa um autómato finito determinista D L D = L A. 2. Use um algoritmo que conheça para construir autómatos finitos deterministas que reconheçam as linguagens dos autómatos finitos não deterministas referidos nos exercícios (a) 1a e 1b. (b) 1 e 2 da secção (c) 1, 2, 3, 4, 5 e 6 da secção 2. 6
7 5 Reunião, concatenação e fecho de Kleene de linguagens (a) Esboce um algoritmo que a partir de dois autómatos finitos não deterministas A 1 e A 2 construa autómato finito não determinista A L A = L A1 L A2. (b) Usando o algoritmo proposto defina um autómato finito cuja linguagem seja L A1 L A2 em que δ p {p, q} {p} {p} A 1 = ({p, q, r}, {0, 1, 2}, δ 1, p, {r}) e q {r} r {r} {r} {r} A 2 = ({s, t, u, v}, {0, 1, 2}, δ 2, s, {v}) e δ s {t} t {t} {u} u {u} {v} v {v} (c) Usando o algoritmo proposto defina dois autómatos finitos cuja linguagem seja L A1 L A2 onde A 1 é o autómato apresentado no exercício 1 da secção 1 e A 2 é o autómato apresentado no exercício 5 da secção (d) Usando o algoritmo proposto defina dois autómatos finitos cujas linguagem seja L A1 L A2 onde A 1 é o autómato apresentado no exercício 2 da secção 1 e A 2 é o autómato apresentado no exercício 5 da secção (e) Tirando partido do algoritmo proposto defina um autómato finito cuja linguagem seja o conjunto das sequências de a s e b s e c s que verifiquem pelo menos um dos seguintes requisitos: (i) não têm a s consecutivos; (ii) têm um número ímpar de c s. (f) Tirando partido do algoritmo proposto defina um autómato finito cuja linguagem seja o conjunto das sequências de a s e b s e c s que verifiquem pelo menos um dos seguintes requisitos: (i) têm pelo menos dois a s; (ii) têm um número par de c s. 2. (a) Esboce um algoritmo que a partir de dois autómatos finitos não deterministas A 1 e A 2 construa um autómato finito não determinista A L A = L A1 L A2. (b) Usando o algoritmo proposto defina dois autómatos finitos cujas linguagens sejam, respectivamente, L A1 L A2 e L A2 L A1 onde A 1 e A 2 são os autómatos apresentados no exercício 1b desta secção. 7
8 (c) Usando o algoritmo proposto defina dois autómatos finitos cujas linguagens sejam, respectivamente, L A1 L A2 e L A2 L A1 onde A 1 é o autómato apresentado no exercício 1 da secção 1 e A 2 é o autómato apresentado no exercício 5 da secção (d) Usando o algoritmo proposto defina dois autómatos finitos cujas linguagens sejam, respectivamente, L A1 L A2 e L A2 L A1 onde A 1 é o autómato apresentado no exercício 2 da secção 1 e A 2 é o autómato apresentado no exercício 5 da secção 3. (a) Esboce um algoritmo que a partir de um autómato finito não determinista A construa um autómato finito não determinista A L A = (L A ). (b) Usando o algoritmo proposto defina dois autómatos finitos cujas linguagem sejam respectivamente, (L A1 ) e (L A2 ) onde A 1 e A 2 são os autómatos apresentados no exercício 1b desta secção. (c) Usando o algoritmo proposto defina um autómato finito cuja linguagem sejam (L A ) onde A é i. o autómato apresentado no exercício 1 da secção ii. o autómato apresentado no exercício 2 da secção iii. o autómato A ɛ apresentado no exercício 3 da secção iv. o autómato A ɛ apresentado no exercício 5 da secção v. o autómato apresentado no exercício 1b da secção 4. 6 Soma, composição sequencial e iteração de autómatos Construa o autómato soma(a 1, A 2 ) e relacione a linguagem deste autómato com as linguagens dos autómatos A 1 e A 2 em que (a) A 1 e A 2 são os autómatos apresentados no exercício 1b da secção 5. (b) A 1 é o autómato apresentado no exercício 1 da secção 1 e A 2 é o autómato apresentado no exercício 5 da secção (c) A 1 é o autómato apresentado no exercício 2 da secção 1 e A 2 é o autómato apresentado no exercício 5 da secção 2. Tirando partido da operação de soma de autómatos defina um autómato finito cuja linguagem seja o conjunto das sequências de a s e b s e c s que verifiquem pelo menos um dos seguintes requisitos: (i) não têm a s consecutivos; (ii) têm um número ímpar de c s. 3. Tirando partido da operação de soma de autómatos defina um autómato finito cuja linguagem seja o conjunto das sequências de a s e b s e c s que verifiquem pelo menos um dos seguintes requisitos: (i) têm pelo menos dois a s; (ii) têm um número par de c s. 4. Construa o autómato compseq(a 1, A 2 ) e relacione a linguagem deste autómato com as linguagens dos autómatos A 1 e A 2 em que 8
9 (a) A 1 e A 2 são os autómatos apresentados no exercício 1b da secção 5. (b) A 1 é o autómato apresentado no exercício 1 da secção 1 e A 2 é o autómato apresentado no exercício 5 da secção (c) A 1 é o autómato apresentado no exercício 2 da secção 1 e A 2 é o autómato apresentado no exercício 5 da secção 5. Construa o autómato iteração(a) e relacione a linguagem deste autómato com a linguagem do autómato A onde A é (a) o autómato apresentado no exercício 1 da secção (b) o autómato apresentado no exercício 2 da secção (c) o autómato A ɛ apresentado no exercício 3 da secção (d) o autómato A ɛ apresentado no exercício 5 da secção (e) o autómato apresentado no exercício 1b da secção 4. 9
Teoria 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 maisHABILITAÇÃO COMPONENTE TITULAÇÃO
Operação de Software Aplicativo Científica Engenharia da Produção Engenharia de Engenharia de Produção Matemática Aplicada às Matemática Aplicada e Científica Matemática com Tecnologia em - Ênfase em Gestão
Leia maisAlfabeto 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 Determinísticos
Ficha 2 Autómatos Finitos Determinísticos 2.1 Introdução Se olharmos, de forma simplificada, para um computador encontramos três componentes principais: a) A unidade de processamento central b) As unidades
Leia maisLinguagens Formais e Autômatos. Alfabetos, Palavras, Linguagens e Gramáticas
Linguagens Formais e Autômatos Alfabetos, Palavras, Linguagens e Gramáticas Cristiano Lehrer, M.Sc. Introdução (1/3) A Teoria das Linguagens Formais foi originariamente desenvolvida na década de 1950 com
Leia maisUniversidade da Beira Interior Cursos: Engenharia Informática, Ensino da Informática, Matemática Aplicada e Matemática /Informática
Modelos de Dados 1 - Introdução 2 - Modelo Relacional 2.1. Estrutura de Dados Relacional 2.1.1. Modelo Conceptual de Dados Um modelo conceptual de dados é a representação de um conjunto de objectos e das
Leia maisUNOESTE - Universidade do Oeste Paulista F I P P - Faculdade de Informática de Presidente Prudente
1º TERMO NOTURNO - 2013 23/09/13 2ª feira 08:20 h B1 (DP) ALGORITMOS E TÉCNICAS DE PROGRAMAÇÃO I 23/09/13 2ª feira 19:00 h A1 ALGORITMOS E TÉCNICAS DE PROGRAMAÇÃO I 24/09/13 3ª feira 19:00 h A COMUNICAÇÃO
Leia maisBCC242. Alfabeto, Strings, Linguagens. Registro aqui o agradecimento à Profa. Lucília por ceder slides que fazem parte deste material.
BCC242 Alfabeto, Strings, Linguagens Registro aqui o agradecimento à Profa. Lucília por ceder slides que fazem parte deste material. Exemplo: Máquina de Venda A máquina de venda retorna uma cocacola por
Leia mais3. Tipos de Dados, Constantes e Variáveis.
3. Tipos de Dados, Constantes e Variáveis. O computador realiza a sua tarefa trabalhando as informações contidas em sua memória, essas podem ser classificadas em dois tipos básicos: as instruções e os
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 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 maisA lógica de programação ajuda a facilitar o desenvolvimento dos futuros programas que você desenvolverá.
INTRODUÇÃO A lógica de programação é extremamente necessária para as pessoas que queiram trabalhar na área de programação, seja em qualquer linguagem de programação, como por exemplo: Pascal, Visual Basic,
Leia maisProcessamento da Informação Teoria. Algoritmos e Tipos de dados
Processamento da Informação Teoria Algoritmos e Tipos de dados Semana 01 Prof. Jesús P. Mena-Chalco 24/04/2013 (*) Slides adaptados das aulas do Prof. Harlen Costa Batagelo Algumas definições de algoritmo
Leia maisDGES DIRECÇÃO GERAL DO ENSINO SUPERIOR MINISTÉRIO DA CIÊNCIA, TECNOLOGIA E ENSINO SUPERIOR
11. Plano de estudos: 1º semestre curricular (1º ano/1º semestre) QUADRO N.º 2 CRÉD ITOS Álgebra Linear A CB semestral 140 T:30, TP: 30 5 Cálculo I CB semestral 140 T:30, TP:30 5 Tópicos de Matemática
Leia maisCritérios de Avaliação
Agrupamento de Escolas de Santo André Escola Secundária de Santo André Departamento de Matemática e Informática Critérios de Avaliação Grupo 550 Informática Ano Letivo 2014 / 2015 PONDERAÇÃO PARA A FORMAÇÃO
Leia mais1 Autómatos finitos deterministas
1 Autómatos finitos deterministas 1.1 Autómato finito determinista Um alfabeto é um conjunto finito. Uma linguagem sobre um alfabeto I é um subconjunto de I. Usa-se simplesmente a designação linguagem
Leia maisO que queremos. Processamento Estatístico da Linguagem Natural. Parsing Morfológico. Regras Simples. Adicionando palavras. Regras Derivacionais
Processamento Estatístico da Linguagem Natural Aula 5 Professora Bianca (Sala 302 Bloco E) bianca@ic.uff.br http://www.ic.uff.br/~bianca/peln/ O que queremos Algo que faça automaticamente um mapeamento
Leia maisComputabilidade 2012/2013. Sabine Broda Departamento de Ciência de Computadores Faculdade de Ciências da Universidade do Porto
Computabilidade 2012/2013 Sabine Broda Departamento de Ciência de Computadores Faculdade de Ciências da Universidade do Porto Capítulo 1 Computabilidade 1.1 A noção de computabilidade Um processo de computação
Leia maisAlgoritmos e Programação de Computadores I. Prof. Eduardo
Algoritmos e Programação de Computadores I Prof. Eduardo Professor Eduardo Machado Real - Mestrado em Ciência da Computação - Especialização em Desenvolvimento de Aplicação para a World Wide Web - Licenciatura
Leia maisAlgoritmos e Programação Conceitos e Estruturas básicas (Variáveis, constantes, tipos de dados)
Algoritmos e Programação Conceitos e Estruturas básicas (Variáveis, constantes, tipos de dados) Os algoritmos são descritos em uma linguagem chamada pseudocódigo. Este nome é uma alusão à posterior implementação
Leia maisUNOESTE - Universidade do Oeste Paulista F I P P - Faculdade de Informática de Presidente Prudente
1º TERMO NOTURNO - 2009 31/03/09 3ª feira 20:50 h A ADMINISTRAÇÃO 01/04/09 4ª feira 19:00 h A1/A2 INTRODUÇÃO A COMPUTAÇÃO 02/04/09 5ª feira 19:00 h A1 LABORATÓRIO DE INFORMÁTICA I 02/04/09 5ª feira 20:50
Leia maisCurso de C. Introdução. Copyright @ 2005 by Arnaldo V. Moura e Daniel F. Ferber
Curso de C Introdução Introdução Roteiro: Recordando Algoritmos Linguagem de Programação O computador Instruções de Máquina Níveis de Abstração Compilação Algoritmos Recordando: Algoritmo: conjunto finito
Leia maisAlgoritmos e Programação (Prática) Profa. Andreza Leite andreza.leite@univasf.edu.br
(Prática) Profa. Andreza Leite andreza.leite@univasf.edu.br Introdução O computador como ferramenta indispensável: Faz parte das nossas vidas; Por si só não faz nada de útil; Grande capacidade de resolução
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 maisRegulamento do Curso de. Mestrado Integrado em Engenharia Informática
Regulamento do Curso de Mestrado Integrado em Engenharia Informática (Ciclo integrado de estudos superiores) (Registado na DGES através do n.º R/A-Cr 21/2013) Artigo 1.º Regulamento geral aplicável O Curso
Leia maisACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO. Seção 5.1 Problemas indecidíveis. Slides originais gentilmente cedidos pela Profa. Ariane Machado Lima
ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Seção 5.1 Problemas indecidíveis Slides originais gentilmente cedidos pela Profa. Ariane Machado Lima 1 Na aula passada... A MT é indecidível (usando diagonalização)
Leia maisIntrodução a Algoritmos Parte 04
Universidade Federal do Vale do São Francisco Curso de Engenharia de Computação Introdução a Algoritmos Parte 04 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti
Leia maisInstituto Superior Técnico Teoria da Computação - LEIC, LERC 2012/2013 Aula prática 6. 1 Palavras e linguagem gerada por gramática
Instituto Superior Técnico Teoria da Computação - LEIC, LERC 2012/2013 Aula prática 6 1 Palavras e linguagem gerada por gramática 1. Seja G = (V,Σ,P,S) a gramática livre de contexto em que V = {S,A}, Σ
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 maisTÉCNICAS DE PROGRAMAÇÃO 1 ESTRUTURAS DE CONTROLE
TÉCNICAS DE PROGRAMAÇÃO 1 ESTRUTURAS DE CONTROLE 2015.2 Morganna Carmem Diniz Resumo Para implementar a solução de um problema no computador (Algoritmo) é preciso encontrar uma sequência finita de passos
Leia maisTécnico em Informática
Técnico em Informática Desenvolvimento de Software, I e II Administração de Administrativos em Processamento de Análise de Científica Design Digital Engenharia da Engenharia de Física - Opção Informática
Leia maisLógica. Everson Santos Araujo everson@por.com.br
Lógica Everson Santos Araujo everson@por.com.br Conceitos Coerência de raciocínio, de idéias, ou ainda a sequência coerente, regular e necessária de acontecimentos, de coisas Dicionário Aurélio 2 Conceitos
Leia maisContagem. George Darmiton da Cunha Cavalcanti CIn - UFPE
Contagem George Darmiton da Cunha Cavalcanti CIn - UFPE Sumário Princípios Básicos de Contagem A Regra do Produto A Regra da Soma O número de subconjuntos de um conjunto finito Princípio da Inclusão-Exclusão
Leia maisPROVA MODELO 2015. Duração da prova: 120 minutos
Página 1 de 8 Provas especialmente adequadas destinadas a avaliar a capacidade para a frequência do ensino superior dos maiores de 3 anos, Decreto-Lei n.º 64/006, de 1 de março AVALIAÇÃO DA CAPACIDADE
Leia maisECO039 Linguagens Formais
Prof a.dra.thatyana de Faria Piola Seraphim Universidade Federal de Itajubá thatyana@unifei.edu.br Introdução ˆ As três principais áreas da teoria da computação (Autômatos, Computabilidade e Complexidade)
Leia maisProgramação 1. Rafael Vargas Mesquita. http://www.ci.ifes.edu.br ftp://ftp.ci.ifes.edu.br/informatica/mesquita/
Programação 1 Rafael Vargas Mesquita http://www.ci.ifes.edu.br ftp://ftp.ci.ifes.edu.br/informatica/mesquita/ Pseudo Código Os algoritmos são descritos em uma linguagem chamada pseudocódigo. Este nome
Leia maisUNIVERSIDADE DO ESTADO DE SANTA CATARINA CENTRO DE CIÊNCIAS TECNOLÓGICAS CCT. Lista de Exercícios 01.
UNIVERSIDADE DO ESTADO DE SANTA CATARINA CENTRO DE CIÊNCIAS TECNOLÓGICAS CCT Curso de Bacharel em Ciência da Computação Disciplina: Matemática Discreta Professor: Rafael Stubs Parpinelli ) Diga se é verdadeiro
Leia maisRequisitos de Titulação Processo Seletivo de Docentes, N.º 064/09/2011
Requisitos de Titulação Processo Seletivo de Docentes, N.º 064/09/2011 1. Aplicativos Informatizados da Administração (Administração) (EII) Administração / Ciências Administrativas (qualquer modalidade)
Leia maisIntrodução a Programação
Universidade do Contestado Campus Concórdia Curso de Engenharia Civil Prof.: Maico Petry Introdução a Programação DISCIPLINA: Informática aplicada a Engenharia Programação de Computadores Como programar
Leia maisUniversidade Federal do Vale do São Francisco - UNIVASF Colegiado de Engenharia de Computação CECOMP
Algoritmos e Programação Ricardo Argenton Ramos Baseado nos slides do professor Jadsonlee da Silva Sá Ementa Conceito de algoritmo. Lógica de programação e programação estruturada. Linguagem de definição
Leia maisProgramação Funcional. Aula 5. Funções Recursivas. José Romildo Malaquias. Departamento de Computação Universidade Federal de Ouro Preto 2011.
Programação Funcional Aula 5 Funções Recursivas José Romildo Malaquias Departamento de Computação Universidade Federal de Ouro Preto 2011.2 1/39 1 Funções recursivas 2 Recursividade mútua 3 Recursividade
Leia maisLinguagem algorítmica: Portugol
Programação de Computadores I Aula 03 Linguagem algorítmica: Portugol José Romildo Malaquias Departamento de Computação Universidade Federal de Ouro Preto 2011-1 1/34 Introdução I Lógica A lógica é usada
Leia maisProgramação de Computadores I Fluxogramas PROFESSORA CINTIA CAETANO
Programação de Computadores I Fluxogramas PROFESSORA CINTIA CAETANO Problemas & Algoritmos Para resolver um problema através dum computador é necessário encontrar em primeiro lugar uma maneira de descrevê-lo
Leia maisResolução de problemas e desenvolvimento de algoritmos
SSC0101 - ICC1 Teórica Introdução à Ciência da Computação I Resolução de problemas e desenvolvimento de algoritmos Prof. Vanderlei Bonato Prof. Cláudio Fabiano Motta Toledo Sumário Análise e solução de
Leia maisAula 10 Introdução à Algoritmos. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes http://www3.ifrn.edu.
Aula 10 Introdução à Algoritmos Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes http://www3.ifrn.edu.br/~brunogomes Agenda da Aula Introdução aos Algoritmos: Conceitos Iniciais; Programa
Leia maisUNIVERSIDADE FEDERAL DE SANTA MARIA
1 UNIVERSIDADE FEDERAL DE SANTA MARIA Disciplina de Algoritmos e Programação Profa: Juliana Kaizer Vizzotto Lista de Exercícios Vetores Para a implementação de programas que solucionem os problemas a seguir
Leia maisAMBIENTE DE PROGRAMAÇÃO PYTHON
Computadores e Programação Engª Biomédica Departamento de Física Faculdade de Ciências e Tecnologia da Universidade de Coimbra Ano Lectivo 2003/2004 FICHA 1 AMBIENTE DE PROGRAMAÇÃO PYTHON 1.1. Objectivos
Leia maisTabela de Símbolos. Análise Semântica A Tabela de Símbolos. Principais Operações. Estrutura da Tabela de Símbolos. Declarações 11/6/2008
Tabela de Símbolos Análise Semântica A Tabela de Símbolos Fabiano Baldo Após a árvore de derivação, a tabela de símbolos é o principal atributo herdado em um compilador. É possível, mas não necessário,
Leia maisFundamentos da Teoria da Computação
Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre dúvidas da lista Sérgio Mariano Dias 1 1 UFMG/ICEx/DCC Entrega da 1 a lista: 31/03/2009 Sérgio Mariano Dias (UFMG) Fundamentos
Leia mais1 Descrição do Trabalho
Departamento de Informática - UFES 1 o Trabalho Computacional de Algoritmos Numéricos - 13/2 Métodos de Runge-Kutta e Diferenças Finitas Prof. Andréa Maria Pedrosa Valli Data de entrega: Dia 23 de janeiro
Leia maisLinguagens Livres de Contexto e Autômatos a Pilha (Push- Down) Um Modelo de Computação de Força Intermediária. Gramática Livre de Contexto
LFA - PARTE 2 Linguagens Livres de Contexto e Autômatos a Pilha (Push- Down) Um Modelo de Computação de Força Intermediária João Luís Garcia Rosa LFA-FEC-PUC-Campinas 2002 R. Gregory Taylor: http://starbase.cs.trincoll.edu/~rtaylor/thcomp/
Leia maisCálculo Numérico Aula 1: Computação numérica. Tipos de Erros. Aritmética de ponto flutuante
Cálculo Numérico Aula : Computação numérica. Tipos de Erros. Aritmética de ponto flutuante Computação Numérica - O que é Cálculo Numérico? Cálculo numérico é uma metodologia para resolver problemas matemáticos
Leia maisContagem. Prof. Dr. Leandro Balby Marinho. Matemática Discreta. Fundamentos Inclusão/Exclusão Princípio da Casa dos Pombos Permutações Combinações
Contagem Prof. Dr. Leandro Balby Marinho Matemática Discreta Prof. Dr. Leandro Balby Marinho 1 / 39 UFCG CEEI Motivação Contagem e combinatória são partes importantes da matemática discreta. Se resumem
Leia maisCAPÍTULO 3 - TIPOS DE DADOS E IDENTIFICADORES
CAPÍTULO 3 - TIPOS DE DADOS E IDENTIFICADORES 3.1 - IDENTIFICADORES Os objetos que usamos no nosso algoritmo são uma representação simbólica de um valor de dado. Assim, quando executamos a seguinte instrução:
Leia maisFACULDADE CAMPO LIMPO PAULISTA MESTRADO EM CIÊNCIA DA COMPUTAÇÃO. Projeto e Análise de Algoritmos II Lista de Exercícios 2
FACULDADE CAMPO LIMPO PAULISTA MESTRADO EM CIÊNCIA DA COMPUTAÇÃO Projeto e Análise de Algoritmos II Lista de Exercícios 2 Prof. Osvaldo. 1. Desenvolva algoritmos para as operações abaixo e calcule a complexidade
Leia maisIntrodução a Informática. Prof.: Roberto Franciscatto
Introdução a Informática Prof.: Roberto Franciscatto APRESENTAÇÃO Os computadores chegaram aos diversos níveis das organizações Nestes contexto: Que linguagem entendem? Que produtos podem usar? Dúvidas
Leia maisRenata de Freitas e Petrucio Viana. IME, UFF 12 de março de 2015
Definições por indução e por recursão Renata de Freitas e Petrucio Viana IME, UFF 12 de março de 2015 Sumário Lógica formal e principais sistemas lógicos Definições indutivas Definições recursivas Exercícios
Leia maisLÓGICA DE PROGRAMAÇÃO PARA ENGENHARIA DISCUSSÃO DOS EXERCÍCIOS E CONSTRUÇÃO DE PROGRAMAS SEQUENCIAIS. Prof. Dr. Daniel Caetano 2012-1
LÓGICA DE PROGRAMAÇÃO PARA ENGENHARIA DISCUSSÃO DOS EXERCÍCIOS E CONSTRUÇÃO DE PROGRAMAS SEQUENCIAIS Prof. Dr. Daniel Caetano 2012-1 Objetivos Apresentar as soluções para os exercícios propostos Exercitar
Leia maisESTRUTURA CONDICIONAL
AULA 6 ESTRUTURA CONDICIONAL 130 Tem como objetivo executar um conjunto de comandos caso uma condição lógica seja atendida. Quando a resposta lógica for falsa, nada será executado. Sintaxe Se CONDIÇÃO
Leia maisESTRUTURAS DE DADOS II
ESTRUTURAS DE DADOS II Msc. Daniele Carvalho Oliveira Doutoranda em Ciência da Computação - UFU Mestre em Ciência da Computação UFU Bacharel em Ciência da Computação - UFJF Conteúdo Programático 1. Introdução
Leia maisALGORITMOS PARTE 01. Fabricio de Sousa Pinto
ALGORITMOS PARTE 01 Fabricio de Sousa Pinto Algoritmos: Definição 2 É uma sequência de instruções finita e ordenada de forma lógica para a resolução de uma determinada tarefa ou problema. Algoritmos 3
Leia maisCompiladores. Análise léxica. Plano da aula. Vocabulário básico. Motivação para análise léxica. Estrutura de um compilador
Estrutura de um compilador Compiladores Análise lexical (1) Expressões Regulares 1 2 Plano da aula 1. Motivação do uso de E.R. e definições Linguagens, tokens, lexemas... 2. Regras de formação e exemplos
Leia maisMáquinas de Turing. Juliana Kaizer Vizzotto. Disciplina de Teoria da Computação. Universidade Federal de Santa Maria
Universidade Federal de Santa Maria Disciplina de Teoria da Computação Roteiro Definição Formal de Máquina de Turing Mais exemplos Definição Formal de Máquina de Turing Uma máquina de Turing é uma 7-upla,
Leia maisSistemas Numéricos Eletrônica Digital PROFESSOR LUCAS KOEPSEL ROSA
Sistemas Numéricos Eletrônica Digital PROFESSOR LUCAS KOEPSEL ROSA Definição de Sistemas Numéricos Eletrônica Digital PROFESSOR LUCAS KOEPSEL ROSA Definição Sistemas Numéricos Em condições ideais, um sistema
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 maisAULA 6 LÓGICA DOS CONJUNTOS
Disciplina: Matemática Computacional Crédito do material: profa. Diana de Barros Teles Prof. Fernando Zaidan AULA 6 LÓGICA DOS CONJUNTOS Intuitivamente, conjunto é a coleção de objetos, que em geral, tem
Leia maisLinguagens de Programação Algoritmos. Introdução à Programação. Graduação em Ciência da Computação - CIn/UFPE - Introdução à Programação
Introdução à Programação Linguagens de Programação Algoritmos Alguns dos slides utilizados nessa aula foram gentilmente cedidos pelo Prof. Paulo Borba e Prof. Adriano Sarmento 10010010 10001110 uma linguagem
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 maisEstruturas Discretas INF 1631
Estruturas Discretas INF 1631 Thibaut Vidal Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro Rua Marquês de São Vicente, 225 - Gávea, Rio de Janeiro - RJ, 22451-900, Brazil
Leia maisLicenciatura em Engenharia Informática Sistemas Distribuídos I 2ª chamada, 6 de Julho de 2005 2º Semestre, 2004/2005
Departamento de Informática Faculdade de Ciências e Tecnologia UNIVERSIDADE NOVA DE LISBOA Licenciatura em Engenharia Informática Sistemas Distribuídos I 2ª chamada, 6 de Julho de 2005 2º Semestre, 2004/2005
Leia maisGUIA DE LABORATÓRIO DE SISTEMAS DIGITAIS PARA O CURSO DE ENGENHARIA DE CONTROLE E AUTOMAÇÃO
GUIA DE LABORATÓRIO DE SISTEMAS DIGITAIS PARA O CURSO DE ENGENHARIA DE CONTROLE E AUTOMAÇÃO Agosto/2004 V2 INTRODUÇÃO Este guia foi preparado para auxilio às aulas de laboratório para o curso de Engenharia
Leia maisIntrodução à Computação para o Ensino Médio. Centro Técnico Científico
Introdução à Computação para o Ensino Médio Centro Técnico Científico Abril de 2010 Algoritmo: Descrição, passo a passo, de uma metodologia que conduz à resolução de um problema ou à execução de uma tarefa.
Leia maisFUNÇÃO REAL DE UMA VARIÁVEL REAL
Hewlett-Packard FUNÇÃO REAL DE UMA VARIÁVEL REAL Aulas 01 a 04 Elson Rodrigues, Gabriel Carvalho e Paulo Luís Ano: 2015 Sumário INTRODUÇÃO AO PLANO CARTESIANO... 2 PRODUTO CARTESIANO... 2 Número de elementos
Leia maisPROGRAMAÇÃO DE COMPUTADORES (Teoria)
PC PROGRAMAÇÃO DE COMPUTADORES (Teoria) Aula 01 Prof. Ricardo Veras (prof.rveras@gmail.com) ALGORITMOS "Seqüência ordenada de passos, que deve ser seguida para a realização de um tarefa" "Algoritmo é um
Leia maisPortas Lógicas Básicas Prof. Rômulo Calado Pantaleão Camara. Carga Horária: 2h/60h
Portas Lógicas Básicas Prof. Rômulo Calado Pantaleão Camara Carga Horária: 2h/60h Colegiado de Engenharia da Computação CECOMP Introdução à Algebra de Boole Em lógica tradicional, uma decisão é tomada
Leia maisPor que o quadrado de terminados em 5 e ta o fa cil? Ex.: 15²=225, 75²=5625,...
Por que o quadrado de terminados em 5 e ta o fa cil? Ex.: 15²=225, 75²=5625,... 0) O que veremos na aula de hoje? Um fato interessante Produtos notáveis Equação do 2º grau Como fazer a questão 5 da 3ª
Leia mais10/02/2015. As linguagens. Algoritmos e Lógica de programação. Os produtos. Os ingredientes. Introdução. Atuais:.Net Java Delphi PHP
s e Lógica de programação Introdução Atuais:.Net Java Delphi PHP Anteriores: Dbase Clipper VB6 As linguagens Ruby on Rails Python / Perl Objective-C Android (Java) Outras: PL/SQL T-SQL ADVPL Html5 C++
Leia maisDadas a base e a altura de um triangulo, determinar sua área.
Disciplina Lógica de Programação Visual Ana Rita Dutra dos Santos Especialista em Novas Tecnologias aplicadas a Educação Mestranda em Informática aplicada a Educação ana.santos@qi.edu.br Conceitos Preliminares
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 maisIntrodução à Lógica de Programação
Introdução à Lógica de Programação Sistemas Numéricos As informações inseridas em um computador são traduzidos em dados, ou seja, em sinais que podem ser manipulados pelo computador. O computador trabalha
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 maisAULA TEÓRICA 10 Tema 9. Introdução à programação. Desenho de Algoritmos
AULA TEÓRICA 10 Tema 9. Introdução à programação. Desenho de Algoritmos Ø Resolução de problemas. Ø Algoritmo. Ø Pseudo-código. Ø Fluxograma. Ø Tipos de fluxogramas. Fluxograma sequencial. 1 Resolução
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 maisICC - Aula 6. Ivan da Silva Sendin. November 17, 2014. Bits, portas logicas, flip-flops,... Numeros e Simbolos Exercicios
ICC - Aula 6 Ivan da Silva Sendin November 17, 2014 Só existem 10 tipos de pessoas: as que entendem números binários e as que não entendem Bits 0 e 1 portas logicas operadores lógicos Circuitos f : {0,
Leia maisO VESTIBULAR DA UENF FUNCIONA DA SEGUINTE FORMA:
1 O VESTIBULAR DA UENF FUNCIONA DA SEGUINTE FORMA: O acesso aos cursos de graduação da UENF se dá por meio do Vestibular Estadual do Rio de Janeiro. Coordenado pela UERJ e envolvendo ainda outras instituições.
Leia maisREGIME DE TRANSIÇÃO DO CURSO DE LICENCIATURA EM MATEMÁTICA APLICADA PARA O CURSO DE LICENCIATURA EM ESTATÍSTICA E APLICAÇÕES
REGIME DE TRANSIÇÃO DO CURSO DE LICENCIATURA EM MATEMÁTICA APLICADA PARA O CURSO DE LICENCIATURA EM ESTATÍSTICA E APLICAÇÕES Normas regulamentares Artigo 1º Objecto O presente documento apresenta as normas
Leia maisComplexidade de Algoritmos
Complexidade de Algoritmos Classes de Complexidades de Problemas Prof. Osvaldo Luiz de Oliveira Estas anotações devem ser complementadas por apontamentos em aula. Tempo polinomial Um algoritmo A, com entrada
Leia maisCurso: Técnico de Informática Disciplina: Redes de Computadores. 1- Apresentação Binária
1- Apresentação Binária Os computadores funcionam e armazenam dados mediante a utilização de chaves eletrônicas que são LIGADAS ou DESLIGADAS. Os computadores só entendem e utilizam dados existentes neste
Leia mais1.1. Organização de um Sistema Computacional
1. INTRODUÇÃO 1.1. Organização de um Sistema Computacional Desde a antiguidade, o homem vem desenvolvendo dispositivos elétricoeletrônicos (hardware) que funciona com base em instruções e que são capazes
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 maisIntrodução à Programação e Algoritmos. Aécio Costa
Aécio Costa Programação é a arte de fazer com que o computador faça exatamente o que desejamos que ele faça. O que é um Programa? Uma seqüência de instruções de computador, para a realização de uma determinada
Leia maisCAPÍTULO 6 CIRCUITOS SEQUENCIAIS IV: PROJETO DE REDES SEQUENCIAIS
92 CAPÍTULO 6 CIRCUITOS SEQUENCIAIS IV: PROJETO DE REDES SEQUENCIAIS Sumário 6.. Introdução... 94 6... Máquina de Estados de Moore... 94 6..2. Máquina de Estados de Mealy... 95 6.2. Projeto de Redes Sequenciais...
Leia maisDisciplina A Disciplina B Código Disciplina C/H Curso Disciplina C/H Código Curso Ano do Currículo
Equivalências: Curso Sistemas de Informação (21806) Observação: A está CONTIDA em B B é SUBSTITUTA de A A é EQUIVALENTE de B 1º PERÍODO Código Disciplina C/H Curso Disciplina C/H Código Curso Ano do Conclusão
Leia maisA Linguagem Algorítmica Estrutura de Repetição. Ex. 2
Estrutura de Repetição. Ex. 2 A ESTRUTURA Enquanto faça{} É MELHOR UTILIZADA PARA SITUAÇÕES ONDE O TESTE DE CONDIÇÃO (V OU F) PRECISA SER VERIFICADO NO INÍCIO DA ESTRUTURA DE REPETIÇÃO.
Leia maisÁREA DISCIPLINAR DE CIÊNCIA E TECNOLOGIA DA PROGRAMAÇÃO. Tem sob a sua responsabilidade as seguintes unidades curriculares:
ÁREA DISCIPLINAR DE CIÊNCIA E TECNOLOGIA DA PROGRAMAÇÃO e Inteligência Artificial Aplicada a Jogos, com 6 Paradigmas de Programação I, com 9 Paradigmas de Programação II, com 9 Algoritmos e Estrutura de
Leia maisEspectro da Voz e Conversão A/D
INSTITUTO SUPERIOR TÉCNICO LICENCIATURA EM ENGENHARIA ELECTROTÉCNICA E DE COMPUTADORES GUIA DO 1º TRABALHO DE LABORATÓRIO DE SISTEMAS DE TELECOMUNICAÇÕES I Espectro da Voz e Conversão A/D Ano Lectivo de
Leia maisIntrodução à Engenharia de Computação
Introdução à Engenharia de Computação Tópico: O Computador como uma Multinível José Gonçalves - Introdução à Engenharia de Computação Visão Tradicional Monitor Placa-Mãe Processador Memória RAM Placas
Leia maisFigure 2 - Nós folhas de uma árvore binária representando caracteres ASCII
A ocorrência tamanho ASCII codificação de Huffman é um A Codificação método de compactação de Huffman caracteres (American e a variável codificação dos usado símbolos Standard para por cada muitas no Code
Leia maisMódulo Lógica Programação com aplicações em Java. Projeto khouse Profissionalizante Profª Larissa Brandão
Educação Módulo Lógica e Ética de Programação com aplicações em Java Projeto khouse Profissionalizante Profª Larissa Brandão n
Leia maisProgramação de Computadores III
Programação de Computadores III Introdução a Linguagens de Programação Professor Leandro Augusto Frata Fernandes laffernandes@ic.uff.br Material disponível em http://www.ic.uff.br/~laffernandes/teaching/2013.1/tcc-00.157
Leia mais