• Keine Ergebnisse gefunden

Schriftliche Leistungskontrolle (EK-N)

N/A
N/A
Protected

Academic year: 2021

Aktie "Schriftliche Leistungskontrolle (EK-N)"

Copied!
15
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Schriftliche Leistungskontrolle (EK-N)

Hinweis:

• F ¨ur diese schriftliche Leistungskontrolle gelten alle Hinweise, die in der Ank ¨undigung der Kontrolle aufgelistet waren. Diese Hinweise sind bei Bedarf w¨ahrend der

Leistungskontrolle verf ¨ugbar (Handzeichen gen ¨ugt).

Studentenidentifikation:

N ac h na m e V o r na m e

M at r i k e l n u m m e r

S t u d i e n g a n g

Informatik Bachelor,

T u t o r

Christina,Florian,Katja,Mascha,Paul

Sarkaft,Sven,Tim, Tsveti,Uwe

Aufgaben ¨ubersicht:

A u f g a b e S e i t e P u n k t e T h e m e n b e r e i c h

1 2 22 Homomorphismen

2 5 26 Kongruenzen

3 8 33 Grammatiken

4 12 15 Regul¨are Ausdr ¨ucke

5 14 4 Pumping Lemma

Korrektur:

A u f g a b e 1 2 3 4 5 ∑

P u n k t e 22 26 33 15 4 100

E r r e i c h t

K o r r e k t o r

E i n s i c h t

(2)

Aufgabe 1: Homomorphismen (22Punkte) Gegeben seien die Signatur Σfoo und dieΣfoo-Algebren Aund B:

Σfoo A B

s As ,{ a} Bs ,R

const:( s) constA : As constB : Bs

constA ,λ constB ,0 one:( s, s) oneA : As→As oneB : Bs→Bs

w7→aw x7→x+1

two:( s, s, s) twoA : As×As→As twoB : Bs×Bs→Bs

(w1,w2)7→w1·w2 (x,y)7→x+y a. (9Punkte)(**)

Beweise oder widerlege: Es existiert einΣfoo-Homomorphismus f : B→ A.

Hinweis:Falls f existiert, muss nur die Operationsvertr¨aglichkeit explizit nachgewiesen werden.

2/15

(3)

b. (10Punkte)(***)

Beweise oder widerlege: Es existiert einΣfoo-Homomorphismus g: A→ B.

Hinweis:Falls gexistiert, muss nur die Operationsvertr¨aglichkeit explizit nachgewiesen werden.

3/15

(4)

c. (3Punkte)(*)

Beweise oder widerlege: Es existiert einΣfoo-Isomorphismus h: B → A.

4/15

(5)

Aufgabe 2: Kongruenzen (26Punkte) Gegeben seien die folgende Signatur und Algebren:

Σbar A B

low Alow ,R Blow ,Pfin(N)

high Ahigh ,R×R Bhigh ,N

bot:(low ) botA : Alow botB : Blow

botA ,0 botB ,∅

top:(high) topA : Ahigh topB : Bhigh

topA ,(0, 0) topB ,0

one:(high, low ) oneA : Ahigh→Alow oneB : Bhigh→Blow

(a,b)7→√

a2+b2 n7→ {n}

two:(low, high, high ) twoA : Alow×Ahigh→Ahigh twoB : Blow×Bhigh→Bhigh

(a,(x,y))7→(a∗x,a∗y) (X,n)7→#(X∪ {n}) WobeiPfin(N) die Menge aller endlichen Teilmengen vonNbezeichnet.

a. (9Punkte)(**)

Sind die folgenden Aussagen richtig oder falsch?

F ¨ur jedes falsche Kreuz bekommst Du einen Punkt Abzug.

Bei dieser Teilaufgabe bekommst Du mindestens0Punkte.

richtig -falsch oneA(topA) =botA richtig -falsch oneA((3, 4)) =5

richtig -falsch ∀x ∈Ahigh.oneA(x)≥0 richtig -falsch twoA(2,(3, 4)) = (6, 12) richtig -falsch oneB(topB) =botB richtig -falsch twoB(∅, 0) =0

richtig -falsch ∀X ∈ Blow.twoB(X, 42) 6=#(X) richtig -falsch twoB({0, 1, 2, 3, 4}, 5) = 5 richtig -falsch ∃n∈ Bhigh.oneB(n) =

5/15

(6)

b. (10Punkte)(**)

SeiK = (Ks : As×As)s∈{low,high} mit

Klow =R

Khigh ={ ((a, b), (x, y))|a2x2 =y2b2 } Beweise, dass K eine Kongruenz auf A ist.

Hinweis: Es gen ¨ugt, die Operationsvertr¨aglichkeit nachzuweisen.

6/15

(7)

c. (7Punkte)(**)

SeiK = (Ks : Bs×Bs)s∈{low,high} mit

Klow ={ (X, Y)|#(X) = #(Y) }

Khigh ={ (a, b)|a mod 2=b mod 2} Beweise, dass K keineKongruenz auf Bist.

7/15

(8)

Aufgabe 3: Grammatiken (33Punkte) a. (9Punkte)(**)

Sind die folgenden Aussagen richtig oder falsch?

F ¨ur jedes falsche Kreuz bekommt ihr einen Punkt Abzug.

Bei dieser Teilaufgabe bekommt ihr mindestens 0Punkte.

F ¨ur alleGrammatiken G = (V,A,P,S) gilt:

richtig -falsch WennA={ a } ist, dann ist L(G) = { a }

richtig -falsch Wenn es eine Produktionsregel der FormS→Sgibt, dann erzeugt die Grammatik die leere Sprache.

richtig -falsch WennP ={S→S}, dann ist L(G) = {λ } richtig -falsch WennP ={S→S}, dann ist L(G) = richtig -falsch Wenn{ S→λ} ∈ P, dann ist L(G) = { λ}

richtig -falsch Wenn L(G) = ∅, dann hat jede Regel mindestens ein Nichtterminal auf der rechten Seite.

richtig -falsch Wenn jede Regel mindestens ein Nichtterminal auf der rechten Seite hat, dann istL(G) = ∅.

richtig -falsch WennG eine Sprache des Typs2erzeugt, dann hat diese Sprache auch den Typ1.

richtig -falsch WennG den Typ2 hat, dann hatG auch den Typ1.

8/15

(9)

b. (*)

Gegeben seien

A={ a, b, c }

Gi =({ S, T, U },A,Pi,S)

P1 :S→ cS| Tac T→ λ|U U→ abSc

P2 : S→ aS |bS| abcT T→ bT| cT |cU U→ ba

P3 :S→SaT| abT T→ c| aaU U→ a aa→ bbb

P4 : S→ a| b |λ |T T→ SU

aa→U U→ λ

i) (8Punkte)(*)

Entscheide durch Eintragen vonX(= ja) undX (= nein), ob die entsprechende Grammatik vom jeweiligen Typ ist. F ¨ur falsche Antworten werden Dir Punkte abgezogen. Du bekommst bei dieser Aufgabe mindestens0Punkte.

Typ 0 Typ1 Typ2 Typ3 G1

G2 G3 G4

9/15

(10)

ii) (5Punkte)(**)

Gib eine Ableitung des Wortesabbbbaac inG3an.

iii) (4Punkte)(*) Gib f ¨ur jede Grammatik 2W ¨orter der durch sie erzeugten Sprache an.

10/15

(11)

iv) (7Punkte)(**) Gib L(G2) und L(G4) in Mengenschreibweise an.

11/15

(12)

Aufgabe 4: Regul¨are Ausdr ¨ucke (15Punkte) a. (4Punkte)(*) Gib einen regul¨aren Ausdruck R1 an, so dass

L(R1) ={ bnba2n |n ∈[[[1, 3]]]}

b. (5Punkte)(*) Gegeben sei

R2 =a(a+b)(ab) +bba

Gib eine Grammatik G an, so dass L(G) = L(R2)

12/15

(13)

c. (6Punkte)(*) Gegeben seien

R3 =ab(a+b) R4 =(a+b)a(b+b) R5 =(a+b)(b+a)(ε+0)

Entscheide durch Eintragen von X(= ja) undX (= nein), ob das entsprechende Wort in der von dem regul¨aren Ausdruck erzeugten Sprache liegt.

R3 R4 R5

λ bb aaabbb abb

13/15

(14)

Aufgabe 5: Pumping Lemma (4Punkte) Sind die folgenden Aussagen richtig oder falsch?

F ¨ur jedes falsche Kreuz bekommst Du einen Punkt Abzug.

Bei dieser Aufgabe bekommst Du mindestens0Punkte.

F ¨ur alleSprachen A gilt:

richtig -falsch Wenn man¬PUMP(A)zeigen kann, dann ist Anicht regul¨ar.

richtig -falsch Wenn manPUMP(A) zeigen kann, dann ist Aregul¨ar.

richtig -falsch Wenn Adurch eine regul¨are Grammatik erzeugt wird, dann kann man PUMP(A) zeigen.

richtig -falsch Wenn Adurch eine nicht-regul¨are Grammatik erzeugt wird, dann kann man¬PUMP(A)zeigen.

14/15

(15)

Auf dieser Seite l ¨ose ich einen Teil der Aufgabe : Teilaufgabe :

15/15

Referenzen

ÄHNLICHE DOKUMENTE

Oft wird in der Literatur zwischen regul¨ arem Ausdruck und beschriebener Sprache nicht unterschieden, das heißt, man identifiziert einen regul¨ aren Ausdruck mit der

Oft wird in der Literatur zwischen regul¨ arem Ausdruck und beschriebener Sprache nicht unterschieden, das heißt, man identifiziert einen regul¨ aren Ausdruck mit der

Bitte bei den richtigen Aussagen nach einem entsprechenden Satz aus der Vorlesung suchen und bei falschen Aussagen ein Gegenbeispiel finden.. • Jede stetige Funktion

Die Mäuse sind traurig über die Geschichten von

Diese Geister feiern ein

Alle Menschen tragen kurze Hosen.. Der Knabe isst

Die einzelnen Rechtecke liegen nicht aneinander, wenn ihr die Rechtecke aneinanderlegt und die doppelten Linien löscht, könnt ihr Zeit sparen, da der Laser/Schneidplotter nicht

1  richtig  falsch Am 30. Januar 1933, dem Tag der „Machter- greifung“, putschten* sich die Nationalsozialis- ten in Berlin an die Macht. Zwanzig Personen wurden