CD5560 FORMELLA SPRÅK, AUTOMATER, OCH BERÄKNINGSTEORI, 5 p 10 AUGUSTI 2007 LÖSNINGAR

Storlek: px

Starta visningen från sidan:

Download "CD5560 FORMELLA SPRÅK, AUTOMATER, OCH BERÄKNINGSTEORI, 5 p 10 AUGUSTI 2007 LÖSNINGAR"

Ida Bergqvist
för 7 år sedan
Visningar:

1 CD556 FORMELLA SPRÅK, AUTOMATER, OCH BERÄKNINGSTEORI, 5 p AUGUSTI 27 LÖSNINGAR REGULJÄRA SPRÅK (8p + 6p). DFA och reguljär uttryck (8 p) ) Konstruer en miniml DFA som ccepterr strängr över lfetet Σ = {,} sådn tt ing prefix (förutom strängen själv) är en multipel v 3 om de tolks som inär tl. Lmd, den tom strängen, räkns inte som multipel v 3. ) Låt e vr följnde reguljär uttryck e=(+(+ * ) * ) *. Vis tt L(e)={w (+) * in(w) = multipel v 6}. c) Skriv en enkel grmmtik för följnde reguljär uttryck: (+) * () + ( * * ) *. d) Konstruer en miniml DFA som ccepterr strängr som innehåller delsträng men inte. (Tips: gör två seprt utomter, och eräkn snittet). () We hve to check ll different prefixes. At the moment we find one cse where it s multiple of 3, nd it s not proper (i.e there re more symols to red) we stop nd reject the string. Such n utomton is (I consider tht is not multiple of 3) Sttes, nd 2 represent multiple of 3, multiple of 3 plus nd multiple of 3 plus 2 respectively. Now we hve to check tht this utomton is miniml. We pply the itertive lgorithm, seprting ccepting nd rejecting sttes. Iter I II II I I I II II I I I II Now, we seprte stte from the others. Iter I II III 2 3 4

2 CD556 FORMELLA SPRÅK, AUTOMATER, OCH BERÄKNINGSTEORI, 5 p AUGUSTI 27 LÖSNINGAR III II II II III III I II II III We hve to seprte now stte from 2,3. Iter 2 I II III IV IV III II III IV IV I III II IV Finlly, we hve to split 2 nd 3, resulting with the utomton we lredy hve. So it s miniml. () If we wnt to prove tht, one wy is to crete the miniml utomt for oth, the lnguge nd the regulr expression, nd then compre them. If we see tht oth of them re the sme, we re done. First, I crete the utomton for the lnguge {w (+) * in(w)= 6 }. The ide is tht ech stte represents one of the possile sttes of numer: multiple of 6, multiple of 6 plus, multiple of 6 plus 2... nd so one. o Now, it s time to mke sure tht the utomton is miniml. If we tke look to the sttes, it seems tht 5 nd 2 do the sme, nd tht 4 nd should e together. We pply the itertive lgorithm s in the previous exercise. Iter I II I I II I I II I I I I I I We see tht stte 3 is different, so we split up the set I. 2

3 CD556 FORMELLA SPRÅK, AUTOMATER, OCH BERÄKNINGSTEORI, 5 p AUGUSTI 27 LÖSNINGAR Iter I II III I I I I III III II I II I I I Agin, we hve to split set I into two sets, one for -4 nd the other for 2-5. Iter I II III IV II II I II IV IV III III II II I I We re done. This is miniml! Now, it s time to clculte the utomton tht represents the regulr expression. This utomton is: There s no need to minimize it, since we cn see tht it s exctly the sme one tht we minimized just ove. (c) We cn generte the grmmr from the regulr expression, lthough it s it tricky nd it cn e error prone. Thus, we first mke the utomton, nd we get the grmmr from it. I use NFA since it s esier to represent this regulr expression. The NFA is:,

4 CD556 FORMELLA SPRÅK, AUTOMATER, OCH BERÄKNINGSTEORI, 5 p AUGUSTI 27 LÖSNINGAR The following step determinize it. [] START --> S [,2] [] [,2] --> A [,2] [,3] [,3] --> B [,2,4] [] [,2,4] ACC [,2,4] [,3,5] [,3,5] ACC [,2,4] [,5] [,5] ACC [,4,2] [,5] Now, if we wnt to get very simple grmmr, we cn minimize it. If not, we cn use this utomton to get grmmr. If we minimize it, we ll see tht we never get out of the cceptnce sttes once we rech one, so we sustitute ll of them y one (clled C). Thus, the grmmr is (following the trnsitions from the determiniztion tle): S S A A A B B C S C C C λ (d) This cn e done stright from the mind. But nice nd methodic wy of doing it is creting first one utomton tht recognizes the strings tht hve the sustring (which is very esy). After tht, nother one tht recognizes the strings tht don t hve the sustring (which is very esy too). And finlly, you mke the intersection (nd minimize it). The utomton tht recognizes the strings tht hve the sustring is:, A B C D The other utomton is:, E F G H 4

5 CD556 FORMELLA SPRÅK, AUTOMATER, OCH BERÄKNINGSTEORI, 5 p AUGUSTI 27 LÖSNINGAR Now, we hve to compute the intersection. We strt joining the strting sttes, AE, nd we compute ll different trnsitions. AE () BE AF BE (2) CE AF AF (3) BE AG CE (4) DE AF AG (5) BE AH DE (6) --> DE DF ACC AH (7) BH AH DF (8) --> DE DG ACC BH (9) CH AH DG () --> DE DH ACC CH () DH AH DH (2) DH DH Now, we cn minimize it. Rejecting sttes={,2,3,4,5,7,9,,2}, ccepting sttes={6,8,} After minimizing (using the sme lgorithm s lwys), we cn join sttes {7,9,,2}, which is sink stte. 2. Reguljärt eller inte? Bevis! (6 p) ) L={u#v u,v (+) * u är en delsträng v v} ) L={xy x,y (+) + x = y +} Om du finner tt språket är reguljärt, presenter en FA eller ett reguljärt uttryck för det. Annrs evis ditt påstående med hjälp v pumpstsen eller särskiljndestsen. ) ICKE-REGULJÄRT We choose N. Then, we tke string, tht cn e s simple s N # N. Now, we choose decomposition. All possile decompositions re x= k, y= j, z= N-k-j # N, xy <N. Now, if we pump the string otining w =xy i z= N - j(i-) # N. Choosing i= is cler tht w doesn t fll into the lnguge, since j>. ) REGULJÄRT The lnguge is regulr, since it s the lnguge of the strings tht hve odd length. A regulr expression is (+) 2i+, i 5

6 CD556 FORMELLA SPRÅK, AUTOMATER, OCH BERÄKNINGSTEORI, 5 p AUGUSTI 27 LÖSNINGAR SAMMANHANGSFRIA SPRÅK (6p + 8p) 3. NPDA (6 p) Konstruer NPDA som ccepterr { n n2... nk k i ni=i }. (Noter tt strängr estår v ett som följs v pket med. Antlet motsvrr pketnumret i åtminstone ett pket i strängen. Således ccepters eftersom det tredje -pketet innehåller tre.) The ide is to use indeterminism. On one hnd, when we red n, we push n A to the stck so we know how mny pckets we hve red, which should e the numer of s we wnt to red. On the other hnd, we just move nd strt to check the s with the current stck. So, it s like hving two copies of the stck ll the time, nd ll this is possile due to indeterminism. The utomton is: Z ZA A AA A A A λ Z Z Z Z Z ZA A AA Zλ Z Z Z 4. Smmnhngsfri språk (8 p) ) Vilket språk genererr grmmtiken? S-> A A A A-> BB BB B-> B B B B λ ) Skriv en enkel grmmtik som eskriver ett språk vrs strängr innehåller fler än. 6

7 CD556 FORMELLA SPRÅK, AUTOMATER, OCH BERÄKNINGSTEORI, 5 p AUGUSTI 27 LÖSNINGAR () If you tke look to the different rules, you cn produce ny comintion of strings. Thus, you re generting either (,) * or (,) +. Since the first rules doesn t llow to mke the empty string, we re tlking out (,) +. () Such grmmr is: S BSSB SBSB B B B RESTRIKTIONSFRIA SPRÅK (6p + 3p + 3p) 5. Turingmskin (6 p) Hur fungerr följnde turingmskin? Vilket språk ccepterr den? Provkör! Initilt hr mskinen tpepekren på först tecknet i inputsträngen. Strängen cc är input. Den ccepters och då hr tpen utseendet xxyyzz## och tpepekren pekr på ndr #:et på högersidn. Den hr mtcht uttrycket nncn där n. 7

8 CD556 FORMELLA SPRÅK, AUTOMATER, OCH BERÄKNINGSTEORI, 5 p AUGUSTI 27 LÖSNINGAR 6. (3p) Show tht x mx( x, y) = y if x y otherwise is primitive recursive. mx( x, y) = x ( gt( x, y) + eq( x, y)) + y Check: mx(2,3) = = 3 mx(3,2) = = 3 mx(2,2) = = 2 Therefore mx( x, y) is primitive recursive. gt( y, x) 7. Avgörrt? Motiver! (3p). L = { <M > L(M) hr exkt n element}.. L = { <M> L(M) är inte cceptert}. c. L = { <M> L(M) hr mindre än 7 tillstånd och stnnr på input }.. OAVGÖRBART! Följer v Rices sts, eftersom denn egenskp är icketrivil.. AVGÖRBART! Eftersom språket L(M) lltid är cceptert, är mängden i frågn en tom mängd. Eftersom det är ett tomt språk, är det vgörrt. c. AVGÖRBART! Det finns ändligt mång progrm med mindre än 7 tillstånd. Delmängd v dess, såsom de som stnnr på en viss input utgör också en finit mängd. Vrje finit mängd är Turing eräkningsr. Referenser. Slling: Formell språk, utomter och eräkningr 2 2. Linz, An Introduction to Forml Lnguges nd Automt, Jones & Brtlett 2 3. Sipser, Introduction to the Theory of Computtion, PWS Sudkmp, Lnguges nd Mchines, Addison Wesley Kiner-Smith, Theory of Computing, A Gentle Introduction, Prentice Hll 2 8

Relevanta dokument

abbcba a) A regular expression over

abbcba a) A regular expression over 1 CD5560 FABER Forml Lnguges, Automt nd Models of Computtion Exerise Mälrdlen University 007 NEXT WEEK! Midterm Exm 1 Regulr Lnguges Ple: U-114 Time: Tuesdy 007-04-4, 10:15-1:00 t is OPEN BOOK. This mens