Você está na página 1de 4

linguagem formal e automatos 27/02/2010 conteudo: formalizacaogeralpara a construcao de lingagensartificiais (programacao) formalizacao e propriedadesmatematicas 1-)utilizacao a teoria da computacao.

2-)avaliacao um problema tem solucaoouno. Objetivos Projetos de linguagem de programacao. Regrasgramaticaispara a construcao de linguagens Metalinguagem: linguagemprar a construcao de outraslinguagens. linguagem :ambiguidade. (duplosentido) Natural: naosaocompletas (falta a definicao de componentes) - BNF (backups Naur Form) notacao P/representarcertascaracteristicas da linguagem com formalismo, semduplicidade de sentido, parahaverduplainterpretacao. -Construcao de compiladores. construcaoquepermitecriarfisicamente a linguagem de programacao. linguagem Forte- linguagem de alto nivel. linguagemObjetivo - linguagemsemantica, diferentesliguagens. (conversao e geracao de execucao) codigoexecutavel - .exe Compilador um programa a quel um outro programaequivalenteemoutraprogramaescritonumalinguagemfonte e o traduz um programaequivalenteemoutralinguagem (objeto) relatandoaousuario a presenca de erros. programa === compilador ===>programaobjeto - mensagens de erros -> se houver. Reconhecimento de linguagensverificar se as sentencassaovalidasounao. - Teoria da Computacao base teorica. Utiliza o modelomais simples de um computador ---Maquina de Turing: - Simples e elementar - inventou o computadormesmonaoexistindonaepoca. - Modeloconceitual. - Estuda as propriedades de um computador. - decidirsobre o solucaoounao de problemas. - Chomsky -Linguista, estudoulinguagensnaturais. -criouumaclassificacao de linguagens(representacaomatematica). Classificacaohierarquicautilizadaemlinguagensartificiais. - Linguagem = conjunto de simbolos - conjunto de regras. Colecao de sentencasvalidas, queobdecem o comjunto de regras (_,_,_,_,_) --->sentenca (a,b,c) = >conjunto ->conjunto, infinido de sentencas, representacaoporenumeracao. - linguagensformais e Automatos. linguagensformais:

Conjunto de decadeias de simbolosvalidossobre o alfabeto. - Modelooudispositivogeral p/criar um gerador de linguagens Automatos: Modelooudispositivogeral de reconhecimento de linguagens. - Sintaxe e Semantica Linguagens= >preocupe-se com problemas de sintaxe da linguagens. Formais SIntaxe=>problemassintatico anterior aosemanticomais simples. Linguagem de programacao = significadosintatico + significadosemantico Sintaxe: propriedades da linguagem - verificacaogramatical de programas. Manipularsimbolossempreocupar-se com o correspondentesignificado Problema = analise/verificacaosintatica+ interpretacao semantica Sintaxe: naoxiste a nocao de programaerrado, simplesmentenao ;e um programa da linguagememquestao. Analise lexica analisesintaticacemtradanaidentificacao de componentesbasicos (tokens) da linguagem - AnaliseSentatica. Realizar o parser, verificar se aordem dos tokens estaogramaticalmentecorretas. AnaliseSemantica - Verificacao de contexto: Exe: declaracao de variaveiscompatibilidade de tiposemdeclaracao e atribuicoes ,etc. Disciplina: centrada no formalismo e tratamentosintatico de linguagensabstratadas. - Dispositivos de geracao de codiais: gramaticas - regulares -livres de contexto - Sensiveis a contexto - Irrestritas. - DispositivosReconhecedores de cadeias: Automatos - finitos - Pilhas - maquina de Turing Aplicacoes: Analise Lexica e semantica de linguagens de programacao. - Modelagem de circuitoslogicos e redeslogicas. - Sistemas de animacaohipertextos e hipermidias. FIM DA AULA 1 =========================================================================== Aula 2 Elementos de Matematicadisoreta 1- Conjuntos Colecao de zeros oumaisobjetosdistintoscchamadoselementos do conjunto. Colecaosemrepeticoes e semqualquerordenacao de objetos(elementos) X={0,1,2,3} x o nome do conjunto 123 elementosatomosousimbolos. 2 relacionamento A- PErtinancia: determina se um elemento a um conjunto A, notacao: a e A "a pentencceaoconjunto A''

B - Continencia e Subconjuntos . Se todososelementos de um conjunto A tambemsaoelementos de um conjunto B entaodizemosque A estacontidoem B. Notacao: A c B Alternativamente B contem A, B<=A. se A c B ou B>=A, afima-se que A ;e subconjunto de B. Se A c B, maisexiste b c B talque b & A, entao A estacontidopropriamenteem B, ouque A ;e subconjuntoproprio de B, denotadopor A c B Alternativamente, B ontempropriamente A, B > A Quandonao 'e fatoque A<=B'edenotadopor A c= B, respectivamente A c/ B C-) Igualmente de conjuntosiguais . A e B saoconjuntosiguais. A = B, se somente se osmesmoselementosestiveremcontidos . A= B, se e somente se A=<B e B=<A. Conjuntovaziosemelementos O/ ={} 3. Definicao de conjuntos - denotacaoporextencao de linguagem de todososseuselemetos e emqualquerordem: A= {a,b,c,d,e} V= {a,e,i,o,u} - Denotacaoporcomputasaodefinicao de conjuntoporpropriedades. Pares = {n e N/n 'e um numero par} "conjunto de todososelementosnaopertencentesaoconjunto N talquen ;e um numero par". z = {z eN/O <= z =< 100} forrmageral de definicao: {x/x e A e p(x)} ou {x e A/ p(x)} "Quando x e A, denota-se o conjuntopor; {x/p(x)} OutrasFormas de definicao: Digitos = {0,1,2,3,,,9} Pares ={2,4,6,8,10,,,,} elementosomitidossaofacilmentededuzidos. Conjuntofinito: denotadoporextensao, listandoexaustivamentetodosseuselementos. Conjuntoinfinitocasocontrario . Exercicios Verificar se as seguintesrelacoessaoverdadeiras: a) a e {b,a} resp V b) c e/ {b,a} resp V c) {a,b} c= {a,b,c} resp V d){1,2,3}=/{3,2,2,1} resp F ConjuntosInfinitos N: Conjunto dos numerosnaturais {0,1,2,3,4,5,....} Z: conjunto dos numerosinteiros {,,,-3,-2,-1,0,1,2,3...} Q: conjunto dos numerosracionais. {x/x=P/q , p e Z e Q e Z = > 3/4 , 0,333333} I: conjunto dos numerosirracionais. {Rais de 2, Pi,} R: conjunto dos numerosReais. {englobatodosos outros conjuntosaomesmo tempo}

Exercicio: Verificar se as relacoessaoverdadeiras A) {1,2,3}= {x e N/ x> 0 e x<4} B) N= {x e Z/ X=> 0} R- = {x e R/ x<=0} R+ = {x e R/x<0} R*= {x e R/x<0} R*={x e R/x >0} Operacoessobreconjuntos: a) Uniao A U B= {x/x e A ou X e B} B)interseccao A uniao B = {x/x e A e x E B} C) complemento ~A = A' = {x/x e U e X e/ A} D) Diferenca. A - B = {x/x e A e x e/ B} Ouentao A - B= A interseccao ~ B Conjunto de Partes 2^A =P(A)= {S/S c= A} Operacao "powerset" 2^A , conjuntoformadoportodosossubconjuntos. A = {1,2,3} 2^A = {1,2} ou {1,3} ou {2,3} ou {1} ou (2) ou {3} ... Formalmente, 2^A = {B/B c= A} conjunto dos conjuntos B queestaocontidos no conjunto A, ProdutoCartesiano AxB = {(a,b)/a e A e B e B} ===> par ordenado - >relacao de ordem. A= {a,b,c} B={0,1} AxB = {(a,0),(b,0),(c,0),(a,1),(b,1),(c,1)} (a,0/) e AxB (b,c) e/ AxB conjuntodisjuntos Conjuntos A e B, sendo ambos naovazios, se A intersecao B = 0/ tambemchamados de mutualmenteexclusivosouindependentes. AxA = A^2 (a,b)=/{a,b}

Você também pode gostar