Exercícios de Teoria da Computação Autómatos finitos não deterministas

Tamanho: px
Começar a partir da página:

Download "Exercícios de Teoria da Computação Autómatos finitos não deterministas"

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 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 mais

Alfabeto e palavras. Alfabeto conjunto finito de símbolos (Σ).

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 mais

Roteiro da Aula 3. Sintaxe. 2 Exemplos. 4 Propriedades de Fechamento. Teoria da. 116360 Aula 3. Roteiro

Roteiro 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 mais

1 Autómatos finitos deterministas

1 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 mais

HABILITAÇÃO COMPONENTE TITULAÇÃO

HABILITAÇÃ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 mais

Exercícios de Teoria da Computação Autómatos, gramáticas e expressões regulares

Exercí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 mais

Linguagens Formais e Autômatos. Alfabetos, Palavras, Linguagens e Gramáticas

Linguagens 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 mais

Computabilidade 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 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 mais

Fundamentos da Teoria da Computação

Fundamentos 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 mais

Programação de Computadores I Fluxogramas PROFESSORA CINTIA CAETANO

Programaçã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 mais

Autómatos Finitos Determinísticos

Autó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 mais

ACH2043 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 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 mais

Técnico em Informática

Té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 mais

Autómatos finitos não determinísticos (AFND)

Autó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 mais

BCC242. 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. 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 mais

Apostila 03 Linguagens Livres de Contexto

Apostila 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 mais

Lista n 0 1 de Exercícios de Teoria da Computação

Lista 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 mais

Curso de C. Introdução. Copyright @ 2005 by Arnaldo V. Moura e Daniel F. Ferber

Curso 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 mais

Algoritmos e Programação de Computadores I. Prof. Eduardo

Algoritmos 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 mais

Autômatos a pilha. UFRN/DIMAp/DIM0330 Linguagens formais. David Déharbe. http://www.consiste.dimap.ufrn.br/ david/enseignement/2003.

Autô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 mais

O que queremos. Processamento Estatístico da Linguagem Natural. Parsing Morfológico. Regras Simples. Adicionando palavras. Regras Derivacionais

O 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 mais

Pró-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 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 mais

Linguagens Formais e Compilação Ficha de exercícios

Linguagens 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 mais

UNOESTE - Universidade do Oeste Paulista F I P P - Faculdade de Informática de Presidente Prudente

UNOESTE - 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 mais

Requisitos de Titulação Processo Seletivo de Docentes, N.º 064/09/2011

Requisitos 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 mais

UNOESTE - Universidade do Oeste Paulista F I P P - Faculdade de Informática de Presidente Prudente

UNOESTE - 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 mais

DGES DIRECÇÃO GERAL DO ENSINO SUPERIOR MINISTÉRIO DA CIÊNCIA, TECNOLOGIA E ENSINO SUPERIOR

DGES 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 mais

Linguagem Formais e Autômatos

Linguagem 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 mais

PROVA MODELO 2015. Duração da prova: 120 minutos

PROVA 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 mais

Critérios de Avaliação

Crité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 mais

A Linguagem Algorítmica Estrutura de Repetição. Ex. 2

A 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

Definição 2.2 (Palavra) As sequências finitas de letras são designadas por palavras sobre o alfabeto V.

Definiçã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 mais

Na medida em que se cria um produto, o sistema de software, que será usado e mantido, nos aproximamos da engenharia.

Na medida em que se cria um produto, o sistema de software, que será usado e mantido, nos aproximamos da engenharia. 1 Introdução aos Sistemas de Informação 2002 Aula 4 - Desenvolvimento de software e seus paradigmas Paradigmas de Desenvolvimento de Software Pode-se considerar 3 tipos de paradigmas que norteiam a atividade

Leia mais

Aula 01 Parte 03 Computadores e Algoritmos. Prof. Filipe Wall Mutz

Aula 01 Parte 03 Computadores e Algoritmos. Prof. Filipe Wall Mutz Aula 01 Parte 03 Computadores e Algoritmos Prof. Filipe Wall Mutz Agenda Estrutura de um Computador Digital Algoritmos Refinamentos sucessivos Estrutura de um Computador Digital Memória Unidade de Entrada

Leia mais

Programaçã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/ Programação 1 Rafael Vargas Mesquita http://www.ci.ifes.edu.br ftp://ftp.ci.ifes.edu.br/informatica/mesquita/ Definições Básicas Lógica de programação é a técnica de desenvolver algoritmos (sequências

Leia mais

UNIVERSIDADE 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. 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 mais

TIPOS ABSTRATOS DE DADOS DEFINIÇÃO E EXEMPLOS. Bruno Maffeo Departamento de Informática PUC-Rio

TIPOS ABSTRATOS DE DADOS DEFINIÇÃO E EXEMPLOS. Bruno Maffeo Departamento de Informática PUC-Rio TIPOS ABSTRATOS DE DADOS DEFINIÇÃO E EXEMPLOS Bruno Maffeo Departamento de Informática PUC-Rio TERMINOLOGIA BÁSICA ALGORITMO Um algoritmo pode ser visto como uma seqüência de ações expressas em termos

Leia mais

Aula 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. 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 mais

A lógica de programação ajuda a facilitar o desenvolvimento dos futuros programas que você desenvolverá.

A 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 mais

Regulamento do Curso de. Mestrado Integrado em Engenharia Informática

Regulamento 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 mais

Linguagem (formal) de alfabeto Σ

Linguagem (formal) de alfabeto Σ Linguagem (formal) de alfabeto Σ Linguagem é qualquer subconjunto de Σ, i.e. qualquer conjunto de palavras de Σ Σ = {a, b} {aa, ab, ba, bb} ou {x x {a, b} e x = 2} {a, aa, ab, ba, aaa, aab, aba,...} ou

Leia mais

Guia do Mestrado em Informática Sistemas e Redes & Ciência de Computadores

Guia do Mestrado em Informática Sistemas e Redes & Ciência de Computadores Guia do Mestrado em Informática Sistemas e Redes & Ciência de Computadores Faculdade de Ciências, Universidade do Porto Faculdade de Ciências da Universidade do Porto 2006-2008 http://www.dcc.fc.up.pt/mi

Leia mais

UNIVERSIDADE FEDERAL DA BAHIA INSTITUTO DE MATEMATICA DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO LINGUAGENS DE APLICAÇÃO COMERCIAL SILAS QUEIROZ SILVA

UNIVERSIDADE FEDERAL DA BAHIA INSTITUTO DE MATEMATICA DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO LINGUAGENS DE APLICAÇÃO COMERCIAL SILAS QUEIROZ SILVA UNIVERSIDADE FEDERAL DA BAHIA INSTITUTO DE MATEMATICA DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO LINGUAGENS DE APLICAÇÃO COMERCIAL SILAS QUEIROZ SILVA Mini-Seminário Visual Basic 6.0 Salvador - BA 18/05/2009

Leia mais

6.3 Equivalência entre Autômatos com Pilha Não-Determinísticos e Gramáticas Livre do Contexto

6.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 mais

O objetivo desta prática é ensinar como usar a máquina chamada computador visível ou vc0, um simulador de computador de von Neumann escrito em Java.

O objetivo desta prática é ensinar como usar a máquina chamada computador visível ou vc0, um simulador de computador de von Neumann escrito em Java. Departamento de Ciência da Computação Universidade de Brasília Computação Básica - 2004.1 Roteiro de Laboratório #1 Usando o Computador Visível Professor Jorge Henrique Cabral Fernandes 0. Objetivo O objetivo

Leia mais

Introdução às Máquinas de Turing (TM)

Introdução às Máquinas de Turing (TM) Comparação com computadores: Introdução às Máquinas de Turing (TM) um modelo matemático simples de um computador Semelhanças: lê e escreve em posições arbitrarias de memoria Diferenças: sem limite no tamanho

Leia mais

Máquinas de Turing. Juliana Kaizer Vizzotto. Disciplina de Teoria da Computação. Universidade Federal de Santa Maria

Má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 mais

Estruturas de Repetição

Estruturas 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 mais

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO PRÓ-REITORIA DE GESTÃO DE PESSOAS E ASSISTÊNCIA ESTUDANTIL. PÁGINA 1/6 FONTE: http://www.progepaes.ufes.

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO PRÓ-REITORIA DE GESTÃO DE PESSOAS E ASSISTÊNCIA ESTUDANTIL. PÁGINA 1/6 FONTE: http://www.progepaes.ufes. PÁGINA 1/6 2011203986 Agronomia - Alegre DEFERIDO 2010204267 Matemática - Licenciatura - Alegre DEFERIDO 2012100801 Engenharia Química - Bacharelado - Alegre DEFERIDO 2010204527 Matemática - Licenciatura

Leia mais

Matemática Discreta para Ciência da Computação

Matemática Discreta para Ciência da Computação Matemática Discreta para Ciência da Computação P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação

Leia mais

Compiladores. Análise léxica. Plano da aula. Vocabulário básico. Motivação para análise léxica. Estrutura de um compilador

Compiladores. 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 mais

ESCOLA S/3 ARQ. OLIVEIRA FERREIRA PLANIFICAÇÃO DE UNIDADE. 2 Processamento de Texto

ESCOLA S/3 ARQ. OLIVEIRA FERREIRA PLANIFICAÇÃO DE UNIDADE. 2 Processamento de Texto ESCOLA S/3 ARQ. OLIVEIRA FERREIRA DEPARTAMENTO DAS CIÊNCIAS EXPERIMENTAIS SUBDEPARTAMENTO DE INFORMÁTICA 9º ANO DO ENSINO BÁSICO 2008/2009 DISCIPLINA: TECNOLOGIAS DA INFORMAÇÃO E COMUNICAÇÃO PLANIFICAÇÃO

Leia mais

Módulo Lógica Programação com aplicações em Java. Projeto khouse Profissionalizante Profª Larissa Brandão

Mó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 mais

Programaçã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/ 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 mais

3. Tipos de Dados, Constantes e Variáveis.

3. 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 mais

Introdução a Informática. Prof.: Roberto Franciscatto

Introduçã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 mais

GereComSaber. Disciplina de Desenvolvimento de Sistemas de Software. Sistema de Gestão de Serviços em Condomínios

GereComSaber. Disciplina de Desenvolvimento de Sistemas de Software. Sistema de Gestão de Serviços em Condomínios Universidade do Minho Conselho de Cursos de Engenharia Licenciatura em Engenharia Informática 3ºAno Disciplina de Desenvolvimento de Sistemas de Software Ano Lectivo de 2009/2010 GereComSaber Sistema de

Leia mais

Linguagens Formais e Autômatos

Linguagens Formais e Autômatos Linguagens Formais e Autômatos SLIDE 1 Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium

Leia mais

e à Linguagem de Programação Python

e à Linguagem de Programação Python Introdução a Algoritmos, Computação Algébrica e à Linguagem de Programação Python Curso de Números Inteiros e Criptografia Prof. Luis Menasché Schechter Departamento de Ciência da Computação UFRJ Agosto

Leia mais

Introdução a Programação

Introduçã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 mais

Linguagem algorítmica: Portugol

Linguagem 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 mais

NOTAS MÍNIMAS NO ENEM 2012, ENTRE OS CANDIDATOS CONVOCADOS, CONSIDERANDO ATÉ A ÚLTIMA CHAMADA.

NOTAS MÍNIMAS NO ENEM 2012, ENTRE OS CANDIDATOS CONVOCADOS, CONSIDERANDO ATÉ A ÚLTIMA CHAMADA. Administração Matutino Administração Noturno Agronomia Biomedicina A. C. 656.01 A 1 582.98 A 2 623.08 A. C. 630.01 A 1 595.10 A 2 633.89 A 3 451.66 A. C. 582.74 A 1 591.39 A 2 577.87 A 3 506.48 A. C. 629.86

Leia mais

UNIVERSIDADE DO VALE DO ITAJAÍ PAULO ROBERTO LIMA

UNIVERSIDADE DO VALE DO ITAJAÍ PAULO ROBERTO LIMA UNIVERSIDADE DO VALE DO ITAJAÍ PAULO ROBERTO LIMA UM SOFTWARE EDUCACIONAL PARA CONSTRUÇÃO E VALIDAÇÃO DE FORMALISMOS UTILIZADOS NA GERAÇÃO E RECONHECIMENTO DE SENTENÇAS DE UMA LINGUAGEM REGULAR São José

Leia mais

Outras Máquinas de Turing

Outras 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 mais

Complexidade de Algoritmos

Complexidade 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 mais

Universidade da Beira Interior Cursos: Engenharia Informática, Ensino da Informática, Matemática Aplicada e Matemática /Informática

Universidade 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 mais

AMBIENTE DE PROGRAMAÇÃO PYTHON

AMBIENTE 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 mais

Atividade 11. Caça ao Tesouro Autômatos de Estados Finitos

Atividade 11. Caça ao Tesouro Autômatos de Estados Finitos Atividade 11 Caça ao Tesouro Autômatos de Estados Finitos Sumário Freqüentemente programas de computador precisam processar uma seqüência de símbolos como letras ou palavras em um documento, ou até mesmo

Leia mais

O VESTIBULAR DA UENF FUNCIONA DA SEGUINTE FORMA:

O 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 mais

Aula 7: Autômatos com Pilha

Aula 7: Autômatos com Pilha Teoria da Computação Segundo Semestre, 2014 Aula 7: Autômatos com Pilha DAINF-UTFPR Prof. Ricardo Dutra da Silva Vamos adicionar um memória do tipo pilha ao nossos autômatos para que seja possível aceitar

Leia mais

Lógica. Everson Santos Araujo everson@por.com.br

Ló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 mais

Processamento da Informação Teoria. Algoritmos e Tipos de dados

Processamento 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 mais

Teoria das Linguagens. Linguagens Formais e Autómatos (Linguagens)

Teoria das Linguagens. Linguagens Formais e Autómatos (Linguagens) Teoria das Lic. em Ciências da Computação Formais e Autómatos () Carla Mendes Dep. Matemática e Aplicações Universidade do Minho 2010/2011 Teoria das - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ.

Leia mais

Universidade Federal do Vale do São Francisco - UNIVASF Colegiado de Engenharia de Computação CECOMP

Universidade 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 mais

Programação de Computadores

Programação de Computadores Programação de Computadores INTRODUÇÃO AOS ALGORITMOS E À PROGRAMAÇÃO DE COMPUTADORES PARTE 1 Renato Dourado Maia Instituto de Ciências Agrárias Universidade Federal de Minas Gerais Programas e Programação

Leia mais

Curso de Engenharia Formação Geral 1º e 2º anos

Curso de Engenharia Formação Geral 1º e 2º anos Curso de Engenharia Formação Geral 1º e 2º anos DISCIPLINA 1º Bimestre Introdução à Engenharia 40 Informática 40 Matemática 80 Produção de Textos 40 2º Bimestre Cálculo I 80 Física I 80 Inglês 20 Metodologia

Leia mais

Alfabeto, Cadeias, Operações e Linguagens

Alfabeto, Cadeias, Operações e Linguagens Linguagens de Programação e Compiladores - Aula 3 1 Alfabeto, Cadeias, Operações e Linguagens 1.Conjuntos Para representar um determinado conjunto é necessário buscar uma notação para representá-lo e ter

Leia mais

Fundação Comunitária de Ensino Superior de Itabira Grade Curricular. Faculdade de Ciências Administrativas e Contábeis de Itabira

Fundação Comunitária de Ensino Superior de Itabira Grade Curricular. Faculdade de Ciências Administrativas e Contábeis de Itabira Renovação de Reconhecimento - Portaria Nº 653 de 02/06/10 - DOU: 04/06/10. Emissão: 08/07/15 :34 Página: 1/5 0 GSI0 Libras () 0 GSI067 Gestão de Serviços () 0 GSI068 Jogos Empresariais () 0 GSI069 Administração

Leia mais

Curso de Engenharia. Formação Geral 1º e 2º anos

Curso de Engenharia. Formação Geral 1º e 2º anos Curso de Engenharia Formação Geral 1º e 2º anos DISCIPLINA 1º Bimestre Introdução à Engenharia Informática Matemática Produção de Textos 2º Bimestre Cálculo I Física I Inglês Metodologia Científica 3º

Leia mais

Metodos de Programação

Metodos de Programação Metodos de Programação Métodos de Programação Introdução Informática, Computador, Algoritmo Informática: Ciência do processamento da informação Computador: Máquina que serve para processar informação Algoritmo:

Leia mais

Tabela 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. 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 mais

CURSO DE INFORMÁTICA LICENCIATURA 1 PERÍODO

CURSO DE INFORMÁTICA LICENCIATURA 1 PERÍODO CURSO DE INFORMÁTICA LICENCIATURA 1 PERÍODO DISCIPLINA: Metodologia Científica H111900 Finalidade da metodologia científica. Importância da metodologia no âmbito das ciências. Metodologia de estudos. O

Leia mais

REGULAMENTAÇÃO DO TRABALHO DE CONCLUSÃO DE CURSO (TCC) DO CURSO DE CIÊNCIA DA COMPUTAÇÃO

REGULAMENTAÇÃO DO TRABALHO DE CONCLUSÃO DE CURSO (TCC) DO CURSO DE CIÊNCIA DA COMPUTAÇÃO REGULAMENTAÇÃO DO TRABALHO DE CONCLUSÃO DE CURSO (TCC) DO CURSO DE CIÊNCIA DA COMPUTAÇÃO Resolução 012/2010 da Pró-Reitoria de Graduação CAPÍTULO I - DO CONCEITO Art. 1º - O Trabalho de Conclusão de Curso

Leia mais

Departamento de Ciências e Tecnologias

Departamento de Ciências e Tecnologias Futuro Departamento de Ciências e Tecnologias Licenciatura em Engenharia Informática Missão Dotar os alunos de uma sólida formação teórica e experimental que garanta aos futuros licenciados a capacidade

Leia mais

PC Fundamentos Revisão 4

PC Fundamentos Revisão 4 exatasfepi.com.br PC Fundamentos Revisão 4 André Luís Duarte...mas os que esperam no Senhor renovarão as suas forças; subirão com asas como águias; correrão, e não se cansarão; andarão, e não se fatigarão.is

Leia mais

Linguagens 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

Linguagens 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 mais

Gramáticas Livres de Contexto

Gramá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 mais

CATÁLOGO DE REQUISITOS

CATÁLOGO DE REQUISITOS 1 Habilitação Componente Titulação CATÁLOGO DE REQUISITOS em (EII) - Habilitação em de Empresas - Habilitação em Agronegócios - Habilitação em Gestão de Negócios Agroindustriais - Habilitação em Gestão

Leia mais

NOVA PROPOSTA DE MATRIZ CURRICULAR CURSO SUPERIOR DE TECNOLOGIA EM ANÁLISE E DESENVOLVIMENTO DE SISTEMAS - 2016

NOVA PROPOSTA DE MATRIZ CURRICULAR CURSO SUPERIOR DE TECNOLOGIA EM ANÁLISE E DESENVOLVIMENTO DE SISTEMAS - 2016 NOVA PROPOSTA DE MATRIZ CURRICULAR CURSO SUPERIOR DE TECNOLOGIA EM ANÁLISE E DESENVOLVIMENTO DE SISTEMAS - 2016 Diante da evolução de técnicas e ferramentas tecnológicas, aliado a novas necessidades curriculares,

Leia mais

EXPLORANDO ALGUMAS IDEIAS CENTRAIS DO PARÂMETROS CURRICULARES NACIONAIS ENSINO MÉDIO. Giovani Cammarota

EXPLORANDO ALGUMAS IDEIAS CENTRAIS DO PARÂMETROS CURRICULARES NACIONAIS ENSINO MÉDIO. Giovani Cammarota UNIVERSIDADE FEDERAL DE VIÇOSA DEPARTAMENTO DE MATEMÁTICA PRÁTICA DE ENSINO DE MATEMÁTICA IV EXPLORANDO ALGUMAS IDEIAS CENTRAIS DO PARÂMETROS CURRICULARES NACIONAIS ENSINO MÉDIO Giovani Cammarota - Divisão

Leia mais

PROGRAMAÇÃO INSTRUÇÕES DA LINGUAGEM C

PROGRAMAÇÃO INSTRUÇÕES DA LINGUAGEM C PROGRAMAÇÃO INSTRUÇÕES DA LINGUAGEM C 1 2 Repetição 1 Enquanto 'C' é verdadeira Fazer? 3 Repetição 1 Enquanto 'C' é verdadeira Fazer? while (C)?; 4 Enunciado: Construa um algoritmo para mostrar os 100

Leia mais

Compiladores Aula 5. Celso Olivete Júnior. olivete@fct.unesp.br

Compiladores Aula 5. Celso Olivete Júnior. olivete@fct.unesp.br Aula 5 Celso Olivete Júnior olivete@fct.unesp.br Na aula passada Conjuntos Primeiro(First) e Seguidor(Follow) 2 Na aula de hoje Análise Sintática Análise Sintática Descendente Recursividade Fatoração 3

Leia mais

Programação I. Introdução a Lógica de Programação

Programação I. Introdução a Lógica de Programação Engenharia de Controle e Automação Programação I Introdução a Lógica de Programação Lara Popov Zambiasi Bazzi Oberderfer Ementa Introdução a lógica de programação e algoritmos. Constantes, variáveis e

Leia mais

Histórico da Oferta de Cursos do Câmpus Pato Branco

Histórico da Oferta de Cursos do Câmpus Pato Branco Histórico da Oferta de Cursos do Câmpus Pato Branco Inauguração da UNED - Pato Branco - Curso Nível Médio em Edificações - Curso Nível Médio em Eletrônica Incorporação da Fundação de Ensino Superior de

Leia mais

ICC - 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. 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 mais

UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE ENGENHARIA ELÉTRICA COLEGIADO DO CURSO DE GRADUAÇÃO EM ENGENHARIA ELÉTRICA/ENG.

UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE ENGENHARIA ELÉTRICA COLEGIADO DO CURSO DE GRADUAÇÃO EM ENGENHARIA ELÉTRICA/ENG. UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE ENGENHARIA ELÉTRICA COLEGIADO DO CURSO DE GRADUAÇÃO EM ENGENHARIA ELÉTRICA/ENG. COMPUTAÇÃO PLANO DE CURSO DISCIPLINA: MÉTODOS E TÉCNICAS DE PROGRAMAÇÃO CÓDIGO:

Leia mais

ESTRUTURAS DE DADOS II

ESTRUTURAS 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 mais

Curso: ADMINISTRAÇÃO PÚBLICA BACHARELADO

Curso: ADMINISTRAÇÃO PÚBLICA BACHARELADO Curso: ADMINISTRAÇÃO PÚBLICA BACHARELADO 11 B 12 B 15 D 16 A 17 D 18 E 19 B 20 E 21 E 23 D 25 B 26 C 27 A 28 C 29 A 30 E 31 B 32 C 33 D 34 E 36 C 37 D 38 D 39 B Curso: SISTEMAS DE INFORMAÇÃO BACHARELADO

Leia mais

PROGRAMAÇÃO DE COMPUTADORES (Teoria)

PROGRAMAÇÃ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 mais