Programação de Computadores II TCC Profs.: Anselmo Montenegro (1) & Marcos Lage (2)
|
|
- Sebastião Osório Marreiro
- 4 Há anos
- Visualizações:
Transcrição
1 Programaçãode ComputadoresII TCC Profs.:AnselmoMontenegro (1) &MarcosLage (2) (1) (2) Conteúdo:IntroduçãoaoJava,Exs.
2 Conversãodecores Diferentessistemassãou?lizadospararepresentarcores. Porexemplo,osistemamaiscomumpararepresentaçãodecoresem displaylcd,câmerasdigitaisepáginaswebconhecidocomo sistema RGB, especifica os níveis de vermelho(r), verde(g) e azul(b) em uma escalade0a255. Osistemau?lizadonapublicaçãodelivroserevistas,conhecidocomo CMYK,especificaosníveisdeciano,magenta,amareloepretoemum escalade0.0a /08/11 ProgramaçãodeComputadoresII 2
3 Escreva um programa Java que receba três inteiros r, g e b representando um cor no sistema RGB e imprima os valores das componentesc,m,y,kcorrespondentesnosistemacmyk. Se r=g=b=0 então c=m=y=0 e k = 1, caso contrário u?lize a fórmula abaixo: w = max(r / 255, g / 255, b / 255); c = (w! (r / 255)) / w m = (w! (g / 255)) / w y = (w! (b / 255)) / w k =1! w Conversãodecores 18/08/11 ProgramaçãodeComputadoresII 3
4 Padrãodedivisores Escreva um programa Java que receba um inteiro N e imprima um tabela NxN com um asterisco na linha i e coluna j se ou i dividejoujdividei. 18/08/11 ProgramaçãodeComputadoresII 4
5 FatoraçãodeInteiros Escreva um programa Java que receba um inteiro N e imprima suafatoração. (sequenciadeinteirosprimosquemullplicadosigualaan). Escrevaumaversãomaiseficientedoseualgoritmo. 18/08/11 ProgramaçãodeComputadoresII 5
6 FatoraçãodeInteiros Escreva um programa Java que receba um número inteiro N e geretodososfatoresprimosden. 18/08/11 ProgramaçãodeComputadoresII 6
7 CálculodeRaizQuadrada Escreva um programa Java que ache a raiz quadrada de um número real c u?lizandométododenewton Raphson. Sobcertascondições,dadaumafunçãof(x),ométododeNewton Raphsoné capazdeencontrarasraízesdeumaequaçãof(x)=0. Algoritmo: 1. Ométodoiniciacomumaes?ma?vadaraízt 0 2. Apar?rdeumaes?ma?vat i,computeumanovaes?ma?vat i+1 ondet i é ainterseçãodalinhatangenteaográficodef(x)noponto(t i,f(t i ))como eixodasabcissas. 18/08/11 ProgramaçãodeComputadoresII 7
8 CálculodeRaizQuadrada t i f(t i+1 ) f(t i ) t i+1 t i f!(t i ) = f (t )" 0 i t i " t i+1 f!(t i )(t i " t i+1 ) = f (t i ) t i+1 = t i + f (t ) i f!(t i ) 18/08/11 ProgramaçãodeComputadoresII 8
9 CálculodeRaizQuadrada Computararaizdeumnúmeroéequivalenteaachara raízda funçãof(x)=x 2 c. Considereumaes?ma?vainicialt 0 =c. Set i *t i c<eps;entãotomet i comoraizdec. 18/08/11 ProgramaçãodeComputadoresII 9
10 Jogodesenhas EscrevaumprogramaemJavaquesimuleumjogodesenhas. Obje-vo: descobrirasenhageradaaleatoriamentepelocomputador. Acadarodada: ojogadortentadescobrirasenhaeocomputadorretorna * paraosdígitosqueaindanão foramdescobertoseovalordodigitonasposiçõescorretas. Fimdojogo: Jogocon?nuaatéqueasenhasejadescobertaouonumeromáximodejogadassejaa?ngido. Obs: Assenhassãocompostaspornúmerosinteirosde0aonumerodedígitosdasenha. Onúmerodetenta?vaséigualaonúmerodedígitosdasenha. 18/08/11 ProgramaçãodeComputadoresII 10
11 Jogodedados EscrevaumprogramaemJavaquesimuleumjogodedados. Lançamentoinicial: Seolançador?rarum7ou11noprimeirolançamento,venceojogo. Seosdadossomarem2,3ou12,ojogadorperdeasojogo. Qualqueroutronúmeroquesaianolançamentoinicial(4,5,6,8,9,ou10) setornaoseu Ponto. Oslançamentoscon?nuamatéque: OPontosairantesdeum7,eassimojogadorvence. O7sairantesdoPonto,eassimojogadorperde. 18/08/11 ProgramaçãodeComputadoresII 11
12 Picosdeumterreno EscrevaumprogramaemJavaquecalculeospicosdeumterreno. Modelagemdoterreno: Podemosrepresentarumterrenocomputacionalmenteatravésdeuma matrizquearmazenaaalturadosnxnpontosdeumre?culado. 18/08/11 ProgramaçãodeComputadoresII 12
13 MatrizdeHadamard AMatrizdeHadamardéumamatrizquadradacujasentradassão1ou 1e aslinhassãoortogonaisentresi. PodemosconstruirumamatrizdeHadamardNxN,comNsendopotência de2,daseguinteforma: ParaN=1ParaN=2 k M 1 =1 " M M 2k = 2k!1 M % $ 2k!1 ' ParaN=2 # $ M 2k!1!M 2k!1 &' " M 2 = $ # 1 1 1!1 % ' & 18/08/11 ProgramaçãodeComputadoresII 13
14 SequenciadeSímbolos EscrevaumprogramaemJavaquerecebaumasequenciadeletrasda linha de comando formada por um conjunto de símbolos e gere as seguintesmensagens: Paraumaletraa Soco. Paraumaletrab Chutelateral. Paraduasletrasa sconsecu?vas Chutecircular. Paraumaletraaseguidadeumaletrabimprime dragonpunch. 18/08/11 ProgramaçãodeComputadoresII 14
15 SequênciadeSímbolos O problema pode ser resolvido através de um autômato finito determinís?co, que é um modelo para definição de linguagens regularescompostodecincoelementos: Σ,S,s o,δ,f,onde: Σéoalfabetosobreoqualalinguagemédefinida; Séumconjuntofinitodeestadosnãovazio; s o éoestadoinicial,s o S; δ:s Σ Séafunçãodetransiçãodeestados; FéoconjuntodeestadosfinaisF S. 18/08/11 ProgramaçãodeComputadoresII 15
16 SequênciadeSímbolos Um AFD é uma máquina reconhecedora de cadeias que pertencem a linguagem. Elerecebeumacadeiaedizseelapertenceounãoalinguagemmodelada. ElepossuiumcontroledeestadosS. O Controle Finito de Estados sempre coloca a máquina em um estado pertencenteas. 18/08/11 ProgramaçãodeComputadoresII 16
17 SequênciadeSímbolos A função F diz como a máquina deve mudar de estado, à medida em que os símbolosdacadeiasãoanalisados. Após processar todos os símbolos e realizar as mudanças determinadas o AFD aceitaounãoacadeia. Umacadeiaérejeitadaquandooautômatoparaemumestadoquenãoéfinal. Referência:ComoconstruirumcompiladoruLlizandoferramentasJava. (MárcioDelamaro novatec). 18/08/11 ProgramaçãodeComputadoresII 17
18 SequênciadeSímbolos a b b a Aceita Aceita Controle finitode estados Rejeita Controle finitode estados Rejeita 18/08/11 ProgramaçãodeComputadoresII 18
19 SequênciadeSímbolos Autômatofinitodeterminís?coparaoproblemadasequênciadesímbolos CH SxΣ a b Estado a a I CH SO Inicial I s 0 b CC CH CC DP Chute SO Soco b SO CC Chutecircular DP DP DragonPunch 18/08/11 ProgramaçãodeComputadoresII 19
20 CaminhosAleatóriossemAuto Interseção Suponhaquevocêabandoneseucãonomeiodeumagrandecidadecujasruas formamumaestruturadere?culado. ConsiderequeexistamNruasnadireçãonorte sulemnadireçãoleste oeste. Com o obje?vo de escapar da cidade, o cão faz uma escolha aleatória de qual direção ir em cada iteração, mas sabe através do faro como evitar visitar um lugarpreviamentevisitado. Apesardetudoépossívelqueocãofiqueperdidoemumbecosemsaídaondea próximaescolhaobrigatoriamentelevaaumlugarjápercorrido. 18/08/11 ProgramaçãodeComputadoresII 20
21 CaminhosAleatóriossemAuto Interseção Escreva um programa Java que receba como parâmetros a larguraealturadore?culadoesimuleocaminhopercorrido porumcãotvezes. O programa deve determinar o número de vezes em que o cãoficasemsaída. 18/08/11 ProgramaçãodeComputadoresII 21
Programação de Computadores II
Programação de Computadores II TCC 00.174 Profs.: Leandro A. F. Fernandes (A1) & Marcos Lage (B1) & Isabel Rosseti (C1) (Turma A1) www.ic.uff.br/~laffernandes (Turma B1) www.ic.uff.br/~mlage (Turma C1)
Leia maisProgramação de Computadores II TCC Profs.: Anselmo Montenegro (1) & Marcos Lage (2)
Programaçãode ComputadoresII TCC 00174 Profs.:AnselmoMontenegro (1) &MarcosLage (2) (1)www.ic.uff.br/~anselmo (2)www.ic.uff.br/~mlage Conteúdo:RepresentaçãodeDadosUsandoAgregados. ArraysUnidimensionais
Leia maisProgramação de Computadores II TCC 00.174/Turma A 1
Programação de Computadores II TCC 00.174/Turma A 1 Professor Leandro A. F. Fernandes http://www.c.uff.br/~laffernandes Conteúdo: Introdução ao Java (exercícos) Materal elaborado pelos profs. Anselmo Montenegro
Leia maisMáquinas de Turing - Computabilidade
BCC244-Teoria da Computação Prof. Lucília Figueiredo Lista de Exercícios 03 DECOM ICEB - UFOP Máquinas de Turing - Computabilidade 1. Seja L uma linguagem não livre de contexto. Mostre que: (a) Se X uma
Leia maisLinguagens Formais e Autômatos. Autômatos Finitos Determinísticos (AFD)
Linguagens Formais e Autômatos Autômatos Finitos Determinísticos (AFD) Cristiano Lehrer, M.Sc. Linguagens Regulares A teoria da computação começa com uma pergunta: O que é um computador? É, talvez, uma
Leia maisComo construir um compilador utilizando ferramentas Java
Como construir um compilador utilizando ferramentas Java p. 1/2 Como construir um compilador utilizando ferramentas Java Aula 4 Análise Léxica Prof. Márcio Delamaro delamaro@icmc.usp.br Como construir
Leia maisLista de exercícios 1
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural Lista de exercícios 1 Disciplina: Linguagens Formais e Autômatos Professora: Juliana Pinheiro
Leia maisPropriedades de AFD's
Linguagens Formais e Autômatos Propriedades de AFD's Andrei Rimsa Álvares Material extraído do livro e slides do Prof. Newton Vieira (hbp://dcc.ufmg.br/~nvieira) Propriedades de AFD's Se existe um AFD
Leia maisUniversidade de São Paulo Instituto de Ciências Matemáticas e de Computação Curso de Ciências de Computação
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Curso de Ciências de Computação SCC-205 TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS Turma 1 2º. Semestre de 2012 Prof. João Luís
Leia maisSCC 205 Teoria da Computação e Linguagens Formais
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Departamento de Ciências de Computação SCC 205 Teoria da Computação e Linguagens Formais Autômatos com pilha Lista 3 1. Dê um
Leia maisBCC242. Auômato Finito Determinístico
BCC242 Auômato Finito Determinístico Máquinas de Estados Finitos As máquinas de estados finitos são máquinas abstratas que capturam partes essenciais de algumas máquinas concretas. Tipos Tradutores máquinas
Leia maisAutômatos Finitos Não Determinís5cos (AFN)
Linguagens Formais e Autômatos Autômatos Finitos Não Determinís5cos (AFN) Andrei Rimsa Álvares Material extraído do livro e slides do Prof. Newton Vieira (hdp://dcc.ufmg.br/~nvieira) Sumário Introdução
Leia maisTeoria de Linguagens 1 o semestre de 2018 Professor: Newton José Vieira Primeira Lista de Exercícios Data de entrega: 17/4/2018 Valor: 10 pontos
Departamento de Ciência da Computação ICEx/UFMG Teoria de Linguagens o semestre de 8 Professor: Newton José Vieira Primeira Lista de Exercícios Data de entrega: 7/4/8 Valor: pontos. Uma versão do problema
Leia maisTeoria de Linguagens 2 o semestre de 2017 Professor: Newton José Vieira Primeira Lista de Exercícios Data de entrega: 19/9/2017 Valor: 10 pontos
Departamento de Ciência da Computação ICEx/UFMG Teoria de Linguagens o semestre de 7 Professor: Newton José Vieira Primeira Lista de Exercícios Data de entrega: 9/9/7 Valor: pontos. Uma versão do problema
Leia maisUniversidade Federal de Alfenas
Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 08 Minimização de AFDs humberto@bcc.unifal-mg.edu.br Últimas aulas... Linguagens Formais vs Linguagens Naturais Últimas aulas... Linguagens
Leia maisUniversidade de São Paulo Instituto de Ciências Matemáticas e de Computação Departamento de Ciências de Computação
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Departamento de Ciências de Computação SCC-0505 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Lista de Exercícios do Capítulo 3 Gramáticas
Leia maisAutômatos finitos não-determinísticos
Autômatos finitos não-determinísticos IBM1088 Linguagens Formais e Teoria da Computação Evandro Eduardo Seron Ruiz evandro@usp.br Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 30 Frase do dia The
Leia maisLinguagens Formais e Autômatos. Linguagens Regulares Prof. Anderson Belgamo
Linguagens Formais e Autômatos Linguagens Regulares Prof. Anderson Belgamo Linguagens Regulares Linguagens Regulares ou Tipo 3 formalismos operacionais ou reconhecedores Autômato Finito Determinístico
Leia maisEditor de Autômatos Finitos. Acadêmica: Josiane Patrícia Morastoni Orientadora: Joyce Martins
Editor de Autômatos Finitos Acadêmica: Josiane Patrícia Morastoni Orientadora: Joyce Martins 0 1 0 0 Roteiro da Apresentação Introdução Autômatos Finitos Desenvolvimento trabalho Considerações finais 2/31
Leia maisTeoria da Computação. Unidade 3 Máquinas Universais. Referência Teoria da Computação (Divério, 2000)
Teoria da Computação Referência Teoria da Computação (Divério, 2000) 1 L={(0,1)*00} de forma que você pode usar uma Máquina de Turing que não altera os símbolos da fita e sempre move a direita. MT_(0,1)*00=({0,1},{q
Leia maisTeoria de Linguagens 2 o semestre de 2015 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 15/9.
Pós-Graduação em Ciência da Computação DCC/ICEx/UFMG Teoria de Linguagens 2 o semestre de 2015 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 15/9. Observações: Pontos
Leia maisLR's: Lema do Bombeamento e Propriedades de Fechamento
Linguagens Formais e Autômatos LR's: Lema do Bombeamento e Propriedades de Fechamento Andrei Rimsa Álvares Material extraído do livro e slides do Prof. Newton Vieira (hfp://dcc.ufmg.br/~nvieira) Introdução
Leia maisINE5317 Linguagens Formais e Compiladores AULA 5: Autômatos Finitos
INE5317 Linguagens Formais e Compiladores AULA 5: Autômatos Finitos Ricardo Azambuja Silveira INE-CTC-UFSC E-Mail: silveira@inf.ufsc.br URL: www.inf.ufsc.br/~silveira As Linguagens e os formalismos representacionais
Leia maisSCC-ICMC-USP. Trabalho em Grupo 1 SCC-0205
Trabalho em Grupo 1 SCC-0205 2 o. Semestre de 2010 Professor: João Luís G. Rosa - e-mail: joaoluis@icmc.usp.br Monitor PAE: Fernando Alva - e-mail: falva@icmc.usp.br versão 1-23/8/2010 1 Objetivo Desenvolver
Leia maisAutômatos Finitos Determinís3cos (AFD)
Linguagens Formais e Autômatos Autômatos Finitos Determinís3cos (AFD) Andrei Rimsa Álvares Material extraído do livro e slides do Prof. Newton Vieira (hcp://dcc.ufmg.br/~nvieira) Introdução Exemplos Sumário
Leia maisAutômatos de Pilha (AP)
Linguagens Formais e Autômatos Autômatos de Pilha (AP) Andrei Rimsa Álvares Material extraído do livro e slides do Prof. Newton Vieira (h@p://dcc.ufmg.br/~nvieira) Sumário Introdução Autômatos de pilha
Leia maisLinguagens Formais e Autômatos Apresentação da Disciplina
Linguagens Formais e Autômatos Apresentação da Disciplina Andrei Rimsa Álvares Computação Histórico da Computação O que pode ser computado? Ábaco China Aprox. 3500 a.c. Máquina de Babbage Inglaterra 1823
Leia maisLinguaguens recursivamente enumeráveis e recursivas
Linguaguens recursivamente enumeráveis e recursivas Uma linguagem diz-se recursivamente enumerável (r.e) ou semi-decidível se é aceite por uma máquina de Turing. SD: classe de linguagens recursivamente
Leia maisExpressões e Gramáticas Regulares e Autómatos Finitos
Folha Prática Expressões e Gramáticas Regulares e Autómatos Finitos 1 Expressões e Gramáticas Regulares e Autómatos Finitos Expressões Regulares e Autómatos Finitos 1. Determine e implemente computacionalmente
Leia maisLinguagens Formais e Autômatos P. Blauth Menezes
Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Linguagens Formais e Autômatos - P. Blauth Menezes 1 Linguagens
Leia maisLinguagens Formais e Autômatos
Linguagens Formais e Autômatos Conversão de Expressões Regulares (ER) para Autômatos Finitos Determinísticos (AFD) Cristiano Lehrer, M.Sc. Introdução A construção sistemática de um Autômato Finito para
Leia maisLicenciatura em Engenharia Informática DEI/ISEP Linguagens de Programação 2006/07
Licenciatura em Engenharia Informática DEI/ISEP Linguagens de Programação 2006/07 Ficha 3 Autómatos Finitos Objectivos: Introdução ao conceito de Autómato Finito e notações utilizadas na sua representação;
Leia maisLFA Aula 05. AFND: com e sem movimentos 05/12/2016. Linguagens Formais e Autômatos. Celso Olivete Júnior.
LFA Aula 05 AFND: com e sem movimentos vazios 05/12/2016 Celso Olivete Júnior olivete@fct.unesp.br www.fct.unesp.br/docentes/dmec/olivete/lfa 1 Na aula passada... Reconhecedores genéricos Autômatos finitos
Leia maisDecidibilidade. Mário S. Alvim Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02)
Decidibilidade Mário S Alvim (msalvim@dccufmgbr) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S Alvim (msalvim@dccufmgbr) Decidibilidade DCC-UFMG (2018/02) 1 / 45 Decidibilidade:
Leia maisLinguagens Não-Regulares
Linguagens Não-Regulares Mário S. Alvim (msalvim@dcc.ufmg.br) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim (msalvim@dcc.ufmg.br) Linguagens Não-Regulares DCC-UFMG (2018/02)
Leia maisUNIVERSIDADE ESTADUAL DE MARINGÁ DEPARTAMENTO DE INFORMÁTICA
UNIVERSIDADE ESTADUAL DE MARINGÁ DEPARTAMENTO DE INFORMÁTICA Máquina de Turing Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa yandre@din.uem.br Teoria da Computação Ciência da Computação
Leia maisINSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO MARANHÃO - CAMPUS CAXIAS. Aluno (s): 01 ATIVIDADE. Revisão de Conteúdo
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO MARANHÃO - CAMPUS CAXIAS DISCIPLINA: Lab. de Programação PROF: MSc. Flávio Barros PERÍODO: 2 DATA: Aluno (s): 01 ATIVIDADE / / Revisão de Conteúdo
Leia maisUNIVERSIDADE ANHANGUERA-UNIDERP
UNIVERSIDADE ANHANGUERA-UNIDERP PLANO DE ENSINO E APRENDIZAGEM (Plano de Curso) DADOS DE IDENTIFICAÇÃO Curso: Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Disciplina: Algoritmos e Programação
Leia maisMT como calculadoras de funções parciais
MT como calculadoras de funções parciais Uma máquina de Turing pode ser vista como uma calculadora de funções parciais dos inteiros nos inteiros: f : N k p N Suponhamos que os inteiros estão codificados
Leia maisSCC Capítulo 3 Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente
SCC-505 - Capítulo 3 Linguagens Sensíveis ao Contexto e João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação - Universidade de São Paulo http://www.icmc.usp.br/~joaoluis
Leia maisMáquina de Turing Linguagens Sensíveis ao Contexto e Enumeráveis Recursivamente
ESIN/UCPel 058814 Linguagens Formais e Autômatos TEXTO 5 Máquina de Turing Linguagens Sensíveis ao Contexto e Enumeráveis Recursivamente Prof. Luiz A M Palazzo Maio de 2007 0. Introdução A Ciência da Computação
Leia maisLINGUAGEM LIVRE DE CONTEXTO GRAMÁTICA LIVRE DE CONTEXTO
LINGUAGEM LIVRE DE CONTEXTO As Linguagens Livres de Contexto é um reconhecedor de linguagens, capaz de aceitar palavras corretas (cadeia, sentenças) da linguagem. Por exemplo, os autômatos. Um gerador
Leia maisLINGUAGENS FORMAIS Modelos Determinísticos e Não Determinísticos. Usam-se modelos matemáticos para representar eventos (fenômenos) do mundo real.
LINGUAGENS FORMAIS Modelos Determinísticos e Não Determinísticos Modelos Matemáticos Usam-se modelos matemáticos para representar eventos (fenômenos) do mundo real. Ressalta-se contudo que é muito importante
Leia maisPython 3.x Estrutura de Repetição while
Python 3.x Estrutura de Repetição while Introdução à Ciência da Computação Prof. Edison Ishikawa Sumário Atribuição Atualizando variáveis Iterações Revisitando o laço for Laço while Rastreando um programa
Leia maisTerceira Lista de Exercícios 2004/2...
UFLA Universidade Federal de Lavras Departamento de Ciência da Computação COM162 Linguagens Formais e Autômatos Prof. Rudini Sampaio Monitor: Rodrigo Pereira dos Santos Terceira Lista de Exercícios 2004/2
Leia maisLinguagens e Programação Automátos Finitos. Paulo Proença
Linguagens e Programação Automátos Finitos Autómatos finitos Formalismo, que permite representar de uma forma clara, um qualquer processo composto por um conjunto de estados e transições entre esses estados.
Leia maisLinguaguens recursivamente enumeráveis
Linguaguens recursivamente enumeráveis Uma palavra x Σ é aceite por uma máquina de Turing M ( x L(M)) se M iniciando com a palavra x na fita e no estado inicial, pára num estado final. Caso contrário,
Leia maisLinguagens recursivamente enumeráveis
Linguagens recursivamente enumeráveis Uma palavra x Σ é aceite por uma máquina de Turing M ( x L(M)) se M iniciando com a palavra x na fita e no estado inicial, pára num estado final. Caso contrário, M
Leia maisAutómatos de Pilha e Linguagens Livres de Contexto
Folha Prática Autómatos de Pilha e Linguagens Livres de Contexto 1 Autómatos de Pilha e Linguagens Livres de Contexto Autómatos de Pilha Não Determinísticos (APND) 1. Considere a seguinte tabela de transição
Leia maisLinguagens Formais e Problemas de Decisão
Linguagens Formais e Problemas de Decisão Mário S. Alvim (msalvim@dcc.ufmg.br) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim (msalvim@dcc.ufmg.br) Linguagens Formais e Problemas
Leia maisEstruturas de Seleção Seleção Simples e Composta (parte 1)
Seleção Simples e Composta (parte 1) Material produzido por professores da UFABC Objetivos Reconhecer a necessidade do uso de estruturas de seleção (decisão) Aprender a utilizar operadores relacionais
Leia maisPortugol. Tiago Alves de Oliveira
Portugol Tiago Alves de Oliveira Revisando Algoritmo: Sequência finita de passos que levam à execução de uma tarefa Claro e preciso. Ex. somar dois números Algoritmo precisa seguir uma sequência lógica
Leia maisFORD C-MAX + FORD GRAND C-MAX CMAX_Main_Cover_2014_V3.indd 1-3 23/08/2013 10:01:48
1 2 3 4 5 6 7 8 9 10 12,999,976 km 9,136,765 km 1,276,765 km 499,892 km 245,066 km 112,907 km 36,765 km 24,159 km 7899 km 2408 km 76 km 12 14 16 9 10 1 8 12 7 3 1 6 2 5 4 3 11 18 20 21 22 23 24 26 28 30
Leia maisConstrução de Compiladores Aula 16 - Análise Sintática
Construção de Compiladores Aula 16 - Análise Sintática Bruno Müller Junior Departamento de Informática UFPR 25 de Setembro de 2014 1 Introdução Hierarquia de Chomsky Reconhecedores Linguagens Livres de
Leia maisExercícios V1 = V2 = V1 = V2 =
Exercícios Exercício 1 Considerando os vetores como a pontuação por 3 equipes esportivas em 5 provas distintas. Escreva uma função que receba um vetor qualquer, calcule e retorne a média dos seus elementos.
Leia maisProblema de Designação. Fernando Nogueira Problema de Designação 1
Problema de Designação Fernando Nogueira Problema de Designação 1 O Problema de Designação é um caso específico de um Problema de Transporte, que por sua vez é um caso específico de um Problema de Programação
Leia maisCapítulo 1 Conceitos Básicos
Capítulo 1 Conceitos Básicos Licenciatura em Computação Fundamentos de Lógica para Programação Prof. Nícolas Trigo nicolas.trigo@ifsertao-pe.edu.br http://professor.ifsertao-pe.edu.br/nicolas.trigo Introdução
Leia maisECO026 TEORIA DA COMPUTAÇÃO. Prof: Rafael Santos Site:
ECO026 TEORIA DA COMPUTAÇÃO Prof: Rafael Santos Email: rafafic@gmail.com Site: http://sites.google.com/site/rafafic Máquinas de Turing Uma linguagem Turing-reconhecível (Linguagem recursivamente enumeravel),
Leia maisUNIVERSIDADE ESTADUAL DE MARINGÁ DEPARTAMENTO DE INFORMÁTICA
UNIVERSIDADE ESTADUAL DE MARINGÁ DEPARTAMENTO DE INFORMÁTICA Máquina de Turing Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa yandre@din.uem.br Teoria da Computação Ciência da Computação
Leia maisLinguagens Formais e Autômatos. Apresentação do Plano de Ensino
Linguagens Formais e Autômatos Apresentação do Plano de Ensino Linguagens Formais e Autômatos LFA Código - CMP4145 Turma C01 Engenharia da Computação e Ciência da Computação Horário: Segunda e Quinta:
Leia maisConceitos Básicos. Professor: Juliano Lucas Gonçalves.
Conceitos Básicos Professor: Juliano Lucas Gonçalves juliano.goncalves@ifsc.edu.br Agenda Revisão Algoritmos Memória, variáveis e constantes Estrutura básica de um algoritmo em pseudocódigo 2 O que já
Leia maisUniversidade de São Paulo Instituto de Ciências Matemáticas e de Computação Curso de Ciências de Computação
Universiae e São Paulo Instituto e Ciências Matemáticas e e Computação Curso e Ciências e Computação SCC-205 TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS Turma A 2º. Semestre e 2010 Prof. João Luís Lista
Leia maisLINGUAGENS FORMAIS Definições. Desenvolveram-se na História em função da necessidade dos grupos humanos que as empregavam
Linguagens Naturais LINGUAGENS FORMAIS Definições Desenvolveram-se na História em função da necessidade dos grupos humanos que as empregavam São muito ricas, mas também ambíguas e imprecisas. Ex.: João
Leia maisINCLUSÃO DO ALGORITMO DE TRANSFORMAÇÃO DE UM AUTÔMATO FINITO EM EXPRESSÃO REGULAR NO AMBIENTE EDITOR DE AUTÔMATOS FINITOS
INCLUSÃO DO ALGORITMO DE TRANSFORMAÇÃO DE UM AUTÔMATO FINITO EM EXPRESSÃO REGULAR NO AMBIENTE EDITOR DE AUTÔMATOS FINITOS Acadêmico: Fernando Rafael Piccini Orientador: José Roque Voltolini da Silva Roteiro
Leia maisVariáveis, Expressões Aritméticas e Entrada e Saída de Dados
Escola de Ciências e Tecnologia UFRN Variáveis, Expressões Aritméticas e Entrada e Saída de Dados ECT1103 INFORMÁTICA FUNDAMENTAL Manter o telefone celular sempre desligado/silencioso quando estiver em
Leia maisLinguagens Regulares. Prof. Daniel Oliveira
Linguagens Regulares Prof. Daniel Oliveira Linguagens Regulares Linguagens Regulares ou Tipo 3 Hierarquia de Chomsky Linguagens Regulares Aborda-se os seguintes formalismos: Autômatos Finitos Expressões
Leia maisModelos de Computação Folha de trabalho n. 10
Modelos de Computação Folha de trabalho n. 10 Nota: Os exercícios obrigatórios marcados de A a D constituem os problemas que devem ser resolvidos individualmente. A resolução em papel deverá ser depositada
Leia maisLinguagens Formais e Autômatos P. Blauth Menezes
Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Linguagens Formais e Autômatos - P. Blauth Menezes 1 Linguagens
Leia maisExercícios: Comandos de Repetição
Universidade Federal de Uberlândia - UFU Faculdade de Computação - FACOM Lista de exercícios de programação em linguagem C Exercícios: Comandos de Repetição 1. Faça um programa que determine o mostre os
Leia maisUniversidade Federal de Ouro Preto - UFOP Departamento de Computação - DECOM Programação de Computadores I - BCC701
Universidade Federal de Ouro Preto - UFOP Departamento de Computação - DECOM Programação de Computadores I - BCC701 www.decom.ufop.br/red 2017-1 Aula Teórica 05 Laços 1 Conteúdos da Aula Instrução de Repetição
Leia maisIntrodução a Programação
Introdução a Programação Prof. André Gustavo Duarte de Almeida andre.almeida@ifrn.edu.br docente.ifrn.edu.br/andrealmeida Aula 01 Informática e a Programação Roteiro Informática Pensar e Programar Atividades
Leia maisAula de 26/08/2013. Processadores Simbólicos Aspectos de Arquitetura e Implementação
Linguagens Formais e Autômatos (LFA) Aula de 26/08/2013 Processadores Simbólicos Aspectos de Arquitetura e Implementação 1 Tópicos Cadeias, símbolos e linguagens em Ruby Visão geral da arquitetura Descrição
Leia maisFolha 2 Autómatos e respectivas linguagens
Folha 2 Autómatos e respectivas linguagens 1. Considere a linguagem L formada por todas as sequências sobre o alfabeto { 0, 1, 2 } cujo somatório seja divisível por 3. Construa um autómato finito A que
Leia maisAlgoritmo de Minimização de AFD
a * Algoritmo de Minimização de AFD (Menezes, 2002) e no Livro Animado do próprio autor: ttp://teia.inf.ufrgs.br/cgi-bin/moore.pl?curso=livroanimado&estado=81 1 Autômato Finito Mínimo Um Autômato Mínimo
Leia maisMarcos Castilho. DInf/UFPR. 16 de maio de 2019
16 de maio de 2019 Motivação Quais são os limites da computação? O que é um Problema de decisão? Um problema de decisão é um conjunto de perguntas, cada uma das quais tem um SIM ou um NÃO como resposta.
Leia maisMáquinas Universais. Máquina de Turing. Celso Olivete Júnior.
Máquinas Universais Máquina de Celso Olivete Júnior olivete@fct.unesp.br http://www2.fct.unesp.br/docentes/dmec/olivete/ Roteiro Hipótese de Church - Máquinas Universais: Máquina de Máquina de : Noção
Leia maisLinguagens Formais e Autômatos. Apresentação do Plano de Ensino
Linguagens Formais e Autômatos Apresentação do Plano de Ensino Linguagens Formais e Autômatos LFA Código - CMP4145 Turma A01 Engenharia da Computação e Ciência da Computação Horário: Segunda, Terça e Quinta.
Leia maisPesquisa Operacional
Faculdade de Engenharia - Campus de Guaratinguetá Pesquisa Operacional Livro: Introdução à Pesquisa Operacional Capítulo 5 Modelo da Designação Fernando Marins fmarins@feg.unesp.br Departamento de Produção
Leia maisExercícios Repetição
Curso de Engenharia de Controle e Automação Disciplina: Informática para a Automação Professor: Marcelo Cendron Exercícios Repetição 1.1 8.3 Exercícios 1. Faça um programa utilizando o comando while, que
Leia maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO Prof.ª Danielle Casillo Diferencia-se das máquinas de Turing e Post principalmente pelo fato de possuir a memória de entrada separada
Leia maisLinguagens Formais e Autômatos 02/2015. LFA Aula 02. introdução 28/09/2015. Celso Olivete Júnior.
LFA Aula 02 Linguagens regulares - introdução 28/09/2015 Celso Olivete Júnior olivete@fct.unesp.br 1 Na aula passada... Visão geral Linguagens regulares expressões regulares autômatos finitos gramáticas
Leia maisAlgoritmos Estrutura Condicional
Algoritmos Estrutura Condicional Aula 06 Diogo Pinheiro Fernandes Pedrosa http://www2.ufersa.edu.br/portal/professor/diogopedrosa diogopedrosa@ufersa.edu.br Universidade Federal Rural do Semiárido Bacharelado
Leia maisInformática I. Aula 14. Aula 14-10/10/2007 1
Informática I Aula 14 http://www.ic.uff.br/~bianca/informatica1/ Aula 14-10/10/2007 1 Ementa Noções Básicas de Computação (Hardware, Software e Internet) HTML e Páginas Web Internet e a Web Javascript
Leia maisLFA Aula 07. Equivalência entre AFD e AFND. Equivalência entre ER s e AF s Equivalência entre GR s e AF s. Linguagens Formais e Autômatos
LFA Aula 07 Equivalência entre AFD e AFND AFND: uma aplicação busca em textos Equivalência entre ER s e AF s Equivalência entre GR s e AF s Celso Olivete Júnior olivete@fct.unesp.br www.fct.unesp.br/docentes/dmec/olivete/lfa
Leia maisCapítulo 7 Matriz. Roteiro
Capítulo 7 Matriz Licenciatura em Computação Fundamentos de Lógica para Programação Prof. Nícolas Trigo nicolas.trigo@ifsertao-pe.edu.br http://professor.ifsertao-pe.edu.br/nicolas.trigo Roteiro Definição
Leia maisSub-algoritmos (ou Funções)
Sub-algoritmos (ou Funções) Quando se deseja fazer um algoritmo cujo processo é composta por diversas etapas, costuma-se dividir o algoritmo em partes, cada uma realizando uma determinada função Cada uma
Leia maisPÓS-GRADUAÇÃO EM MATEMÁTICA COMPUTACIONAL INFORMÁTICA INSTRUMENTAL
PÓS-GRADUAÇÃO EM MATEMÁTICA COMPUTACIONAL INFORMÁTICA INSTRUMENTAL Objetivos: A lista de exercícios proposta contempla o conteúdo e os exemplos apresentados em sala de aula/laboratório referentes à: utilização
Leia maisPontifícia Universidade Católica de Campinas Centro de Ciências Exatas, Ambientais e de Tecnologias Faculdade de Engenharia de Computação
Pontifíci Universidde Ctólic de Cmpins Centro de Ciêncis Exts, Ambientis e de Tecnologis Fculdde de Engenhri de Computção LINGUAGENS FORMAIS E AUTÔMATOS List de Exercícios 1 1. Que lingugem grmátic ger?
Leia maisLinguagem C Estruturas de Repetição
Linguagem C Estruturas de Repetição José Gustavo de Souza Paiva Introdução Como fazer um programa que mostre na tela os 4 primeiros números ímpares? Primeira solução printf( 1 ); printf( 3 ); printf( 5
Leia maisAnálise Léxica. Fundamentos Teóricos. Autômatos Finitos e Conjuntos Regulares (cap. III da apostila de Linguagens Formais e Compiladores)
Análise Léxica Fundamentos Teóricos Autômatos Finitos e Conjuntos Regulares (cap. III da apostila de Linguagens Formais e Compiladores) Geradores X Reconhecedores Gramáticas Tipo 0 Máquinas de Turing G.
Leia maisESTRUTURAS DE REPETIÇÃO - PARTE 1
AULA 15 ESTRUTURAS DE REPETIÇÃO - PARTE 1 15.1 O comando enquanto-faca- Considere o problema de escrever um algoritmo para ler um número inteiro positivo, n, e escrever todos os números inteiros de 1 a
Leia maisLinguagens Formais e Autômatos (LFA)
Linguagens Formais e Autômatos (LFA) Aula de 25/09/2013 Minimização de Autômatos 1 O que é um autômato mínimo? m Um autômato determinístico que usa o menor número n possível de estados. Autômatos mínimos
Leia maisMétodos Numéricos Zeros Newton-Raphson e Secante. Professor Volmir Eugênio Wilhelm Professora Mariana Kleina
Métodos Numéricos Zeros Newton-Raphson e Secante Professor Volmir Eugênio Wilhelm Professora Mariana Kleina Método Newton Raphson 2 Método Newton-Raphson Dada uma função f( contínua num intervalo fechado
Leia maisI.2 Introdução a Teoria da Computação
I.2 Introdução a Teoria da Computação O que é? Fundamento da Ciência da Computação Tratamento Matemático da Ciência da Computação Estudo Matemático da Transformação da Informação Qual sua importância?
Leia maisFundamentos da Teoria da Computação
Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre dúvidas Sérgio Mariano Dias 1 1 Doutorando em Ciência da Computação Estagiário em docência II Departamento de Ciência da Computação
Leia maisAula 4 Oficina de Programação Algoritmos - Parte 3. Profa. Elaine Faria UFU
Aula 4 Oficina de Programação Algoritmos - Parte 3 Profa. Elaine Faria UFU - 2017 Suponha que você tenha que fazer um algoritmo que leia duas notas de um aluno e imprima o valor da média aritmética na
Leia mais