Presentasjon lastes. Vennligst vent

Presentasjon lastes. Vennligst vent

Et formelt språk er en mengde av strenger over et endelig alfabet

Liknende presentasjoner


Presentasjon om: "Et formelt språk er en mengde av strenger over et endelig alfabet"— Utskrift av presentasjonen:

1 Et formelt språk er en mengde av strenger over et endelig alfabet
Eksempler: Alfabet Språk En streng i språket Norske ord Norsk Gutten spiser en pølse, … Engelske ord Engelsk The boy eats a sausage, Norske bokstaver pølse Latinske bokstaver sausage

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

3 Operasjoner på språk Navn Symbol 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, }
{aba, ab} ((ab) · (a + ))* {, aba, ab, abaaba, abaab, ababa, abab, abaabaaba, … }

8 RS = R·S

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

10 er (pr. definisjon) et språk som kan defineres ved et regulært uttrykk
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"

Liknende presentasjoner


Annonser fra Google