Presentasjon lastes. Vennligst vent

Presentasjon lastes. Vennligst vent

Et formelt språk er en mengde av strenger over et endelig alfabet Eksempler: AlfabetSpråkEn streng i språket Norske ordNorskGutten spiser en pølse, … Engelske.

Liknende presentasjoner


Presentasjon om: "Et formelt språk er en mengde av strenger over et endelig alfabet Eksempler: AlfabetSpråkEn streng i språket Norske ordNorskGutten spiser en pølse, … Engelske."— Utskrift av presentasjonen:

1 Et formelt språk er en mengde av strenger over et endelig alfabet Eksempler: AlfabetSpråkEn streng i språket Norske ordNorskGutten spiser en pølse, … Engelske ordEngelskThe boy eats a sausage, Norske bokstaverNorske ordpølse Latinske bokstaverEngelske ordsausage

2 Norske ord: mengde av strenger {a,b,c, …, z,æ,ø,å}* grønn blå en et egg gutt pølse spiser drikker melk saft sjokolade pølsespiser sover drømmer tenkte våkner melkedrikker Norske ord Ymer palse slajk trovt gridda pøz åg tag æg dejlig utomordentlig yxi øøøøø øøø øø ø 

3 Operasjoner på språk NavnSymbol Eksempel Union  {aa,ab,bb}  {cc, d} = {aa,ab,bb, cc, d} Produkt {aa,ab,bb}{cc, d} = {aacc, aad, abcc, abd, bbcc,bbd} Kleene-stjerne  {cc, d}* = { , cc, d, cccc, ccd, dcc, dd, cccccc, ccccd, ccdcc, ccdd, dcccc, dccd, ddcc, ddd, cccccccc, ccccccd, ccccdcc, … }

4 A* er en uendelig union: A* = {  }  A  AA  AAA  AAAA  … {a,b}* = { , a, b, aa, ab, ba, bb, aaa, aab, aba, abb, baa, bab, bba, bbb, ………. }

5 Et regulært uttrykk brukes til å definere et språk betyr et språk er bygget opp fra ,  og symboler i alfabetet ved hjelp av operatorene +, · og * samt parenteser. Operator-presedens: * over · over +: R · S* + T* = R · (S*) + (T*) = (R · (S*)) + (T*)

6 Betydning L(R) er språket som R betegner: L(a) = {a} L(  ) =  L(  ) = {  } L(R + S) = L(R)  L(S) L(R · S) = L(R) L(S) L(R*) = L(R)*

7 Eksempel Uttrykk Betegner a{a} b{b}  {}{} ab{ab} a +  {a,  } (ab) · (a +  ) {aba, ab} ((ab) · (a +  ))*{ , aba, ab, abaaba, abaab, ababa, abab, abaabaaba, … }

8 RS = R·S

9 Noen regneregler R(S+T) = RS + RT  R = R (S+T)R = SR + TR R*R = RR*  + RR* = R* (mange flere side 638)  + (aa + ab*ba) (ab*a)*  + (a + b*ba) (ab*a)*  + (a (  a + b*ba) (ab*a)*  + (a ( ( + b*b)a) (ab*a)*  + (a ( ( + bb*)a) (ab*a)*  + (ab*a) (ab*a)*

10 Et regulært språk er (pr. definisjon) et språk som kan defineres ved et regulært uttrykk


Laste ned ppt "Et formelt språk er en mengde av strenger over et endelig alfabet Eksempler: AlfabetSpråkEn streng i språket Norske ordNorskGutten spiser en pølse, … Engelske."

Liknende presentasjoner


Annonser fra Google