Prof. Rômulo Silva. Teoria. Computação. Maio/2007
|
|
- William Cortês Philippi
- 7 Há anos
- Visualizações:
Transcrição
1 Prof. Rômulo Silv Teori d Computção Mio/2007 1
2 Prof. Rômulo Silv Ojetivo dest postil Est postil foi desenvolvid om o ojetivo de filitr o entendimento d Teori d Computção, priniplmente no que se refere às Lingugens Formis e Autômtos. N su elorção form utilizdos os prinipis livros-textos dotdos em disiplins dess áre. Os exemplos presentdos são stnte simples, visndo fins didátios. Portnto, est postil NÃO sustitui os livros-textos, sendo pens um mteril uxilir. Se voê tem sugestões e/ou orreções, envie pr romuloe@hotmil.om. Agrdeemos nteipdmente. Rômulo Césr Silv 2
3 Prof. Rômulo Silv 1. Introdução Teori d Computção. A Teori d Computção rnge o estudo de modelos de omputdores ou máquins e o respetivo poder omputionl destes modelos. Isto é, que lsses de prolems podem ser resolvids em d modelo e omo representá-los. O modelo de omputção tul (no se: 2007) é inpz de entender lingugem humn diret: sej fld ou esrit, ddo o número enorme de possiiliddes de signifidos e/ou epções de um mesm plvr, lém ds vrições de onstruções de frses. Lingugens Formis. Pr diminuir este distnimento entre língu humn (por exemplo: o português, o inglês, et.) e progrmção de omputdores form rids s lingugens de progrmção. Ests são lingugens formis, isto é, prourm eliminr tod migüidde possível, grntindo ssim que um omndo e plvrs reservds tenhm sempre o mesmo signifido independentemente de onde preçm no progrm. A língu portugues é um lingugem nturl, sendo que su representção esrit possui um grmáti. Est indi onde se deve usr preposição ou não; onordâni verl e nominl, entre outrs regrs. Grmátis. D mesm form, s lingugens de progrmção possuem um grmáti ssoid, que define formção de progrms válidos. Por exemplo: se d omndo deve ser seguido de ; (ponto-e-vírgul), se o tipo de um vriável vem ntes ou depois de seu nome. Algoritmos. As resoluções de prolems são representds trvés de lgoritmos, sendo que esses são implementdos omputionlmente em lgum lingugem de progrmção. Compildores. Os ompildores fzem trdução dos progrms esritos ns diverss lingugens de progrmção pr instruções que o omputdor é pz de exeutr. Assim, Teori d Computção está intimmente ligd o estudo de lingugens: su representção (grmáti); e su trdução pr instruções d máquin usd (ompildor). 2. Grmátis e Lingugens Formis Um grmáti define estrutur gerl de formção de um sentenç válid pr um lingugem. Suponh o seguinte exemplo simplifido pr Língu Portugues: <Frse> ::= <Sujeito> <Predido> <Sujeito> ::= <Artigo> <Sustntivo> <Predido> ::= < Vero> <Complemento> <Complemento> ::= <Artigo> <Sustntivo> <Artigo> ::= o <Sustntivo> ::= livro mente <Vero> ::= re 3
4 Prof. Rômulo Silv Form Norml de Bkus. A grmáti nterior está espeifid num notção onheid omo Form Norml de Bkus (BNF). Ness notção, s plvrs entre os símolos < e > são hmds vriáveis. O símolo ::= indi que vriável à su esquerd pode ser sustituíd pelos vlores à direit. Assim, grmáti nterior estelee que um frse é formd por um sujeito seguido de um predido, sendo que este por su vez é formdo por um vero seguido de um omplemento. E portnto, frse o livro re mente é um frse válid segundo grmáti im. Em um lingugem de progrmção terímos, por exemplo, um regr que define um omndo de triuição válido: <Atriuio> ::= <Vriável> := <Vlor> ; onde <Vriável> se refere qulquer seqüêni de rteres omeçndo om lgum letr. A desrição de grmátis seguindo ess form, emor de simples entendimento, não é muito práti qundo se desej estudr mis generimente s proprieddes ds lingugens. Assim, n teori d omputção gerlmente é ddo um trtmento mtemátio às lingugens e dotm-se onvenções de notção e simplifições, prourndo filitr su representção e o estudo de sus proprieddes. Exemplo de onvenções: o invés de se esrever <Vriável>, em gerl utiliz-se pens um letr miúsul (V) pr representr tis tipos de onstrução. Além disso, n Teori d Computção, em gerl prour-se estudr lsses de lingugens o invés de um lingugem espeífi. A seguir, lgums definições esseniis pr o estudo de Lingugens Formis: 2.1 Alfeto (Σ): é um onjunto finito de símolos. N língu portugues seri formdo pels 27 letrs do lfeto mis os dígitos de 0 9. Outros exemplos: o lfeto grego, o lfeto russo. Usmos letr greg sigm miúsul (Σ) pr representr o lfeto de um lingugem. Ex.: Σ = {0,1} represent o lfeto omposto pelos símolos 0 e Plvr ou dei: é um seqüêni finit de símolos do lfeto ontendos Exemplos de plvrs utilizndo o lfeto Σ = {0,1}: 0, 1, 010, 111, 011, et. O omprimento de um dei w, denotdo por w é o número de símolos que ompõem w. Assim plvr 011 tem omprimento 3 (três). Usmos letr greg epsilon minúsul () pr representr plvr vzi, isto é, tem omprimento 0 (zero). 4
5 Prof. Rômulo Silv O símolo Σ* indi o onjunto de tods s plvrs possíveis de serem formds prtir do lfeto Σ, de qulquer omprimento inluindo plvr vzi (). A notção n indi repetição do símolo n vezes. Assim 3 represent, 2 represent e 0 represent (plvr vzi). 2.3 Lingugem Forml: é um onjunto de plvrs sore um lfeto. Exemplos de lingugens formis sore o lfeto Σ = {0,1}: ) L = { 01, 1010, 1110} represent lingugem formd pels deis 01, 1010 e 1110 somente. ) L = { w w tem número ímpr de zeros em Σ*} representd tods deis possíveis om número ímpr de zeros usndo somente os símolos 0 e Representção de Lingugens Formis Um lingugem forml pode ser representd de 3 mneirs: Enumerção ds deis que fzem prte del. Grmáti, isto é, um onjunto de regrs que espeifi formção ds deis. Dispositivo reonheedor (máquin), que possui emutido um onjunto de regrs de eitção de deis. A primeir só pode ser utilizd pr lingugens finits. As dus últims são pzes de representr lingugens om número infinito de deis. Grmáti. A definição forml de um grmáti é um quádrupl ordend G = (V,T, P,S), onde: V é o onjunto de símolos não-terminis, tmém hmdos de vriáveis T é o onjunto de símolos terminis, tl que V T = Ø P é o onjunto de regrs de produção S é o elemento de V denomindo símolo iniil As regrs de produção são esrits n form α β, onde α e β são ompostos de não-terminis e terminis; lém disso, α possui pelo menos um não-terminl. Convenções. As seguintes onvenções de notção são dotds: Cd não-terminl é representdo por pens um letr miúsul do lfeto português {A, B, C, D,...} Cd terminl é representdo por pens um letr minúsul ou dígito {0,1,2,3,4,5,6,7,8,9,,,,d,...} Utiliz-se própri letr miúsul S pr ser o símolo iniil d grmáti. Exemplo 1: Sej G grmáti: S AB A A B. Neste exemplo grmáti possui 4 regrs: S AB, A A, A e B 5
6 Prof. Rômulo Silv O símolo pode ser usdo qundo há mis de um regr pr um mesmo não terminl, omo o não-terminl A do exemplo. O onjunto de não-terminis pr grmáti G é V= {S,A,B}. O onjunto de terminis T = {,}. O onjunto de regrs P = { S AB, A A, A, B }. A set ( ) indi que o não-terminl à su esquerd pode ser sustituído pelo símolo ou símolos que estão à su direit. Assim: o não-terminl S pode ser sustituído por AB o não-terminl A pode ser sustituído por A ou por o não-terminl B pode ser sustituído por. As plvrs ou deis válids n lingugem são formds prtir do símolo iniil, sustituindo-o por lgum de sus regrs e os não-terminis dest suessivmente, té que se otenhm pens terminis. Assim, utilizndo grmáti definid nteriormente pode-se oter plvr efetundo-se s seguintes sustituições: (1) S AB (2) AB (3) AB (4) B (5) N linh (1) foi usd úni regr disponível pr o símolo S. N linh (2) foi usd regr A A. N linh (3) foi usd novmente regr A A. N linh (4) foi usd regr A. N linh (5) foi usd regr B. Oserve que notção usd no proesso de sustituição, indi pel set, é diferente d notção usd n própri grmáti, indid pel set. Isto permite diferenir qundo se está gerndo um plvr ou desrevendo um regr d grmáti. Derivção. O proesso de sustituir um não-terminl por lgum de sus regrs é hmdo de derivção. Árvore de derivção. A gerção de um plvr pels suessivs derivções pode ser representd trvés de um árvore, hmd árvore de derivção, onde riz é o símolo iniil S. A Figur 1 present árvore de derivção pr plvr do exemplo nterior. S A B A A Figur 1 6
7 Prof. Rômulo Silv Efetundo-se tods s possíveis derivções prtir do símolo iniil S, otêm-se tods s plvrs que ompõem lingugem forml desrit pel grmáti, podendo ser infinito o número de plvrs. No exemplo d grmáti nterior é possível gerr o seguinte onjunto infinito de plvrs: L = {,,,,,...}. Oservndo mis tentmente s plvrs gerds é fáil notr que tods seguem um pdrão: são formds por um seqüêni de um ou mis s e terminds extmente om um. Assim pode-se dizer grmáti represent ou ger lingugem L = { w w é formd por um seqüêni de um ou mis s seguido de extmente um sore Σ*}, onde Σ = {,}. Lingugens de Progrmção. A grmáti de um lingugem de progrmção represent todos os progrms possíveis de serem esritos nel, gerlmente um número potenilmente infinito de progrms. Assim, o primeiro trlho do(s) ridor(es) de um lingugem de progrmção é definir su grmáti. Notção. Us-se L(G) pr denotr lingugem gerd pel grmáti G. Grmátis equivlentes. Um mesm lingugem pode ser gerd por diferentes grmátis. Por exemplo, grmáti: S A A A ger mesm lingugem desrit pel grmáti vist nteriormente. Assim, qundo dus grmátis germ mesm lingugem, els são dits grmátis equivlentes. Formlmente: G 1 é equivlente G 2 se e somente se L(G 1 ) = L(G 2 ). No estudo ds lingugens formis, s grmátis são lssifids de ordo om s restrições que se impõem sore sus regrs de produção. Assim, s lingugens formis podem ser lssifids em: Lingugens Regulres (Tipo 3) - LR Lingugens Livres de Contexto (Tipo 2) - LLC Lingugens Sensíveis o Contexto (Tipo 1) - LSC Lingugens Reursivmente Enumeráveis (Tipo 0) - LRE A Figur 2 mostr relção entre os tipos de lingugens. LR LLC LSC LRE Figur 2 As lingugens regulres (LR) são quels onde se impõem mis restrições às regrs de produção. 7
8 Prof. Rômulo Silv Hierrqui de Chomsky. As lingugens livres de ontexto (LLC) são menos restritivs que s lingugens regulres (LR). As lingugens sensíveis o ontexto (LSC) são menos restritivs que lingugens livres de ontexto (LLC) e ssim por dinte. A hierrqui ssim gerd é hmd de Hierrqui de Chomsky. Devido o fto que um tipo de lingugem om mis restrições é um so prtiulr de um tipo de lingugem om menos restrições, então tod LR é um LLC. Tod LLC é um LSC, e tod LSC é um LRE. Estudremos iniilmente pens s lingugens regulres (LR). Grmáti Regulr (GR). Um grmáti G é regulr se tods sus produções são tis que podem ser olod em lgum ds seguintes forms: A A B A Isto é, do ldo esquerdo d regr sempre há somente um não-terminl. Do ldo direito há um terminl sozinho (ompnhdo no máximo de um não-terminl), ou há pens plvr vzi (). Ás vezes, iniilmente grmáti não possui tods sus regrs em lgum ds forms segundo definição de grmáti regulr. No entnto, fzendo-se pequens lterções é possível oter um grmáti equivlente onde tods s regrs estejm de ordo om definição de grmáti regulr. Exemplo: sej G 1 grmáti seguir: S AB A A B G 1 é regulr. Pr ver isto, st oservr que el é equivlente G 2, definid por: S A A A Lingugem Regulr (LR). Um lingugem é regulr se el pode ser desrit usndo um grmáti regulr (GR). 4. Modelos de Máquins Dispositivo Reonheedor. Um outr mneir de definir um lingugem é trvés d utilizção de um dispositivo reonheedor, que permite sumeter um plvr ou dei um teste de eitção pz de determinr se tl plvr pertene ou não à lingugem em questão. O dispositivo reonheedor é n verdde um modelo mtemátio que desreve o funionmento de um máquin, onde s deis são sumetids pr eitção ou rejeição. 8
9 Prof. Rômulo Silv Cd tipo de lingugem d Hierrqui de Chomsky possui um reonheer distinto. Lingugem Lingugens Regulres (LR) Lingugens Livres de Contexto (LLC) Lingugens Sensíveis o Contexto (LSC) Lingugens Reursivmente Enumeráveis (LRE) Reonheedor Autômtos Finitos Autômtos om Pilh Máquin de Turing om memóri limitd Máquin de Turing Iniilmente estudremos os utômtos finitos, pzes de reonheer lingugens regulres (LR). 5. Autômto Finito Determinístio (AFD) Definição. Um Autômto Finito Determinístio (AFD) é um modelo de máquin definido formlmente por um quíntupl M = (Σ, Q, δ, q 0, F), onde: Σ : lfeto de símolos de entrd Q: onjunto finito de estdos possíveis pr M δ: função trnsição ou função progrm definid em Q x Σ Q q 0 : estdo iniil de M, sendo q 0 Q F: onjunto de estdos finis, tl que F Q fit de entrd eç de leitur q 0 q n q 1 q 2 ontrole finito Figur 3 Um AFD pode ser representdo esquemtimente onforme Figur 3: os símolos que ompõem plvr ser testd enontrm-se esritos num fit de entrd, dividid em éluls, onde d símolo oup extmente um élul. Há um ontrole finito omposto pelos estdos possíveis pr o utômto, sendo que existe um mrdor que indi o estdo tul. Além disso, há um eç de leitur que lê um símolo por vez d fit. Finito. O utômto é dito finito porque o onjunto de estdos possíveis (Q) é finito. Determinístio. O utômto é determinístio qundo ddo o estdo tul de M, o ler um determindo símolo n finit de entrd existe pens um próximo estdo possível. 9
10 Prof. Rômulo Silv Estdo Iniil. O estdo iniil q 0 indi que o ligrmos o AFD, o mrdor utomtimente se posiion no estdo q 0, ntes de ler qulquer símolo d fit de entrd. Só pode existir um únio estdo iniil. Aeitção. Um plvr é reonheid (ou eit) qundo o AFD pós ler todos os símolos ontidos n fit de entrd, o mrdor se enontrr em um estdo finl. Ao ontrário do estdo iniil, podem existir vários estdos finis. Rejeição. Um plvr é rejeitd qundo pós ler todos os símolos d fit de entrd, o mrdor não se enontrr em um estdo finl ou qundo não existe um trnsição definid pr um símolo ser lido, estndo o utômto num determindo estdo. Máquin de Estdos Finitos. Alguns utores denominm os AFDs de máquins de estdos finitos. Vejmos um exemplo de AFD: Sej M = (Σ,Q, δ,q 0,F) tl que Σ = {,}, Q = {q 0, q 1, q 2 }, F = {q 2 } e função trnsição (ou função progrm) δ definid segund tel seguir: δ q 0 q q 1 q 1 q 2 q Interpretndo tel: estndo no estdo q 0 e lendo o símolo n fit de entrd, M mud pr o estdo q 1. Tmém estndo no estdo q 0 e lendo o símolo n fit de entr, M rejeit plvr, pois não há trnsição definid est situção. Já estndo no estdo q 1, e lendo o símolo, M permnee no estdo q 1. Qundo M está no estdo q 1 e lê um símolo, ele mud pr o estdo q 2. E um vez no estdo q 2, qulquer símolo que sej lido, plvr será rejeitd, pois não há trnsições definids prtir de q 2. Grfo Orientdo. Comumente represent-se função progrm (δ) utilizndo-se um grfo orientdo. A Figur 4 present o grfo orrespondente à função progrm do AFD do exemplo nterior. q 0 q 1 q 2 Figur 4 Os nós do grfo representm os estdos possíveis do AFD enqunto s rests orientds representm s trnsições. A origem de um set indi o estdo tul. O símolo ser lido é olodo sore set. 10
11 Prof. Rômulo Silv O destino d set indi o próximo estdo pós leitur do símolo. O estdo iniil é indido trvés de um set sem origem e om destino no estdo iniil. Os estdos finis são indidos trvés de dois írulos onêntrios. Oservndo o grfo do AFD temos os estdos q 0, q 1 e q 2, sendo q 0 o estdo iniil e q 2 o estdo finl. O estdo q 1 pode ser trduzido omo estdo onde se lê um ou mis s. O estdo q 2 pode ser expresso por: estdo que indi leitur de extmente um. Este AFD reonhee lingugem L = { w w é formd por um seqüêni de um ou mis s seguido de extmente um sore Σ*}, onde Σ = {,}. Portnto, é equivlente à grmáti vist nteriormente: S AB A A B Teorem: Tod lingugem regulr (LR) possui um AFD equivlente. Outro exemplo: sej L = { n m n 0 e m 0}. O AFD seguir reonhee L. q 0 q 1 q 2 Figur 5 M = (Σ, Q, δ, q 0, F) onde Σ = {,, }, Q = {q 0, q 1, q 2 }, δ está representd pelo grfo d Figur 5, q 0 é o estdo iniil e F = {q 1, q 2 }. Exemplos de plvrs ou deis reonheids pelo AFD :,,,,,,,,,,, et. Exemplos de deis não reonheids:,,,,, et. 6. Trnsformção de AFD em Grmáti Regulr (GR) É possível esrever um grmáti regulr pr todo AFD. Pr tl st seguir o lgoritmo seguir: d estdo é ssoido um não-terminl d grmáti, sendo o estdo iniil q 0 ssoido o símolo iniil (S) pr d trnsição de estdo representd no grfo ri-se um regr de produção n grmáti, tl que o estdo de origem torn-se o não-terminl à esquerd d regr e o estdo destino torn-se um não-terminl do ldo direit d regr pós o terminl lido n trnsição. ri-se um regr pr d não-terminl ssoido um estdo finl onde o ldo direito d regr é formdo pens pel plvr vzi (). 11
12 Prof. Rômulo Silv Como exemplo onsidere o AFD d Figur 5. Fzendo-se q 0 = S, q 1 = A e q 2 = B, grmáti equivlente o AFD é: S A A A B B B 7. Trnsformção de Grmáti Regulr (GR) em AFD O lgoritmo seguir mostr omo enontrr um AFD equivlente um dd grmáti regulr. Tods s regrs d grmáti devem ser do tipo A B (não-terminl levndo um terminl seguido de um únio não-terminl) ou A (não-terminhl levndo um terminl sozinho) ou A (não-terminl levndo à plvr vzi). Pr d não-terminl rie um estdo pr o AFD, sendo que o símolo iniil sej o estdo iniil ( S = q 0 ). Pr d regr do tipo A B rie um trnsição que prt do estdo A om destino o estdo B trvés d leitur do terminl. Pr d regr do tipo A rie um trnsição que prt do estdo A om destino um estdo A x, trvés d leitur do terminl. Além disso, mrque o estdo omo finl Pr d regr do tipo A, fç do estdo ssoido o não-terminl A um estdo finl. A Figur 6 mostr o AFD equivlente à grmáti regulr seguir: S A B A A B B B A B S A 1 Figur 6 12
13 8. Expressões Regulres (ER) Prof. Rômulo Silv As lingugens regulres podem ser representds usndo um notção denomind expressão regulr. Um expressão regulr utiliz pens símolos terminis e lguns rteres espeiis (metrteres), sendo que estes têm função de espeifir quntidde de vezes que um terminl ou grupo de símolos terminis se repetem dentro d formção de um plvr pertenente à lingugem. Definição. A definição forml de um expressão regulr pode ser feit reursivmente d seguinte mneir: Se x é um terminl, x é expressão regulr. Se r e s são expressões regulres, então r+s é expressão regulr. O sinl + indi que tnto r ou s formm plvrs válids Se r e s são expressões regulres, então rs é expressão regulr, onde s plvrs são formds pel ontenção de r e s. Se r é expressão regulr, r * denot expressão regulr onde r é repetid zero ou mis vezes Se r é expressão regulr, r + denot expressão regulr onde r é repetid um ou mis vezes. Portnto r + = rr * Utilizm-se prêntesis pr grupr símolos que se repetem onjuntmente. Exemplos: 001(0+1) denot L = {0010, 0011} 01(10+11) denot L = { 0110, 0111} (0 + 01)1 denot L = { 01, 011} * denot L = {,,,,...}, isto é, L = { w w inii om um seguido de zero ou mis s e termin om um } ()* denot L = {,,,,...}, isto é, L = { w w inii-se om um seguido de zero ou mis seqüênis de e termin om } + denot L = {,,,...}, isto é, L = { w w inii-se om um seguido de um ou mis s e termin om } ( + ) denot L = {, } (+) * denot L = {,} *, isto é tods s plvrs possíveis de serem formds prtir do símolos e, inlusive plvr vzi. (+) * (+) * denot L = { w w possui extmente um sore Σ = {,,} * } Unix. O omndo grep do sistem operionl Unix permite o uso de expressões regulres pr us de pdrões. Exemplos: grep Mr* rq: listrá tods s linhs do rquivo rq que ontêm plvrs ontendo string Mr. grep Mri rq* : listrá tods s linhs de rquivos ujo nome omee om rq e que ontenh string Mri. grep i mri rq : listrá tods s linhs do rquivo rq que ontenhm string mri (ignorndo miúsuls e minúsuls). grep v mri rq : listrá tods s linhs do rquivo rq que não ontenhm string mri. 13
14 Prof. Rômulo Silv grep [-z] rq: listrá tods s linhs do rquivo rq que omeem om s letrs minúsuls de z. 9. Autômtos Finitos Não-determinístios (AFND) Definição. Um utômto finito não-determinístio (AFND) é similr um AFD, porém existe pelo menos um estdo tl que o ler um mesmo símolo há mis de um possiilidde de estdo destino. q 0 q 1 q 2 Figur 7 No utômto d Figur 7, existem dus trnsições de estdo possíveis o ler o símolo estndo o utômto no estdo q 0. Aeitção. Um dei é eit por um AFND se testndo-se tods s trnsições possíveis à medid que se lê dei, o AFND pár em um estdo finl pós ler tod dei pr lgum minho ds trnsições. Assim, o não-determinismo do próximo estdo pode ser interpretdo omo um teste de tods s possiiliddes. Exemplos de deis eits pelo AFND d figur 7:,,,,... Rejeição. Um dei é rejeit por um AFND se nenhum minho de trnsições lev o utômto um estdo finl pós ler tod dei. Exemplos de deis rejeitds pelo AFND d figur 7:,,,, Autômtos Finitos om Trnsições (AF) Definição. Um utômto finito om trnsições (AF) é um AFND onde existem trnsições feits prtir d plvr vzi. Um trnsição prtir d plvr vzi indi que o utômto pode lterr seu estdo sem ler nenhum símolo d fit. AFND. A existêni de pens um trnsição usndo plvr vzi é sufiiente pr que o utômto sej onsiderdo não-derterminístio (AFND), pois existe um situção o utômto pode efetur um trnsição sem ler qulquer símolo d fit. Aeitção e Rejeição. A eitção e rejeição de deis são feits do mesmo modo que em AFND. 14
15 Prof. Rômulo Silv q 0 q 1 q 2 Figur 8 No AF d Figur 8, o utômto pode fzer trnsição pr o estdo q 1 prtir do estdo q 0 sem ler qulquer símolo n fit. Assim, s deis:,, são eits pelo utômto enqunto que,, são rejeitds. Teorem. Pr todo AFND, inluindo os AF, é possível onstruir um AFD equivlente. Equivlêni. N práti, o teorem nterior estelee que filidde de nãodeterminismo dos AFNDs não represent um umento de poder omputionl em relção os AFDs. Ou sej, lsse de lingugens reonheid por AFNDs e AFDs é mesm. 11. Trnsformção de Expressões Regulres em AF Existe um lgoritmo simples pr onversão de expressões regulres em AF. Segue su desrição: Se um expressão regulr r é onstituíd por um únio símolo x, então r pode ser representd por um utômto de pens 2 (dois) estdos, tl que existe um trnsição do primeiro pr o segundo estdo lendo o símolo x. Se um expressão regulr r é d form r = r 1 + r 2, isto é, s plvrs válids são plvrs d lingugem desrit por r 1 ou d lingugem desrit por r 2, então r pode ser representd pel união dos utômtos M 1 e M 2, que reonheem r 1 e r 2 respetivmente, de mneir que M 1 e M 2 formem minhos exlusivos entre si utilizndo trnsições. Se um expressão regulr r é d form r = r 1 r 2, isto é, s plvrs válids são otids d ontenção ds plvrs d lingugem desrit por r 1 om plvrs d lingugem desrit por r 2, então r pode ser representd pelo seqüenimento dos utômtos M 1 e M 2, que reonheem r 1 e r 2 respetivmente, de mneir que M 2 segue M 1 utilizndo um trnsição. Apens o estdo que não possui trnsições om origem nele é um estdo finl. Iniilmente prour-se desenhr os utômtos dos símolos isoldmente, que são de fáil representção. Os utômtos otidos são omindos segundo s regrs nteriores té se oter o utômto que represent expressão regulr omplet. 15
16 x Prof. Rômulo Silv r = x q 0r1 M q fr1 r = r 1 + r 2 q 0r M q fr2 M M q 0r1 q fr1 q 0r q fr2 r = r 1 r 2 q 0r1 M q fr1 r = r 1 * Figur 9 A Figur 9 mostr esquemtimente omo pode ser feit onstrução de AF prtir de um expressão regulr. É importnte oservr que os estdos que serim finis em M 1 e M 2 pr s expressões regulres r 1 e r 2, não o são qundo se fz o utômto que represent r 1 +r 2. E o mesmo oorre om M 1 em r 1 r 2 e em r 1 *. Exemplo: sej expressão regulr ( + )() *. Oserve que el é ontenção ds suexpressões ( +) e () *. Por su vez, ( + ) indi que pens s plvrs e são válids dentro d suepressão. Já () * é ontenção dos símolos e, repetidos em grupo, zero ou mis vezes. Assim, primeiro montmos o utômto pr primeir suexpressão ( + ) que será: Figur 10 16
17 Prof. Rômulo Silv Pr montr o utômto pr segund suexpressão () *, primeiro montmos o utômto pr somente, e sore o seu resultdo plimos regr que permite repeti-lo zero ou mis vezes, otendo ssim: Figur 11 Agor, um vez otidos os utômtos pr ( +) e () * st oloá-los em seqüêni usndo um trnsição pr que representem ontenção ds dus suexpressões, e definir o estdo que não possui trnsições prtir dele omo estdo finl, representndo ssim o utômto pr ( + )() *, onforme Figur 12. Figur Trnsformção de AFDs em expressões regulres Conforme visto nteriormente, todo AFD possui um expressão regulr equivlente. Segue um lgoritmo pr onverter um AFD em expressão regulr. 1º psso: ddo utômto M, onstrói-se M equivlente M, tl que o estdo iniil de M lig-se o estdo iniil de M por trnsição, e todos os estdos finis de M ligm-se o únio estdo finl de M por trnsição. Além disso, os estdos finis de M não são finis em M, onforme o esquem d Figur
18 Prof. Rômulo Silv M : M q f1 q 0 q 0... q fn... q f Figur 13 2º psso: elimin-se grdulmente os estdos intermediários entre o estdo iniil e finl de M onstruindo expressões regulres equivlentes às trnsições do estdo elimindo. Exemplo: Sej M o utômto d Figur 14. Iniilmente onstrói-se o utômto M, mostrdo n Figur 15. M q 2 q 0 q 1 q 3 Figur 14 M q 0 q 0 q 1 q 2 q f q 3 Figur 15 18
19 Prof. Rômulo Silv Oserve que o utômto d Figur 15 é equivlente o utômto d Figur 14, pois pens form resentdos dois estdos (um novo estdo iniil e um finl) ligdos os respetivos estdos iniil e finis usndo trnsições. Agor proedemos à eliminção dos estdos intermediários entre q 0 e q f. Assim, elimindo o estdo q 0 otém-se o utômto d Figur 16. q 2 q 0 * q 1 q f q 3 Figur 16 A expressão regulr olod n trnsição de q 0 pr q 1 represent que sindo de q 0 té hegr em q 1 form lidos zero ou mis s e neessrimente um. Isto orresponde extmente o estdo elimindo (q 0 ). Em seguid, eliminndo-se o estdo q1, otém-se o utômto d Figur 17. * * q 2 q 0 * * q 3 q f Figur 17 Oserve que o estdo q 1 possui trnsição pr dois estdos distintos (q 2 e q 3 ). Portnto o efetur su eliminção é neessário representr omo que sindo de q 0 se heg q 2 (representdo por * * ), e omo se heg q 3 (representdo por * * ). As Figurs 18 e 19 representm eliminção dos estdos q 2 e q 3, respetivmente. 19
20 Prof. Rômulo Silv * * * q 0 * * q 3 q f Figur 18 q 0 * * * + * * q f Figur 19 A expressão regulr * * * + * * é equivlente o utômto originl (M). Além disso, sendo que suexpressão * é equivlente + e que * * é um suexpressão omum funionndo omo um prefixo pr * e, pode-se reesrever expressão d seguinte form: * * ( + + ). Ordem de Eliminção e Equivlêni. É importnte registrr que ordem de eliminção dos estdos pode resultr em expressões regulres diferentes, porém equivlentes. 13. Minimizção de utômtos Definição. Um AFD M pr lingugem regulr L é mínimo se qulquer outro AFD M pr L, tem-se Q Q. Portnto, um utômto é mínimo se ele possui o menor número de estdos possível reonheendo lingugem em questão. Algoritmo. Ddo um utômto qulquer, ele pode ser minimizdo trvés do seguinte lgoritmo de minimizção: 1º psso: trnsformr o AFN ou AF em AFD 2º psso: eliminr estdos inúteis (queles prtir dos quis não é possível tingir um estdo finl) 3º psso: eliminr estdos inessíveis e sus trnsições (queles que não podem ser tingidos prtir do estdo iniil) 4º psso: prtiionr iniilmente os estdos em 2 suonjuntos: estdos finis (F) e estdos não-finis (Q F) 5º psso: lulr lsses de equivlêni (loos) reursivmente prtir dos suonjuntos iniiis tl que: p Ei e Σ, δ ( p, ) E j onde Ei e E j são lsses de equivlêni. 20
21 Prof. Rômulo Silv Exemplo: sej o utômto d Figur 20. Esse utômto já é determinístio. Portnto inii-se eliminndo estdos inúteis. O estdo q5 é um estdo inútil porque não é estdo finl e não possui trnsições prtir dele, logo pode ser elimindo juntmente om sus trnsições, resultndo no AFD presentdo n Figur 21. q 0 q 1 q 2 q 4 q 3 q 5 Figur 20 q 0 q 1 q 2 q 3 q 4 Figur 21 O AFD otido não possui estdos inessíveis. Então pss-se à onstrução ds lsses de equivlêni, iniindo om os onjunto Q F = {q 0,q 1 } e F = {q 2,q 3,q 4 }. É possível oservr que δ ( q 0, ) = q1 e δ ( q 1, ) = q0. Isto é, lendo o símolo prtir dos 21
22 Prof. Rômulo Silv estdos que formm o onjunto Q F, o AFD permnee em um estdo do próprio onjunto Q F. Já leitur do símolo prtir dos estdos do onjunto Q F lev estdos do onjunto F. Além disso, leitur do símolo prtir de estdos do onjunto F, o AFD permnee no onjunto F. Assim, podemos grupr os estdos q 0 e q 1 em únio estdo (q 01 ) e tmém os estdos q 2, q 3 e q 4 em um únio estdo (q 234 ), gerndo o AFD presentdo n Figur 22. q 01 q 234 Figur Proprieddes ds Lingugens Regulres (LR) Algums oservções sore lingugens regulres (LR), utômtos finitos determinístios (AFD), grmátis regulres (GR) e expressões regulres (ER): Tod LR possui GR equivlente Tod LR possui AFD que reonhee. Tod ER possui AFD equivlente Tod GR possui AFD equivlente Além ds oservções nteriores, s lingugens regulres possuem s seguintes proprieddes: Contenção: ontenção de LRs result em LR União: união de LRs result em LR Feho: o feho (repetição de zero ou mis vezes) de LR result em LR Interseção: interseção entre LRs result em LR Complemento: o omplemento (Σ * - L) de um LR result em LR. Fehmento. Pels proprieddes nteriores, diz-se que lsse ds lingugens regulres (LR) é fehd qunto às operções de ontenção, união, feho, interseção e omplemento. Pois, o resultdo desss operções rei dentro d própri lsse de lingugens regulres (LR). As operções de ontenção, união e feho podem ser melhor visulizds qundo s lingugens regulres são representds trvés de expressões regulres. Assim, sejm r e s expressões regulres pr s lingugens L1 e L2. rs represent ontenção de L1 e L2. sr represent ontenção de L2 e L1. r+s represent união de L1 e L2. r* represent o feho de L1 22
23 Prof. Rômulo Silv 15. Limitções de AFDs: exemplos de lingugens não regulres Conforme visto nteriormente, tod LR possui um AFD que reonheç. Portnto, um form de ser se um lingugem é regulr, é onstruindo um AFD que reonheç. Prolem. Inversmente, se não for possível onstrução do AFD, então lingugem não é regulr. Porém, omo provr impossiilidde de onstruir um AFD pr um dd lingugem? A seguir presentmos o Lem do Bomemento pr LRs, usdo pr responder à pergunt nterior. Lem do Bomemento pr LRs. Se L é um lingugem regulr, logo existe AFD pr L om n estdos, sendo n finito. Se um plvr w L têm omprimento mior ou igul n, isto é, w n, então o AFD ssume lgum estdo mis de um vez e portnto existe um ilo no utômto. w pode ser dividid em w = uvz tl que uv n e v 1, onde v é prte de w reonheid pelo ilo. Portnto uv i z L pr i 0. Exemplo de lingugem não regulr: L = { n n n 0}. Demonstrção por surdo: suponh que L sej regulr, então pelo Lem do Bomemento pr LRs, w = n n pode ser reesrit omo w = uvz onde uv n e v 1. Além disso, uv i z L pr i 0. Tem-se um surdo, pois uv n, uv é omposto só por s. Por exemplo, uv 2 z L, pois não possui o mesmo número de s e s. Logo L não é lingugem regulr. Outros exemplos de lingugens não regulres: L = { n m n m} L = { n 2n n 1} L = { n n é primo} Dependêni. Oservndo os exemplos de lingugens não regulres presentdos, é possível notr que quntidde de um determindo símolo depende d quntidde de outro símolo, ou ind depende de um lgoritmo que não pode ser representdo usndo um número finito de estdos. Memóri. Os AFDs não possuem memóri. Isto é, são inpzes de rmzenr quntidde lid de um determindo símolo. Nisto, reside su prinipl limitção pr reonheer lingugens omo L = { n n n 0} e L = { n m n m}. 16. Biliogrfi LEWIS, Hrry R. & PAPADIMITRION, Christos H. Elementos de Teori d Computção. 2.ed. Porto Alegre, Bookmn, MENEZES, Pulo Bluth. Lingugens formis e utômtos. 2.ed. Porto Alegre, Sgr Luzztto, p. 23
24 Prof. Rômulo Silv HOPCROFT, John E.; ULLMAN, Jeffrey D.; MOTWANI, Rjeev. Introdução à Teori de Autômtos, Lingugens e Computção; Rio de Jneiro; Ed. Cmpus, DIVERIO, T. A.; MENEZES, P. B. Teori d Computção: Máquins Universis e Computilidde, Série Livros Didátios Número 5, Instituto de Informáti, d UFRGS, Editor Sgr Luzztto, 1 edição, EUGÊNIO, Cristin Munhoz; PALERMO, Lillim. Unix Avnçdo: Progrmção C- Shell. Disponível em essdo em 20/03/
Lic. Ciências da Computação 2009/10 Exercícios de Teoria das Linguagens Universidade do Minho Folha 6. δ
Li. Ciênis d Computção 2009/10 Exeríios de Teori ds Lingugens Universidde do Minho Folh 6 2. Autómtos finitos 2.1 Considere o utómto A = (Q,A,δ,i,F) onde Q = {1,2,,4}, A = {,}, i = 1, F = {4} e função
Leia maisPropriedades das Linguagens Regulares
Cpítulo 5 Proprieddes ds Lingugens Regulres Considerndo um lfeto, já vimos que podemos rterizr lsse ds lingugens regulres sore esse lfeto omo o onjunto ds lingugens que podem ser desrits por expressões
Leia maisLRE LSC LLC. Autômatos Finitos são reconhecedores para linguagens regulares. Se não existe um AF a linguagem não é regular.
Lingugens Formis Nom Chomsky definiu que s lingugens nturis podem ser clssificds em clsses de lingugens. egundo Hierrqui de Chomsky, s lingugens podem ser dividids em qutro clsses, sendo els: Regulres
Leia maisTeoria de Linguagens 2 o semestre de 2014 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 23/10.
Pós-Grdução em Ciênci d Computção DCC/ICEx/UFMG Teori de Lingugens 2 o semestre de 2014 Professor: Newton José Vieir Primeir List de Exercícios Entreg: té 16:40h de 23/10. Oservções: O uso do softwre JFLAP,
Leia mais3. Seja Σ um alfabeto. Explique que palavras pertencem a cada uma das seguintes linguagens:
BCC244-Teori d Computção Prof. Lucíli Figueiredo List de Exercícios DECOM ICEB - UFOP Lingugens. Liste os strings de cd um ds seguintes lingugens: ) = {λ} ) + + = c) {λ} {λ} = {λ} d) {λ} + {λ} + = {λ}
Leia maisHierarquia de Chomsky
Universidde Ctólic de Pelots Centro Politécnico 364018 Lingugens Formis e Autômtos TEXTO 1 Lingugens Regulres e Autômtos Finitos Prof. Luiz A M Plzzo Mrço de 2011 Hierrqui de Chomsky Ling. Recursivmente
Leia maisAula 5: Autômatos Finitos Remoção de Não-Determinismo
Teori d Computção Primeiro Semestre, 25 DAINF-UTFPR Aul 5: Autômtos Finitos 3 Prof. Rirdo Dutr d Silv 5. Remoção de Não-Determinismo As lsses de utômtos definids nteriormente são tods equivlentes. Vmos
Leia maisLinguagens Regulares e Autômatos de Estados Finitos. Linguagens Formais. Linguagens Formais (cont.) Um Modelo Fraco de Computação
LFA - PARTE 1 Lingugens Regulres e Autômtos de Estdos Finitos Um Modelo Frco de Computção João Luís Grci Ros LFA-FEC-PUC-Cmpins 2002 R. Gregory Tylor: http://strse.cs.trincoll.edu/~rtylor/thcomp/ 1 Lingugens
Leia maisTeoria da Computação. Unidade 3 Máquinas Universais (cont.) Referência Teoria da Computação (Divério, 2000)
Teori d Computção Unidde 3 Máquins Universis (cont.) Referênci Teori d Computção (Divério, 2000) 1 Máquin com Pilhs Diferenci-se ds MT e MP pelo fto de possuir memóri de entrd seprd ds memóris de trblho
Leia maisGramáticas Regulares. Capítulo Gramáticas regulares
Cpítulo Grmátics Regulres Ests nots são um complemento do livro e destinm-se representr lguns lgoritmos estuddos ns uls teórics. É ddo um exemplo de plicção de cd conceito. Mis exemplos form discutidos
Leia maisApostila 02 - Linguagens Regulares Exercícios
Cursos: Bchreldo em Ciênci d Computção e Bchreldo em Sistems de Informção Disciplins: (1493A) Teori d Computção e Lingugens Formis, (4623A) Teori d Computção e Lingugens Formis e (1601A) Teori d Computção
Leia maisModelos de Computação -Folha de trabalho n. 2
Modelos de Computção -Folh de trlho n. 2 Not: Os exercícios origtórios mrcdos de A H constituem os prolems que devem ser resolvidos individulmente. A resolução em ppel deverá ser depositd n cix d disciplin
Leia maisAutômato Finito. Autômato Finito Determinístico. Autômato Finito Determinístico
Autômto Finito Prof. Yndre Mldondo - 1 Prof. Yndre Mldondo e Gomes d Cost yndre@din.uem.r Autômto Finito Determinístico Prof. Yndre Mldondo - 2 AFD - modelo mtemático p/ definição de lingugem Cráter reconhecedor
Leia maisC Sistema destinado à preparação para Concursos Públicos e Aprimoramento Profissional via INTERNET RACIOCÍNIO LÓGICO
Pr Ordendo RACIOCÍNIO LÓGICO AULA 06 RELAÇÕES E FUNÇÕES O pr ordendo represent um ponto do sistem de eixos rtesinos. Este sistem é omposto por um pr de rets perpendiulres. A ret horizontl é hmd de eixo
Leia maisCompiladores ANÁLISE LEXICAL.
Compildores ANÁLISE LEXICAL www.pedrofreire.com Este documento tem lguns direitos reservdos: Atriuição-Uso Não-Comercil-Não Ors Derivds 2.5 Portugl http://cretivecommons.org/licenses/y-nc-nd/2.5/pt/ Isto
Leia maisAutômato Finito. Prof. Yandre Maldonado e Gomes da Costa. Prof. Yandre Maldonado - 1
Autômto Finito Prof. Yndre Mldondo - 1 Prof. Yndre Mldondo e Gomes d Cost yndre@din.uem.r Autômto Finito Determinístico Prof. Yndre Mldondo - 2 AFD - modelo mtemático p/ definição de lingugem Cráter reconhecedor
Leia maisDep. Matemática e Aplicações 27 de Abril de 2011 Universidade do Minho 1 o Teste de Teoria das Linguagens. Proposta de resolução
Dep. Mtemátic e Aplicções 27 de Aril de 2011 Universidde do Minho 1 o Teste de Teori ds Lingugens Lic. Ciêncis Computção Propost de resolução 1. Considere lingugem L = A sore o lfeto A = {,}. Durção: 2
Leia maisDCC-UFRJ Linguagens Formais Primeira Prova 2008/1
DCC-UFRJ Lingugens Formis Primeir Prov 28/. Constru um utômto finito determinístico que ceite lingugem L = {w ( ) w contém pelos menos dois zeros e no máximo um }. 2. Use o lgoritmo de substituição pr
Leia maisFaculdade de Computação
UNIVERIDADE FEDERAL DE UBERLÂNDIA Fculdde de Computção Disciplin : Teori d Computção Professor : ndr de Amo Revisão de Grmátics Livres do Contexto (1) 1. Fzer o exercicio 2.3 d págin 128 do livro texto
Leia maisDraft-v Autómatos mínimos. 6.1 Autómatos Mínimos
6. Autómtos Mínimos 6 Autómtos mínimos Dd um lingugem regulr L, muitos são os utómtos determinísticos que representm. Sej A L o conjunto dos utómtos tis que (8A)(A 2A L =) L(A) =L). Os utómtos de A L não
Leia maisAnálise Léxica. Construção de Compiladores. Capítulo 2. José Romildo Malaquias Departamento de Computação Universidade Federal de Ouro Preto
Construção de Compildores Cpítulo 2 Análise Léxic José Romildo Mlquis Deprtmento de Computção Universidde Federl de Ouro Preto 2014.1 1/23 1 Análise Léxic 2/23 Tópicos 1 Análise Léxic 3/23 Análise léxic
Leia maisMATEMÁTICA. Equações do Segundo Grau. Professor : Dêner Rocha. Monster Concursos 1
MATEMÁTICA Equções do Segundo Gru Professor : Dêner Roh Monster Conursos 1 Equções do segundo gru Ojetivos Definir equções do segundo gru. Resolver equções do segundo gru. Definição Chm-se equção do º
Leia maisLinguagens Formais e Autômatos (LFA)
PU-Rio Lingugens Formis e Autômtos (LFA) omplemento d Aul de 21/08/2013 Grmátics, eus Tipos, Algums Proprieddes e Hierrqui de homsky lrisse. de ouz, 2013 1 PU-Rio Dic pr responder Pergunts finis d ul lrisse.
Leia maisCompiladores. Exemplo First/Follow. proc Follow(B N) Gramática LL(1) proc First(α: string of symbols) Observações First/Follow
Repet { pro First(α: string of symols) Compildores nálise sintáti (3) nálise LL(1) om tel preditiv. // sejα X 1 X 2 X 3 X n if X 1 T then // so simples onde X 1 é um terminl First(α) := {X 1 else { //
Leia maisLinguagens Formais Capítulo 5: Linguagens e gramáticas livres de contexto
Lingugens ormis Cpítulo 5: Lingugens e grmátics livres de contexto José Lucs Rngel, mio 1999 5.1 - Introdução Vimos no cpítulo 3 definição de grmátic livre de contexto (glc) e de lingugem livre de contexto
Leia mais<S> ::= <L><C> <L> ::= l <C> ::= l<c> n<c> n l λ. L(G 1 ) = {a n b 2m n>0 m 0} L(G 2 ) = {lw w {l, n} * } L(G 3 ) = {a n b 2m n>0 m 0}
1) Dds s seguintes grmátics: UNIVERIDADE ETADUAL DE MARINGÁ UEM ENTRO DE TENOLOGIA T DEPARTAMENTO DE INFORMÁTIA DIN BAHARELADO EM INFORMÁTIA DIIPLINA: LINGUAGEN FORMAI E AUTÔMATO PROFEOR: YANDRE MALDONADO
Leia maisProva de Aferição de Matemática e Estudo do Meio Prova 26 2.º Ano de Escolaridade Braille/Entrelinha 1,5 sem figuras Critérios de Classificação
Prov de Aferição de Mtemáti e Estudo do Meio Prov 26 2.º Ano de Esolridde 2018 Dereto-Lei n.º 17/2016, de 4 de ril Brille/Entrelinh 1,5 sem figurs Critérios de Clssifição 12 Págins Prov 26/Adp CC Págin
Leia maisINTEGRAL DEFINIDO. O conceito de integral definido está relacionado com um problema geométrico: o cálculo da área de uma figura plana.
INTEGRAL DEFINIDO O oneito de integrl definido está reliondo om um prolem geométrio: o álulo d áre de um figur pln. Vmos omeçr por determinr áre de um figur delimitd por dus rets vertiis, o semi-eio positivo
Leia maisProva elaborada pelo prof. Octamar Marques. Resolução da profa. Maria Antônia Conceição Gouveia.
ª AVALIAÇÃO DA ª UNIDADE ª SÉRIE DO ENSINO MÉDIO DISCIPLINA: MATEMÁTICA Prov elord pelo prof. Otmr Mrques. Resolução d prof. Mri Antôni Coneição Gouvei.. Dispondo de livros de mtemáti e de físi, qunts
Leia maisFaculdade de Computação
UNIVERIDADE FEDERAL DE UBERLÂNDIA Fculdde de Computção Disciplin : Lingugens Formis e Autômtos - 0 emestre 2006 Professor : ndr Aprecid de Amo List de Exercícios n o - 4/08/2006 Observção : os exercícios
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 mais3 Teoria dos Conjuntos Fuzzy
0 Teori dos Conjuntos Fuzzy presentm-se qui lguns conceitos d teori de conjuntos fuzzy que serão necessários pr o desenvolvimento e compreensão do modelo proposto (cpítulo 5). teori de conjuntos fuzzy
Leia maisHewlett-Packard O ESTUDO DO PONTO. Aulas 01 a 05. Elson Rodrigues, Gabriel Carvalho e Paulo Luiz
Hewlett-Pkrd O ESTUDO DO PONTO Auls 0 05 Elson Rodrigues, Griel Crvlho e Pulo Luiz Sumário INTRODUÇÃO AO PLANO CARTESIANO... Alguns elementos do plno rtesino... Origem... Eios... Qudrntes... Bissetrizes
Leia maisConjuntos Numéricos. Conjuntos Numéricos
UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E TECNOLÓGICAS CURSO DE ENGENHARIA CIVIL DISCIPLINA: FUNDAMENTOS DE MATEMÁTICA.. Proprieddes dos números
Leia maisI. LINGUAGENS REGULARES E AUTÔMATOS FINITOS
Lingugens Formis e Autômtos João Luís Grci Ros 2005 I. LINGUAGENS REGULARES E AUTÔMATOS FINITOS 1.1. A Primeir Lingugem A teori modern ds lingugens formis vem de dus fontes: crcterizção precis d estrutur
Leia maisModelos de Computação Folha de trabalho n. 3
Modelos de Computção Folh de trlho n. 3 Not: Os exercícios origtórios mrcdos de A H constituem os prolems que devem ser resolvidos individulmente. A resolução em ppel deverá ser depositd n cix d disciplin
Leia maisPropriedades das Linguagens Regulares
Cpítulo 4 Proprieddes ds Lingugens Regulres Estmos no momento de colocr seguinte questão: quão gerl são s lingugens regulres? Seri tod lingugem forml regulr? Tlvez qulquer conjunto que possmos especificr
Leia maisMaterial Teórico - Módulo Triângulo Retângulo, Leis dos Cossenos e dos Senos, Poĺıgonos Regulares. Lei dos Senos e Lei dos Cossenos - Parte 1
Mteril Teório - Módulo Triângulo Retângulo, Leis dos ossenos e dos Senos, Poĺıgonos Regulres Lei dos Senos e Lei dos ossenos - Prte 1 Nono no utor: Prof. Ulisses Lim Prente Revisor: Prof. ntonio min M.
Leia maisAULA 1. 1 NÚMEROS E OPERAÇÕES 1.1 Linguagem Matemática
1 NÚMEROS E OPERAÇÕES 1.1 Lingugem Mtemátic AULA 1 1 1.2 Conjuntos Numéricos Chm-se conjunto o grupmento num todo de objetos, bem definidos e discerníveis, de noss percepção ou de nosso entendimento, chmdos
Leia mais3.3 Autómatos finitos não determinísticos com transições por ε (AFND-ε)
TRANSIÇÕES POR (AFND-) 43 3.3 Autómtos finitos não determinísticos com trnsições por (AFND-) Vmos gor considerr utómtos finitos que podem mudr de estdo sem consumir qulquer símbolo, isto é, são utómtos
Leia maisHewlett-Packard O ESTUDO DA RETA. Aulas 01 a 05. Elson Rodrigues, Gabriel Carvalho e Paulo Luiz
Hewlett-Pkrd O ESTUDO DA RETA Auls 01 05 Elson Rodrigues, Griel Crvlho e Pulo Luiz Sumário EQUAÇÃO GERAL DA RETA... 2 Csos espeiis... 2 Determinção d equção gerl de um ret prtir de dois de seus pontos...
Leia maisGeometria Analítica e Álgebra Linear
NOS DE UL Geometri nlíti e Álger Liner rnsformções Lineres Professor: Lui Fernndo Nunes Dr 8/Sem_ Geometri nlíti e Álger Liner ii Índie 6 rnsformções Lineres 6 Definição 6 Imgem de um trnsformção liner
Leia mais2.) O grafo de interseção de uma coleção de conjuntos A1;A2;...;An é o grafo que tem um vértice para cada um dos conjuntos da coleção e
UDESC DCC BCC DISCIPLINA : TEG0001 Teori os Grfos PRIMEIRA LISTA DE EXERCÍCIOS 1.) Ientifique pr um os três grfos ixo:. número e nós e ros;. o gru e nó;. Compre som e toos os grus os nós e grfo om o número
Leia maisDados dois conjuntos A e B, uma função de A em B é uma correspondência que a cada elemento de A faz corresponder um e um só elemento de B.
TEMA IV Funções eis de Vriável el 1. evisões Ddos dois onjuntos A e B, um unção de A em B é um orrespondêni que d elemento de A z orresponder um e um só elemento de B. Dus unções e são iuis se e somente
Leia mais3. CÁLCULO INTEGRAL EM IR
3 CÁLCULO INTEGRAL EM IR A importâni do álulo integrl em IR reside ns sus inúmers plições em vários domínios d engenhri, ms tmém em ísi, em teori ds proiliddes, em eonomi, em gestão 3 Prtição de um intervlo
Leia maisAnálise Sintáctica Descendente
Cpítulo 4 nálise intáctic Descendente Os utomátos finitos presentdos no cpítulo nterior são suficientes pr trtr os elementos léxicos de um lingugem de progrmção, o trtmento d estrutur sintáctic de um lingugem
Leia maisProva de Aferição de Matemática e Estudo do Meio Prova 26 2.º Ano de Escolaridade Braille, Entrelinha 1,5 sem figuras Critérios de Classificação
Prov de Aferição de Mtemáti e Estudo do Meio Prov 26 2.º Ano de Esolridde 2017 Dereto-Lei n.º 17/2016, de 4 de ril Brille, Entrelinh 1,5 sem figurs Critérios de Clssifição 12 Págins Prov 26/Adp CC Págin
Leia maisx = x 2 x 1 O acréscimo x é também chamado de diferencial de x e denotado por dx, isto é, dx = x.
Universidde Federl Fluminense Mtemátic II Professor Mri Emili Neves Crdoso Cpítulo Integrl. Diferenciis dy Anteriormente, foi considerdo um símolo pr derivd de y em relção à, ms em lguns prolems é útil
Leia mais1 Integral de Riemann-Sieltjes
Cálulo Avnçdo - 2009 Referêni: Brtle, R. G. The Elements of Rel Anlysis, Seond Edition, Wiley. 1 Integrl de Riemnn-Sieltjes 1.1 Definição No que segue vmos onsiderr f e g funções reis definids em J = [,
Leia maisTodos os exercícios sugeridos nesta apostila se referem ao volume 2. MATEMÁTICA III 1 DETERMINANTES
INTRODUÇÃO... DETERMINANTE DE MATRIZ DE ORDEM... DETERMINANTE DE MATRIZ DE ORDEM... DETERMINANTE DE MATRIZ DE ORDEM... PROPRIEDADES DOS DETERMINANTES... 8 REGRA DE CHIÓ... MENOR COMPLEMENTAR... COFATOR...
Leia mais3. LOGARITMO. SISTEMA DE LOGARITMO
0. LOGARITMO. SISTEMA DE LOGARITMO.. LOGARITMO ritmo. Agor que já "semos" o que é, podemos formlizr definição de Definição Sejm e números reis positivos, om. Chm-se ritmo de n se, o epoente que stisfz
Leia maisAutômatos determinísticos grandes
Autômtos determinísticos grndes Arnldo Mndel 27 de outubro de 2009 A construção dos subconjuntos implic n seguinte firmtiv: se um lingugem é reconhecid por um utômto não-determinístico com n estdos, então
Leia maisTeorema Fundamental do Cálculo - Parte 2
Universidde de Brsíli Deprtmento de Mtemátic Cálculo Teorem Fundmentl do Cálculo - Prte 2 No teto nterior vimos que, se F é um primitiv de f em [,b], então f()d = F(b) F(). Isto reduz o problem de resolver
Leia maisAula 8: Gramáticas Livres de Contexto
Teori d Computção Segundo Semestre, 2014 ul 8: Grmátics Livres de Contexto DINF-UTFPR Prof. Ricrdo Dutr d Silv Veremos gor mneir de gerr s strings de um tipo específico de lingugem, conhecido como lingugem
Leia maisVETORES. Problemas Resolvidos
Prolems Resolvidos VETORES Atenção Lei o ssunto no livro-teto e ns nots de ul e reproduz os prolems resolvidos qui. Outros são deidos pr v. treinr PROBLEMA 1 Dois vetores, ujos módulos são de 6e9uniddes
Leia maisCapítulo III INTEGRAIS DE LINHA
pítulo III INTEGRIS DE LINH pítulo III Integris de Linh pítulo III O conceito de integrl de linh é um generlizção simples e nturl do conceito de integrl definido: f ( x) dx Neste último, integr-se o longo
Leia maisCOMPENSAÇÃO ANGULAR E REMOÇÃO DA COMPONENTE DE SEQÜÊNCIA ZERO NA PROTEÇÃO DIFERENCIAL DE TRANSFORMADORES
SHWETZER ENGNEERNG LORTORES, OMERL LTD OMPENSÇÃO NGULR E REMOÇÃO D OMPONENTE DE SEQÜÊN ZERO N PROTEÇÃO DFERENL DE TRNSFORMDORES Por Rfel rdoso. NTRODUÇÃO O prinípio d proteção diferenil é de que som ds
Leia maisGEOMETRIA DESCRITIVA PASSO A PASSO PROF. JAIR ROBERTO BÄCHTOLD UDESC
GEOMETRIA DESCRITIVA PASSO A PASSO PROF. JAIR ROBERTO BÄCHTOLD UDESC Tópio 01 Tópio 02 Tópio 03 Tópio 04 Tópio 05 Tópio 06 Tópio 07 Tópio 08 Tópio 09 Tópio 10 Tópio 11 ÍNDICE Sistems de Projeções Estudo
Leia mais2 Patamar de Carga de Energia
2 Ptmr de Crg de Energi 2.1 Definição Um série de rg de energi normlmente enontr-se em um bse temporl, ou sej, d unidde dess bse tem-se um informção d série. Considerndo um bse horári ou semi-horári, d
Leia maisFUNÇÕES. Mottola. 1) Se f(x) = 6 2x. é igual a (a) 1 (b) 2 (c) 3 (d) 4 (e) 5. 2) (UNIFOR) O gráfico abaixo. 0 x
FUNÇÕES ) Se f() = 6, então f ( 5) f ( 5) é igul () (b) (c) 3 (d) 4 (e) 5 ) (UNIFOR) O gráfico bio 0 () não represent um função. (b) represent um função bijetor. (c) represent um função não injetor. (d)
Leia maisRESPOSTAS DA LISTA 2 - Números reais: propriedades algébricas e de ordem
List de Mtemáti Bási 009- (RESPOSTAS) 4 RESPOSTAS DA LISTA - Números reis: proprieddes lgéris e de ordem Pr filitr onsult, repetimos qui os xioms e s proprieddes lgéris e de ordem listds em ul. À medid
Leia maisLINGUAGEM DE PROGRAMAÇÃO ESTRUTURADA CAPÍTULO 6 ARRAYS (VETORES E MATRIZES)
LINGUGEM DE PROGRMÇÃO ESTRUTURD CPÍTULO 6 RRYS VETORES E MTRIZES trdução do termo rry pr língu portugues seri rrnjo. Em progrmção, empreg-se este termo pr representção de um vriável com diversos elementos
Leia maisÁLGEBRA LINEAR Equações Lineares na Álgebra Linear EQUAÇÃO LINEAR SISTEMA LINEAR GEOMETRIA DA ESQUAÇÕES LINEARES RESOLUÇÃO DOS SISTEMAS
EQUAÇÃO LINEAR SISTEMA LINEAR GEOMETRIA DA ESQUAÇÕES LINEARES RESOLUÇÃO DOS SISTEMAS Equção Liner * Sej,,,...,, (números reis) e n (n ) 2 3 n x, x, x,..., x (números reis) 2 3 n Chm-se equção Liner sobre
Leia maisBhaskara e sua turma Cícero Thiago B. Magalh~aes
1 Equções de Segundo Gru Bhskr e su turm Cícero Thigo B Mglh~es Um equção do segundo gru é um equção do tipo x + bx + c = 0, em que, b e c são números reis ddos, com 0 Dd um equção do segundo gru como
Leia mais- Departamento de Matemática Aplicada (GMA) Notas de aula Prof a. Marlene Dieguez Fernandez. Integral definida
Interl Deinid Nots de ul - pro. Mrlene - 28-2 1 - Deprtmento de Mtemáti Aplid (GMA) Nots de ul - 28-2 Pro. Mrlene Dieuez Fernndez Interl deinid Oservção: esse teto ontém pens prte teóri desse ssunto, não
Leia maisSERVIÇO PÚBLICO FEDERAL Ministério da Educação
SERVIÇO PÚBLICO FEDERAL Ministério d Educção Universidde Federl do Rio Grnde Universidde Abert do Brsil Administrção Bchreldo Mtemátic pr Ciêncis Sociis Aplicds I Rodrigo Brbos Sores . Mtrizes:.. Introdução:
Leia maisÁlgebra Linear e Geometria Analítica D
3 Deprtmento de Mtemáti Álgebr Liner e Geometri Anlíti D Segundo Teste 6 de Jneiro de 2 PREENCHA DE FORMA BEM LEGÍVEL Nome: Número de derno: Grelh de Resposts A B C D 2 3 4 5 Atenção Os primeiros 5 grupos
Leia maisINTEGRAIS DEFINIDAS. Como determinar a área da região S que está sob a curva y = f(x) e limitada pelas retas verticais x = a, x = b e pelo eixo x?
INTEGRAIS DEFINIDAS O Prolem d Áre Como determinr áre d região S que está so curv y = f(x) e limitd pels rets verticis x =, x = e pelo eixo x? Um idei é proximrmos região S utilizndo retângulos e depois
Leia maisINTEGRAIS DEFINIDAS. Como determinar a área da região S que está sob a curva y = f(x) e limitada pelas retas verticais x = a, x = b e pelo eixo x?
INTEGRAIS DEFINIDAS O Prolem d Áre Como determinr áre d região S que está so curv y = f(x) e limitd pels rets verticis x =, x = e pelo eixo x? Um idei é proximrmos região S utilizndo retângulos e depois
Leia maisAnálise Sintática I: Analisadores Descendentes com Retrocesso
Análise intátic I: Anlisdores Descendentes com Retrocesso Definição A nálise sintátic é o processo de determinr se um cdei de átomos (tokens), isto é, o progrm já nlisdo pelo nlisdor léxico, pode ser gerdo
Leia maisProjeto de Compiladores Professor Carlos de Salles
Projeto de Compildores 2006.1 Professor Crlos de Slles Trlho 1 Autômto pr Plvrs Reservds Ojetivo do trlho: implementr um progrm que recee como entrd um list de plvrs reservds e define como síd um função
Leia maisExemplos de autómatos finitos
Exemplos de utómtos finitos s s 2 reconhece lingugem: {x {, } x termin em e não têm s consecutivos} s s 2 reconhece lingugem {x x {, } e tem como suplvr} Deprtmento de Ciênci de Computdores d FCUP MC Aul
Leia maisPotencial Elétrico. Evandro Bastos dos Santos. 14 de Março de 2017
Potencil Elétrico Evndro Bstos dos Sntos 14 de Mrço de 2017 1 Energi Potencil Elétric Vmos começr fzendo um nlogi mecânic. Pr um corpo cindo em um cmpo grvitcionl g, prtir de um ltur h i té um ltur h f,
Leia maisIntegrais Impróprios
Integris Impróprios Extendem noção de integrl intervlos não limitdos e/ou funções não limitds Os integris impróprios podem ser dos seguintes tipos: integris impróprios de 1 espéie v qundo os limites de
Leia maisOs números racionais. Capítulo 3
Cpítulo 3 Os números rcionis De modo informl, dizemos que o conjunto Q dos números rcionis é composto pels frções crids prtir de inteiros, desde que o denomindor não sej zero. Assim como fizemos nteriormente,
Leia maisIntrodução à Integral Definida. Aula 04 Matemática II Agronomia Prof. Danilene Donin Berticelli
Introdução à Integrl Definid Aul 04 Mtemátic II Agronomi Prof. Dnilene Donin Berticelli Áre Desde os tempos mis ntigos os mtemáticos se preocupm com o prolem de determinr áre de um figur pln. O procedimento
Leia maisFUNÇÃO DO 2º GRAU OU QUADRÁTICA
FUNÇÃO DO º GRAU OU QUADRÁTICA - Definição É tod função do tipo f() = + + c, com *, e c. c y Eemplos,, c números e coeficient termo vr vr iável iável es independen reis indepemdem dependente de te ou te
Leia maisINE Fundamentos de Matemática Discreta para a Computação
INE5403 - Fundmentos de Mtemátic Discret pr Computção 6) Relções de Ordenmento 6.1) Conjuntos Prcilmente Ordendos (Posets( Posets) 6.2) Extremos de Posets 6.3) Reticuldos 6.4) Álgers Boolens Finits 6.5)
Leia maisCODIAGNOSTICABILIDADE DE SISTEMAS A EVENTOS DISCRETOS COM. Wesley Rodrigues Silveira
CODIAGNOSTICABILIDADE DE SISTEMAS A EVENTOS DISCRETOS COM OBSERVAÇÃO DINÂMICA Wesley Rodrigues Silveir Dissertção de Mestrdo presentd o Progrm de Pós-grdução em Engenhri Elétri, COPPE, d Universidde Federl
Leia maisLinguagens Formais e Autômatos (LFA)
Lingugens Formis e Autômtos (LFA) Aul de 11/09/2013 Conjuntos Regulres, Expressões Regulres, Grmátics Regulres e Autômtos Finitos 1 Conjuntos Regulres Conjuntos regulres sobre um lfbeto finito são LINGUAGENS
Leia maisProblemas e Algoritmos
Problems e Algoritmos Em muitos domínios, há problems que pedem síd com proprieddes específics qundo são fornecids entrds válids. O primeiro psso é definir o problem usndo estruturs dequds (modelo), seguir
Leia maisCONJUNTOS NUMÉRICOS NOTAÇÕES BÁSICAS. : Variáveis e parâmetros. : Conjuntos. : Pertence. : Não pertence. : Está contido. : Não está contido.
CONJUNTOS NUMÉRICOS NOTAÇÕES BÁSICAS,,... A, B,... ~ > < : Vriáveis e prâmetros : Conjuntos : Pertence : Não pertence : Está contido : Não está contido : Contém : Não contém : Existe : Não existe : Existe
Leia maisE m Física chamam-se grandezas àquelas propriedades de um sistema físico
Bertolo Apêndice A 1 Vetores E m Físic chmm-se grndezs àquels proprieddes de um sistem físico que podem ser medids. Els vrim durnte um fenômeno que ocorre com o sistem, e se relcionm formndo s leis físics.
Leia maisFACIN-PPGCC. Teoria da Computabilidade Parte II - Autômatos de Pilha e Máquinas de Turing. Sumário. Ney Laert Vilar Calazans. 12.
FACIN-PPGCC Teori d Computbilidde Prte II - Autômtos de Pilh e Máquins de Turing Ney Lert Vilr Clzns clzns@inf.pucrs.br 2 Sumário 12. GRAMÁTICAS LIVRES DO CONTEXTO 14. AUTÔMATOS DE PILHA 19. MÁQUINAS DE
Leia maisEletricidade Aplicada. Aulas Teóricas Professor: Jorge Andrés Cormane Angarita
Eletriidde Aplid Auls Teóris Professor: Jorge Andrés Cormne Angrit Ciruitos Trifásios Eletriidde Aplid Introdução A gerção, trnsmissão e prte de distriuição de grndes quntiddes de potêni elétri são feits
Leia maisPOLINÔMIOS. Definição: Um polinômio de grau n é uma função que pode ser escrita na forma. n em que cada a i é um número complexo (ou
POLINÔMIOS Definição: Um polinômio de gru n é um função que pode ser escrit n form P() n n i 0... n i em que cd i é um número compleo (ou i 0 rel) tl que n é um número nturl e n 0. Os números i são denomindos
Leia maisMatemática para Economia Les 201. Aulas 28_29 Integrais Luiz Fernando Satolo
Mtemátic pr Economi Les 0 Auls 8_9 Integris Luiz Fernndo Stolo Integris As operções inverss n mtemátic: dição e sutrção multiplicção e divisão potencição e rdicição A operção invers d diferencição é integrção
Leia maisO Autômato Adaptativo como Modelo de Computação e sua Aplicação em Reconhecimento de Padrões*
O utômto dpttivo como Modelo de Computção e su plicção em econhecimento de Pdrões* I WOPEC Workshop de Pesquis em Engenhri e Computção mury ntônio de Cstro Junior mury@ec.ucd.r Orientdor: Prof. Dr. João
Leia maisIntegrais duplas UNIVERSIDADE FEDERAL DO PARÁ CÁLCULO II - PROJETO NEWTON AULA 24. Assunto: Integrais Duplas
Assunto: Integris Dupls UNIVESIDADE FEDEAL DO PAÁ CÁLCULO II - POJETO NEWTON AULA 24 Plvrs-hves: integris dupls,soms de iemnn, teorem de Fubini Integris dupls Sej o retângulo do plno rtesino ddo por {(x,
Leia maisUFF/GMA - Matemática Básica I - Parte II Notas de aula - Marlene
UFF/GMA - Mtemáti Bási I - Prte II Nots de ul - Mrlene - 20-6 Sumário II Números reis - operções e ordenção 7 2 Operções, ioms e proprieddes dos reis 7 2. As operções Som e Produto e os Aioms Algérios..................
Leia maisÚltima atualização 03/09/2009
FACIN-PPGCC 2 1. PANO DE FUNDO Sumário 2. LINGUAGENS Teori d Computilidde Prte I - Teori de Autômtos 3. DEFINIÇÕES RECURSIVAS 4. EXPRESSÕES REGULARES 5. AUTÔMATOS FINITOS Ney Lert Vilr Clzns & Avelino
Leia maisGRANDEZAS PROPORCIONAIS
Hewlett-Pkrd GRANDEZAS PROPORCIONAIS Auls 01 03 Elson Rodrigues, Griel Crvlho e Pulo Luiz Sumário GRANDEZAS... 1 O QUE É UMA GRANDEZA?... 1 PRELIMINAR 1... 1 PRELIMINAR 2... 1 GRANDEZAS DIRETAMENTE PROPORCIONAIS
Leia maisUNIVERSIDADE FEDERAL DE PERNAMBUCO CCEN DEPARTAMENTO DE MATEMÁTICA EXAME DE QUALIFICAÇÃO PARA O MESTRADO EM MATEMÁTICA
UNIVERSIDADE FEDERAL DE PERNAMBUCO CCEN DEPARTAMENTO DE MATEMÁTICA EXAME DE QUALIFICAÇÃO PARA O MESTRADO EM MATEMÁTICA PRIMEIRO SEMESTRE DE 2015 13 de Fevereiro de 2015 Prte I Álgebr Liner 1 Questão: Sejm
Leia maisUFF/GMA - Matemática Básica I - Parte II - Números reais Notas de aula - Marlene
UFF/GMA - Mtemáti Bási I - Prte II - Números reis Nots de ul - Mrlene - 200-5 Sumário II Números reis 6 2 Operções, xioms e proprieddes dos reis 6 2. As operções Som e Produto e os Axioms Algérios..................
Leia maisLista de Problemas H2-2002/2. LISTA DE PROBLEMAS Leia atentamente as instruções relativas aos métodos a serem empregados para solucionar os problemas.
List de Prolems H 0/ List sugerid de prolems do livro texto (Nilsson& Riedel, quint edição) 4.8, 4.9, 4., 4.1, 4.18, 4., 4.1, 4., 4.3, 4.3, 4.36, 4.38, 4.39, 4.40, 4.41, 4.4, 4.43, 4.44, 4.4, 4.6, 4.,
Leia maisAula 4: Autômatos Finitos 2. 4.1 Autômatos Finitos Não-Determinísticos
Teori d Computção Primeiro Semestre, 25 Aul 4: Autômtos Finitos 2 DAINF-UTFPR Prof. Ricrdo Dutr d Silv 4. Autômtos Finitos Não-Determinísticos Autômtos Finitos Não-Determinísticos (NFA) são um generlizção
Leia maisAutómatos Finitos Determinísticos. 4.1 Validação de palavras utilizando Autómatos
Licencitur em Engenhri Informátic DEI/ISEP Lingugens de Progrmção 26/7 Fich 4 Autómtos Finitos Determinísticos Ojectivos: Vlidção de plvrs utilizndo Autómtos Finitos; Conversão de utómtos finitos não determinísticos
Leia maisINTRODUÇÃO AOS MÉTODOS NUMÉRICOS
ITRODUÇÃO AOS MÉTODOS UMÉRICOS Professor: Dr. Edwin B. Mitcc Mez emitcc@ic.uff.r www.ic.uff.r/~emitcc Ement oções Básics sore Erros Zeros Reis de Funções Reis Resolução de Sistems Lineres Introdução à
Leia mais