VU Objektorientierte Modellierung Übung 3
|
|
- Gerhardt Siegel
- vor 7 Jahren
- Abrufe
Transkript
1 VU Ojektorientierte Modellierung Üung 3 Üungsgruppen: Aufge 1: Verhltensmodellierung mittels Sequenzdigrmm Wiederholen Sie ds Kpitel us der Vorlesung, ds sih mit Sequenzdigrmmen eshäftigt. Welhe 4 Arten von Interktionsdigrmmen git es? Beshreien Sie diese kurz. Wofür werden Interktionsdigrmme eingesetzt? Wie ist ein Sequenzdigrmm prinzipiell ufgeut? Welhe Elemente knn es enthlten? Ws ist eine Zustndsinvrinte im Kontext des Sequenzdigrmms? Wie können Zeiteinshränkungen ngegeen werden? Ws ist ein ktives Ojekt, ws ist ein pssives Ojekt? Wie untersheiden sih diese? Aufge 2: Verhltensmodellierung mittels Sequenzdigrmm Wiederholen Sie ds Kpitel us der Vorlesung, ds sih mit Sequenzdigrmmen eshäftigt. Beshreien Sie die Untershiede zwishen synhronen und synhronen Nhrihten. Welhe Arten von Verzweigungen und Shleifen können in Sequenzdigrmmen uftreten? Beshreien Sie die entsprehenden Opertoren. Welhe Opertoren stehen im Sequenzdigrmm zur Verfügung, um prllele Aläufe zu relisieren zw. um Ordnungen im Aluf festzulegen? Erklären Sie die kominierten Frgmente us der Gruppe Filterungen und Zusiherungen. Aufge 3: Kommuniktion im Sequenzdigrmm Synhrone/Asynhrone Kommuniktion Beshreien Sie die im folgenden Digrmm vorkommenden Kommuniktionsläufe mittels Sequenzdigrmm. Hrry steht im Stu. Irgendwer hupt Hrry n. Hrry hupt entnervt zurük. Ds Rdio shltet sih n und durh die Verkehrsnhrihten erfährt Hrry, dss uf der Strße, uf der er gerde fährt, ein Stu ist. Gerde ls die Verkehrsnhrihten vorei sind, ruft ihn seine Freundin Slly n, und frgt Hrry, wnn er endlih kommt, d ihre Vorlesung gleih nfängt. Er ntwortet, dss er im Stu stekt und zu spät kommen wird. Nhdem ds Telefont eendet ist, ruft Hrry seine Mils. Er ht eine Nhriht von seinem Freund Frnz erhlten, in der er heute Aend zu einer Prty eingelden wird. Hrry sgt sofort per Mil zu. 5 Minuten später erhält er von Frnz ein SMS, ds die genue Adresse enthält. Endlih ht sih der Stu ufgelöst und Hrry knn sih doh noh den Rest der Vorlesung von Prof. X üer ojekt-orientierte Modellierung nhören. Wieder zu Huse, fällt Hrry eine sehr wihtige Frge ein, die er sofort in ds LVA-Forum postet. Dnh shut er sih im Fernsehen die Nhrihten n. Inzwishen erhält Hrry eine Antwort uf seine Frge. Ahten Sie ei diesem Beispiel esonders druf, o die eshrieenen Kommuniktionsläufe synhron oder synhron sind.
2 Rdio TV Forum Hrry Slly Prof. X Frnz Hupen Zurükhupen Verkehrsnhrihten Anruf Einldung Zusge {fter 5 min SMS Vorlesung Nhrihten Frge posten Antwort
3 Aufge 4: Kominierte Frgmente ) Äquivlenzen Gegeen sind jeweils zwei Ausshnitte eines Sequenzdigrmms. Kreuzen Sie n, o die eiden Ausshnitte jeweils äquivlent oder niht äquivlent sind. Begründen Sie wrum. opt [x == 5] lt [x == 5] [else] äquivlent niht äquivlent pr äquivlent niht äquivlent lt [x == 3] [else] [x == 5] lt [x == 5] [else] rek [x == 3] äquivlent niht äquivlent
4 ) Berehnung von Tres Beshreien Sie lle möglihen Ereignisfolgen des folgenden Digrmms. minimler Tre: zw. zw. durh den pr-opertor ergeen sih folgende Ereignisfolgen: 1. Opernd: d e f g d e g f e d f g e d g f 2. Opernd: h i j k Die Tres dieser eiden Opernden können elieig kominiert werden, woei zwishen f und g (egl o f g oder g f) keine ndere Nhriht kommen drf. Wenn die Vrile hek den Wert flse ht, wird nur der minimle Tre usgeführt. opt: Wenn die Vrile hek2 whr ist, wird l usgeführt. Wenn die Tres, die sih us dem pr-frgment ergeen, mit j k enden, knn ds l is mx. vor ds j geshoen werden. Wenn der minimle Tre mit endet, dnn knn ds e (d muss dnh kommen) is mx. vor ds geshoen werden.
5 Aufge 5: Sequenzdigrmm us Klssendigrmm Gegeen sei ds uf der folgenden Seite drgestellte Klssendigrmm zur Verwltung von Produkten. Klsse Geshäft: Geshäft ID... die Identifiktionsnummer des Geshäfts ddprodukt... fügt ein Produkt zu einem Geshäft hinzu Geshäft... erzeugt ein neues Geshäft und setzt nur die Geshäft ID ddktegorie... fügt eine Ktegorie zu einem Geshäft hinzu Klsse Ktegorie: Ktegorienme... der Nme der Ktegorie ddtheprodukt... fügt ein Produkt zu einer Ktegorie hinzu Ktegorie... erzeugt eine neue Ktegorie und setzt nur den Ktegorienmen ddgeshäft... fügt ein Geshäft zu einer Ktegorie hinzu Klsse Produkt: Artikelnummer... die Nummer des Artikels Bezeihnung... der Nme des Artikels Produkt... erzeugt ein neues Produkt und setzt Artikelnummer, Bezeihnung, er niht die Ktegorie, zu der es gehört setktegorie... fügt die Ktegorie zu einem Produkt hinzu Klsse Lgerverwltung: neuesprodukt... ein neues Produkt wird hinzugefügt getktegorie... eine Ktegorie wird gefrgt getgeshäft... ein Geshäft wird gefrgt getprodukt... ein Produkt wird gefrgt Aufge: Erstellen Sie ein Sequenzdigrmm, um die Sequenz der Aufrufe von Opertionen für ds erfolgreihe Aufnehmen eines neuen Produktes in einem Geshäft zu zeigen (es git ereits Produkte der selen Ktegorie; ds Geshäft existiert eenflls shon). Wird ein Interktionsprtner erst im Lufe der Interktion erzeugt, so geen Sie explizit den Konstruktor n, der ds Ojekt erzeugt. Lgerverw ltung + neuesprodukt(diegeshäft_id, derktegorienme, dieartikelnummer, diebezeihnung) : void - getktegorie(ktegorienme) : Ktegorie - getgeshäft(diegeshäft_id) : Geshäft + getprodukt(dieartikelnummer, diebezeihnung) : Produkt Geshäft Ktegorie + Geshäft_ID: int + Ktegorienme: String + Geshäft(Geshäft_ID) : void + ddprodukt(dsprodukt) : void + ddktegorie(diektegorie) : void + Ktegorie(Ktegorienme) : void + ddtheprodukt(dsprodukt) : void + ddgeshäft(dsgeshäft) : void Produkt + Artikelnummer: int + Bezeihnung: String + Produkt(dsGeshäft, Artikelnummer, Bezeihnung) : void + setktegorie(diektegorie) : void
6 :Lgerverwltung :Geshäft :Ktegorie DerAnwender:User neuesprodukt(diegeshäft_id, derktegorienme, dieartikelnummer, diebezeihnung) dsgeshäft=getgeshäft(diegeshäft_id) diektegorie=getktegorie(derktegorienme) Produkt(dsGeshäft, Artikelnummer, Bezeihnung) :Produkt ddprodukt(dsprodukt) setktegorie(diektegorie) Aufge 6: Drstellung von Progrmmläufen mittels Sequenzdigrmm Stellen Sie die Aläufe von folgendem Progrmm mittels Sequenzdigrmm dr. Modellieren Sie uh llfällige Antwortnhrihten. Anmerkungen: Die Deklrtion der Vrilen muss niht ngegeen werden. Behten Sie, dss Klssen, welhe die Klsse Thred erweitern, einen eigenen Kontrollfluss hen. Mit dem Aufruf der Methode strt wird der Code us run prllel zum uf strt nhfolgenden Code usgeführt. Die rek- Anweisungen ruht niht im Sequenzdigrmm drgestellt werden. lss Worker1 extends Thred { lss Min {... int x; Worker1 = new Worker1();.strt(); Worker2 w = new Worker2(); x = w.getrndomint(); swith(x) { se 1: w.print("eins"); rek; se 2: w.print("zwei"); rek; defult: w.print("ndere Zhl"); while (x < 0); { x = w.inint(x); w.printint(x); Worker2 w2; //... void run() { w2 = new Worker2(); w2.dosomething(); lss Worker2 { //... void dosomething() {... void print(string s) {... void printint(int i) {... int getrndomint() {... int inint(int x) {...
7 :Min new :Worker1 strt new w2:worker2 dosomething new w:worker2 getrndomint x = getrndomint: r1 lt [x==1] [x==2] print("eins") print("zwei") [else] print("ndere Zhl") loop () [x<0] inint(x) x = inint: x+1 printint(x)
Automaten und formale Sprachen Notizen zu den Folien
5 Ds Pumping Lemm Shufhprinzip (Folie 137) Automten und formle Sprhen Notizen zu den Folien Im Blok Ds Shufhprinzip für endlihe Automten steht m n (sttt m > n), weil die Länge eines Pfdes die Anzhl von
MehrÜbungen zur Vorlesung Modellierung WS 2003/2004 Blatt 11 Musterlösungen
Dr. Theo Lettmnn Pderorn, den 9. Jnur 24 Age 9. Jnur 24 A x, A 2 x, Üungen zur Vorlesung Modellierung WS 23/24 Bltt Musterlösungen AUFGABE 7 : Es sei der folgende prtielle deterministishe endlihe Automt
MehrWurzel b bedeutet: Suche die Zahl, die mit sich selbst multipliziert gerade die Zahl ergibt, die unter der Wurzel steht.
/0 Areitsltt Wurzel edeutet: Suhe die Zhl, die mit sih selst multipliziert gerde die Zhl ergit, die unter der Wurzel steht. Also: - suhe eine Zhl, die mit sih selst multipliziert, genu ergit. Die Lösung
MehrGruppe A Bitte tragen Sie SOFORT und LESERLICH Namen und Matrikelnr. ein, und legen Sie Ihren Studentenausweis bereit.
Gruppe A Bitte trgen Sie SOFORT und LESERLICH Nmen und Mtrikelnr. ein, und legen Sie Ihren Studentenusweis ereit. 1. Leistungsüerprüfung AUS DATENMODELLIERUNG (184.685) GRUE A 16.04.2013 Mtrikelnr. Fmiliennme
MehrSS 2018 Torsten Schreiber
SS 08 orsten Shreier 8 Beim inneren Produkt ) wird komponentenweise multipliziert und die entstehenden Produkte nshließend. Somit hndelt es sih um keine d nur eine Zhl Sklr) ls Lösung heruskommt. Ds Sklrprodukt
MehrAutomaten und Formale Sprachen alias Theoretische Informatik. Sommersemester 2011
Automten und Formle Sprchen lis Theoretische Informtik Sommersemester 011 Dr. Snder Bruggink Üungsleitung: Jn Stückrth Snder Bruggink Automten und Formle Sprchen 1 Reguläre Sprchen Wir eschäftigen uns
MehrDer Begriff der Stammfunktion
Lernunterlgen Integrlrehnung Der Begriff der Stmmfunktion Wir gehen von folgender Frgestellung us: welhe Funktion F x liefert ls Aleitung eine gegeene Funktion f x. Wir suhen lso eine Umkehrung der Aleitung
MehrR. Brinkmann http://brinkmann-du.de Seite 1 17.11.2010
R. rinkmnn http://rinkmnn-du.de Seite 7..2 Grundegriffe der Vektorrehnung Vektor und Sklr Ein Teil der in Nturwissenshft und Tehnik uftretenden Größen ist ei festgelegter Mßeinheit durh die nge einer Mßzhl
MehrOber- und Untersummen, Riemann Integrale
Oer- und Untersummen, Riemnn Integrle 1. Ds Prolem des Fläheninhlts Ausgngspunkt für die Entwiklung des Integrlegriffs wren vershiedene Frgestellungen, u.. ds Prolem der Messung des Fläheninhltes eines
MehrFunktionen und Mächtigkeiten
Vorlesung Funktionen und Mähtigkeiten. Etws Mengenlehre In der Folge reiten wir intuitiv mit Mengen. Eine Menge ist eine Zusmmenfssung von Elementen. Zum Beispiel ist A = {,,,,5} eine endlihe Menge mit
MehrAutomaten, Spiele, und Logik
Automten, Spiele, und Logik Woche 1 15. April 2014 Inhlt der gnzen Vorlesung Automten uf endlichen Wörtern uf undendlichen Wörtern uf endlichen Bäumen Spiele Erreichrkeitsspiele Ehrenfeucht-Frïssé Spiele
MehrErkundungen. Terme vergleichen. Rechteck Fläche als Produkt der Seitenlängen Fläche als Summe der Teilflächen A B
Erkundungen Terme vergleihen Forshungsuftrg : Fläheninhlte von Rehteken uf vershiedene Arten erehnen Die Terme () is (6) eshreien jeweils den Fläheninhlt von einem der drei Rehteke. Ordnet die Terme den
MehrMathematische Probleme, SS 2013 Montag $Id: dreieck.tex,v /04/15 09:12:15 hk Exp hk $ 1.4 Dreiecksberechnung mit Seiten und Winkeln
Mthemtishe Proleme, SS 2013 Montg 15.4 $Id: dreiek.tex,v 1.5 2013/04/15 09:12:15 hk Exp hk $ 1 Dreieke 1.4 Dreiekserehnung mit Seiten und Winkeln In der letzten Sitzung htten wir egonnen die vershiedenen
MehrFormale Systeme, Automaten, Prozesse SS 2010 Musterlösung - Übung 2 M. Brockschmidt, F. Emmes, C. Fuhs, C. Otto, T. Ströder
Prof Dr J Giesl Formle Systeme, Automten, Prozesse SS 2010 Musterlösung - Üung 2 M Brockschmidt, F Emmes, C Fuhs, C Otto, T Ströder Hinweise: Die Husufgen sollen in Gruppen von je 2 Studierenden us dem
MehrEinführung in die Mathematik des Operations Research
Universität zu Köln Mthemtishes Institut Prof. Dr. F. Vllentin ufge ( + 7 = 0 Punkte) Einführung in die Mthemtik des Opertions Reserh Sommersemester 0 en zur Klusur (7. Juli 0). Es seien M = {,..., n },
MehrAufgabe 1. Die Zahl 6 wird aus 3 gleichen Ziffern mit Hilfe der folgenden mathematischen
Deprtment Mthemtik Tg der Mthemtik 5. Juli 008 Klssenstufen 9, 10 Aufge 1. Die Zhl 6 wird us 3 gleihen Ziffern mit Hilfe der folgenden mthemtishen Symole drgestellt: + Addition Sutrktion Multipliktion
MehrEndliche Automaten können wahlweise graphisch oder tabellarisch angegeben werden.
Aufgensmmlung GTI Hinweise. Dies ist eine Aufgensmmlung zum Lernen für die Klusur, keine Proeklusur. Die Zeitduer, die für die Lösung vorgesehen ist, ist lso nicht uf drei Stunden normiert. Für die Klusur
MehrAutomaten und Formale Sprachen alias Theoretische Informatik. Sommersemester Kurzer Einschub: das Schubfachprinzip.
Reguläre Sprchen Automten und Formle Sprchen lis Theoretische Informtik Sommersemester 0 Ds Pumping-Lemm Wir hen is jetzt vier Formlismen kennengelernt, mit denen wir eine reguläre Sprche ngeen können:
MehrKlausur über den Stoff der Vorlesung Grundlagen der Informatik II (90 Minuten)
Institut für Angewndte Informtik und Formle Beschreiungsverfhren 2.7.24 Klusur üer den Stoff der Vorlesung Grundlgen der Informtik II (9 Minuten) Nme: Vornme: Mtr.-Nr.: Semester: (SS 24) Ich estätige,
MehrVORKURS: MATHEMATIK RECHENFERTIGKEITEN, LÖSUNGEN. Dienstag
Lösungen Dienstg -- VORKURS: MATHEMATIK RECHENFERTIGKEITEN, LÖSUNGEN Dienstg Blok.. - 4 3y 6 3-6y 3-3 y -. - 3y 4 - y 9 - y -93. y 0,,y Sämtlihe Lösungsmethoden liefern hier whre Aussgen. Z. Bsp. «0 0».
MehrMinimalautomat. Wir stellen uns die Frage nach dem. kleinsten DFA für eine reguläre Sprache L, d.h. nach einem DFA mit möglichst wenigen Zuständen.
Rechtslinere Sprchen Minimlutomt Es git lso sehr verschiedene endliche Beschreiungen einer regulären Sprche (DFA, NFA, rechtslinere Grmmtiken, reguläre Ausdrücke). Diese können ineinnder üersetzt werden.
MehrRelationen: Äquivalenzrelationen, Ordnungsrelationen
TH Mittelhessen, Sommersemester 202 Lösungen zu Üungsltt 9 Fchereich MNI, Diskrete Mthemtik 2. Juni 202 Prof. Dr. Hns-Rudolf Metz Reltionen: Äquivlenzreltionen, Ordnungsreltionen Aufge. Welche der folgenden
Mehrsolche mit Textzeichen (z.b. A, a, B, b,!) solche mit binären Zeichen (0, 1)
teilung Informtik, Fh Progrmmieren 1 Einführung Dten liegen oft ls niht einfh serier- und identifizierre Dtensätze vor. Stttdessen reräsentieren sie lnge Zeihenketten, z.b. Text-, Bild-, Tondten. Mn untersheidet
MehrWas nicht bewertet werden soll, streichen Sie bitte durch. Werden Täuschungsversuche beobachtet, so wird die Präsenzübung mit 0 Punkten bewertet.
Prof Dr Dr hc W Thoms Formle Systeme, Automten, Prozesse SS 2011 Musterlösung - Präsenzüung Dniel Neider, Crsten Otto Vornme: Nchnme: Mtrikelnummer: Studiengng (itte nkreuzen): Informtik Bchelor Informtik
MehrName... Matrikel-Nr... Studiengang...
Proeklusur zum ersten Teil der Vorlesung Berechenrkeitstheorie WS 2015/16 30. Novemer 2015 Dr. Frnzisk Jhnke, Dr. Dniel Plcín Bereitungszeit: 80 Minuten Nme... Mtrikel-Nr.... Studiengng... 1. So oder so
MehrPrüfungsteil Schriftliche Kommunikation (SK)
SK Üerlik und Anforderungen Üerlik und Anforderungen Prüfungsteil Shriftlihe Kommuniktion (SK) Üerlik und Anforderungen Worum geht es? In diesem Prüfungsteil sollst du einen Beitrg zu einem estimmten Them
MehrDie Satzgruppe des Pythagoras
7 Die Stzgruppe des Pythgors In Klssenstufe 7 hen wir uns ei den Inhlten zur Geometrie insesondere mit Dreieken und ihren Eigenshften eshäftigt. In diesem Kpitel wirst du erkennen, dss es ei rehtwinkligen
Mehr2.6 Reduktion endlicher Automaten
Endliche Automten Jörg Roth 153 2.6 Reduktion endlicher Automten Motivtion: Wir sind n Automten interessiert, die mit möglichst wenigen Zuständen uskommen. Automten, die eine Sprche mit einem Minimum n
MehrUmstellen von Formeln und Gleichungen
Umstellen von Formeln und Gleihungen. Ds Zusmmenfssen von Termen edeutet grundsätzlih ein Ausklmmern, uh wenn mn den Zwishenshritt niht immer ufshreit. 4 6 = (4 6) =. Steht eine Vrile, nh der ufgelöst
MehrMathematische Probleme, SS 2018 Dienstag 5.6. $Id: dreieck.tex,v /06/05 15:41:51 hk Exp $ 2.1 Dreiecksberechnung mit Seiten und Winkeln
Mthemtishe Proleme, SS 2018 Dienstg 5.6 $Id: dreiek.tex,v 1.43 2018/06/05 15:41:51 hk Exp $ 2 Dreieke 2.1 Dreiekserehnung mit Seiten und Winkeln Am Ende der letzten Sitzung htten wir den sogennnten Kongruenzstz
Mehr5.2 Quadratische Gleichungen
Mthemtik mit Mthd MK..0 0_0_Qud_Gleih.xmd Einfhe qudrtishe Gleihungen. Qudrtishe Gleihungen ef.: Eine Gleihung, in der x höhstens qudrtish (in der zweiten Potenz) vorkommt, heißt qudrtishe Gleihung. Gewöhnlihe
MehrRWTH Aachen Lehrgebiet Theoretische Informatik Rossmanith Dreier Hark Kuinke. SS 2017 Blatt
RWTH Achen Lehrgeiet Theoretische Informtik Rossmnith Dreier Hrk Kuinke SS 2017 Bltt 4 22.5.2017 Lösungsvorschlg zur Vorlesung Formle Sprchen, Automten und Prozesse Aufge T11 1. L, d L, er / L. L, d für
Mehr4. Lineare Gleichungen mit einer Variablen
4. Linere Gleichungen mit einer Vrilen 4. Einleitung Werden zwei Terme einnder gleichgesetzt, sprechen wir von einer Gleichung. Enthlten eide Terme nur Zhlen, so entsteht eine Aussge, die whr oder flsch
MehrMathematische Probleme, SS 2015 Montag $Id: dreieck.tex,v /04/20 08:57:49 hk Exp $ 1.4 Dreiecksberechnung mit Seiten und Winkeln
Mthemtishe Proleme, SS 2015 Montg 20.4 $Id: dreiek.tex,v 1.15 2015/04/20 08:57:49 hk Exp $ 1 Dreieke 1.4 Dreiekserehnung mit Seiten und Winkeln In der letzten Sitzung htten wir egonnen die vershiedenen
MehrÜbungsblatt Nr. 2. Lösungsvorschlag
Institut für Kryptogrphie und Siherheit Prof. Dr. Jörn Müller-Qude Dirk Ahenh Tois Nilges Vorlesung Theoretishe Grundlgen der Informtik Üungsltt Nr. 2 svorshlg Aufge 1: Doktor Met in Gefhr (K) (4 Punkte)
MehrMinimierung von DFAs. Minimierung 21 / 98
Minimierung von DFAs Minimierung 21 / 98 Ein Beispiel: Die reguläre Sprche L({, } ) Wie stellt mn fest, o ein Wort ds Suffix esitzt? Ein erster Anstz: Speichere im ktuellen Zustnd die eiden zuletzt gelesenen
MehrHA-Lösung TA-Lösung Diskrete Strukturen Tutoraufgabenblatt 2. Besprechung in KW44
Technische Universität München Winter 08/9 Prof. J. Esprz / Dr. M. Luttenerger, C. Welzel 08//0 HA- TA- Diskrete Strukturen Tutorufgenltt Besprechung in KW Bechten Sie: Soweit nicht explizit ngegeen, sind
MehrAutomaten und formale Sprachen Notizen zu den Folien
3 Endliche Automten Automten und formle Sprchen Notizen zu den Folien Üerführungsfunction eines DFA (Folie 92) Wie sieht die Üerführungfunktion us? δ : Z Σ Z Ds heißt: Ein Pr us Zustnd und Alphetsymol
MehrAutomaten und formale Sprachen Notizen zu den Folien
5 Ds Pumping Lemm Schufchprinzip (Folie 144) Automten und formle Sprchen Notizen zu den Folien Im Block Ds Schufchprinzip für endliche Automten steht m n (sttt m > n), weil die Länge eines Pfdes die Anzhl
MehrLösungsvorschlag zur Klausur. Compilerbau vom 29. September Aufgabe 1 ( ) Prof. Dr. Michael Jäger. Punkte von 12
Prof. Dr. Mihel Jäger FB MNI Lösungsvorshlg zur Klusur ompileru vom 29. eptemer 2014 ufge 1 (3+3+3+3) Punkte von 12 ) Ws versteht mn im ompileru unter einem Prser? Eine ompilerkomponente, die für die yntxnlyse
MehrName... Matrikel Nr... Studiengang...
Proeklusur zur Vorlesung Berechenrkeitstheorie WS 201/1 1. Jnur 201 Prof. Dr. André Schulz Bereitungszeit: 120 Minuten [So oder so ähnlich wird ds Deckltt der Klusur ussehen.] Nme... Mtrikel Nr.... Studiengng...
MehrHausaufgabe 2 (Induktionsbeweis):
Prof. Dr. J. Giesl Formle Sprhen, Automten, Prozesse SS 2010 Üung 3 (Age is 12.05.2010) M. Brokshmidt, F. Emmes, C. Fuhs, C. Otto, T. Ströder Hinweise: Die Husufgen sollen in Gruppen von je 2 Studierenden
MehrWir haben ein Koordinatensystem mit der x-achse und der y-achse. Nun wird ein Kreis gebildet mit dem Radius r=1.
Trigonometrie In diesem Themenereih wenden wir uns den Winkeln im rehtekigen Dreiek zu. Du hst uf deinem Tshenrehner siher shon die Tsten sin, os und tn gesehen. Doh ws edeuten sie? Ds wollen wir herusfinden.
MehrMinimalität des Myhill-Nerode Automaten
inimlität des yhill-nerode Automten Wir wollen zeigen, dss der im Beweis zum yhill-nerode Stz konstruierte DEA für die reguläre Sprche L immer der DEA mit den wenigsten Zuständen für L ist. Sei 0 der konstruierte
MehrEinführung in die Mathematik des Operations Research
Universität zu Köln Mthemtisches Institut Prof. Dr. F. Vllentin Dr. A. Gundert Einführung in die Mthemtik des Opertions Reserch Aufge (5+5= Punkte) Sommersemester 4 Lösungen zur Klusur (5. Septemer 4).
MehrAutomaten und formale Sprachen Notizen zu den Folien
3 Endliche Automten Automten und formle Sprchen Notizen zu den Folien Üerführungsfunktion eines NFA (Folien 107 und 108) Wie sieht die Üerführungsfunktion us? δ : Z Σ P(Z) Ds heißt, jedem Pr us Zustnd
MehrSymmetrien und Winkel
5-04 1 10 mthuh 1 LU reitsheft + weitere ufgen «Grundnforderungen» Symmetrien 301 Zeihne Grossuhsten des lphets, sortiert nh vier Typen: hsensymmetrish punktsymmetrish hsen- und punktsymmetrish weder hsen-
MehrGleichung: 11 + x = 35 Welcher Zahlenwert steckt hinter der Variablen x?
Rettungsring Vrilen & Gleihungen gnz klr: Mthemtik - Ds Ferienheft mit Erfolgsnzeiger Vrilen & Gleihungen Vrilen (,, ) werden uh Uneknnte oder Pltzhlter gennnt. Sie smolisieren einen estimmten Zhlenwert
MehrAufgaben Mikroökonomie (mit Lösungen) 3 Wahl des Konsumenten
Aufgen Mikroökonomie (mit Lösungen) 3 Whl des Konsumenten Budgetgerde Ein Konsument verfügt üer ein Einkommen von 300, ds er gnz für den Kuf des Gutes A und/oder B usgit. Eine Einheit A kostet 3 und eine
MehrObjektorientierte Programmierung. Objektorientierte Programmierung. Objektorientierte Programmierung. Objektorientierte Programmierung
Ojektorientierte Progrmmierung Bis jetzt kennen wir (fst) nur primitive Dtentypen. Ojektorientierte Progrmmierung Angenommen wir möchten eine Adressverwltung schreien. Dzu müßten wir zunächst eine Adresse
Mehrx a 2 (b 2 c 2 ) (a + b 4 + a + weil Klammern nicht geschlossen oder Operationszeichen keine Terme verbinden.
Termnlyse Mthemtik. Klsse Ivo Blöhliger Terme Ein wihtiger Teil es mthemtishen Hnwerks esteht rin, Terme umzuformen. Dzu müssen einerseits ie Rehengesetze er reellen Zhlen verinnerliht sein, un nererseits
MehrWintersemester 2016/2017 Scheinklausur Formale Sprachen und Automatentheorie
Wintersemester 2016/2017 Scheinklusur Formle Sprchen und Automtentheorie 21.12.2016 Üungsgruppe, Tutor: Anzhl Zustzlätter: Zugelssene Hilfsmittel: Keine. Bereitungszeit: 60 Minuten Hinweise: Lesen Sie
MehrKlausur zur Vorlesung Grundbegriffe der Informatik 10. März 2009 mit Lösungsvorschlägen
Klusur zur Vorlesung Grundegriffe der Informtik 10. März 2009 mit Lösungsvorschlägen Klusurnummer Nme: Vornme: Mtr.-Nr.: Aufge 1 2 3 4 5 6 7 mx. Punkte 4 2 7 8 8 8 9 tts. Punkte Gesmtpunktzhl: Note: Aufge
MehrSeminarstunden S-Std. (45 min) Nr. Modul Theorie Übungen. 13 Bruchrechnung 1 5
Mthemtik Grundlgen Mthemtik Grundlgen für Industriemeister Seminrstunden S-Std. ( min) Nr. Modul Theorie Üungen Inhlt.... Allgemeines..... Ehte Brühe..... Unehte Brühe.... Erweitern und Kürzen von Brühen....
MehrSpiele und logische Komplexitätsklassen
Spiele und logische Komplexitätsklssen Mrtin Horsch 26. Jnur 2006 Inhlt des Seminrvortrges Ehrenfeucht-Frïssé-Spiel mit k Mrken Formeln mit k Vrilen und logische Komplexitätsklssen k-vrileneigenschft logischer
MehrAutomaten, Spiele, und Logik
Automten, Spiele, und Logik Wohe 7 19. Mi 2014 Inhlt der heutigen Vorlesung Alternierende Automten Definition Verindung zu regulären Sprhen Komplementtion Engel und Teufel Ws ist eine nihtdeterministishe
Mehr29 Uneigentliche Riemann-Integrale
29 Uneigentlihe Riemnn-Integrle 29.2 Uneigentlihe Riemnn-Integrle bei einer kritishen Integrtionsgrenze 29.3 Zusmmenhng des uneigentlihen mit dem eigentlihen Riemnn-Integrl 29.5 Cuhy-Kriterium für uneigentlihe
MehrUmwandlung von endlichen Automaten in reguläre Ausdrücke
Umwndlung von endlichen Automten in reguläre Ausdrücke Wir werden sehen, wie mn us einem endlichen Automten M einen regulären Ausdruck γ konstruieren knn, der genu die von M kzeptierte Sprche erzeugt.
Mehr1 GeschäftsdiaGramme. Abbildung 1.1: Übersicht zu unterschiedlichen Grafi ktypen. 2.1.4 Unify objects: graphs e.g. org graphs, networks, and maps
1 GeshäftsdiGrmme Wenn mn eine deutshe Üersetzung des Begriffes usiness hrts suht, so ist mn mit dem Wort Geshäftsdigrmme gnz gut edient. Wir verstehen unter einem Geshäftsdigrmm die Visulisierung von
Mehr6. Übungsblatt. (i) Von welchem Typ ist die Grammatik G? Begründen Sie Ihre Antwort kurz.
Vorlesung Theoretische Informtik Sommersemester 2015 Prof. S. Lnge 6. Üungsltt 1. Aufge Es sei die folgende Grmmtik G = [Σ, V, S, R] gegeen. Dei seien Σ = {, } und V = {S, B}, woei S ds Strtsymol ist.
MehrEinführung in die Theoretische Informatik I/ Grundlagen der Theoretischen Informatik. SS 2007 Jun.-Prof. Dr. Bernhard Beckert Ulrich Koch.
Einführung in die Theoretishe Informtik I/ Grundlgen der Theoretishen Informtik SS 2007 Jun.-Prof. Dr. Bernhrd Bekert Ulrih Koh Nhklusur 25. 09. 2007 Persönlihe Dten itte gut leserlih usfüllen! Vornme:...
MehrUnterrichtsmaterialien in digitaler und in gedruckter Form. Auszug aus: Kohls Mathe-Tandem Geometrie - Partnerrechnen im
Unterrihtsmterilien in digitler und in gedrukter Form uszug us: Kohls Mthe-Tndem Geometrie - Prtnerrehnen im 9.-10. Shuljhr Ds komplette Mteril finden Sie hier: Shool-Sout.de Mthe-Tndem Geometrie für ds
MehrGeometrische Figuren und Körper
STNRUFGEN Geometrishe Figuren und Körper Geometrishe Figuren und Körper Welhe Shreiweisen geen den Winkel β des neenstehenden reieks PQR rihtig wieder? β = Qrp β = rp β = PQR R β = QRP β = pq q p P r Q
MehrGliederung. Kapitel 1: Endliche Automaten
Gliederung 0. Motivtion und Einordnung 1. Endliche Automten 2. Formle Sprchen 3. Berechnungstheorie 4. Komplexitätstheorie 1.1. 1.2. Minimierungslgorithmus 1.3. Grenzen endlicher Automten 1/1, S. 1 2017
Mehra q 0 q 1 a M q 1 q 3 q 2
Prof Dr J Giesl Formle Systeme, Automten, Prozesse SS 2010 Musterlösung - Üung 4 M Brockschmidt, F Emmes, C Fuhs, C Otto, T Ströder Hinweise: Die Husufgen sollen in Gruppen von je 2 Studierenden us dem
Mehr1. Voraussetzung. 2. Erstmalig anmelden Login beantragen. Online Fahrzeug-Registrierung. Anleitung
Anleitung Online Fhrzeug-Registrierung 1. Vorussetzung Ihr Unternehmen muss ereits ei Toll Collet ls Kunde registriert sein. Den Antrg finden Sie unter www.toll-ollet.de/registrierung 2. Erstmlig nmelden
MehrMathematik: Mag. Schmid Wolfgang Arbeitsblatt Semester ARBEITSBLATT 15 ORTHOGONALITÄT
Mthemtik: Mg. Schmid Wolfgng Areitsltt 5. Semester ARBEITSBLATT 5 ORTHOGONALITÄT Ws versteht mn zunächst einml unter orthogonl? Dies ist nur ein nderes Wort für norml oder im rechten Winkel. Ws uns hier
MehrMathematik Trigonometrie Einführung
Mthemtik Trigonometrie Einführung Ws edeutet ds Wort Trigonometrie und mit ws eshäftigt sih die Trigonometrie? Eine kleine Wortkunde: tri edeutet 'drei' Beispiel: Trithlon,... gon edeutet 'Winkel'/'Ek'
MehrAutomaten und formale Sprachen Notizen zu den Folien
3 Endliche Automten Automten und formle Sprchen Notizen zu den Folien DFA Reguläre Grmmtik (Folie 89) Stz. Jede von einem endlichen Automten kzeptierte Sprche ist regulär. Beweis. Nch Definition, ist eine
MehrCheckliste Sinus, Kosinus, Tangens
Chekliste Sinus, Kosinus, Tngens Nr. K 1 K K 3 K 4 K 5 K 6 K 7 K 8 Kompetenz Ih knn... in einem rehtwinkligen Dreiek Kthete, Gegenkthete und Hypotenuse estimmen in einem rehtwinkligen Dreiek die Seitenverhältnisse
MehrMathematik für Studierende der Biologie und des Lehramtes Chemie
Verfhren Mthemtik für Studierende der Biologie und des Lehrmtes Chemie Dominik Shillo Universität des Srlndes 6. Vorlesung, 4..7 (Stnd: 4..7, 4:5 Uhr) Shreibe,,n.......... n, n,n Führe den Guÿlgorithmus
MehrLesen. Fit in Deutsch.2. circa 30 Minuten. Dieser Test hat drei Teile. In diesem Prüfungsteil findest du Anzeigen, Briefe und Artikel aus der Zeitung.
Fit in Deutsh.2 Üungsstz 01 Kndidtenlätter ir 30 Minuten Dieser Test ht drei Teile. In diesem Prüfungsteil findest du Anzeigen, Briefe und Artikel us der Zeitung. Zu jedem Text git es Aufgen. Shreie m
MehrAutomaten und formale Sprachen Notizen zu den Folien
Automten un formle Sprhen Notizen zu en Folien 1 Grunlgen un formle Beweise Venn-Digrmme (Folie 6) Im oeren Digrmm er Folie 6 sin zwei Mengen ngegeen: A un B. Es ist explizit ein Element von A ngegeen,
MehrEinführung in die theoretische Informatik Sommersemester 2017 Übungsblatt Lösungsskizze 5
Prof. J. Esprz Tehnishe Universität Münhen S. Sikert, J. Krämer KEINE ABGABE Einführung in die theoretishe Informtik Sommersemester 07 Üungsltt 5 Üungsltt Wir untersheiden zwishen Üungs- und Agelättern.
MehrKandidatenblätter. Hören 40 Minuten
Kndidtenlätter Hören 40 Minuten Ds Modul Hören esteht us vier Teilen. Sie hören mehrere Texte und lösen Aufgen dzu. Lesen Sie jeweils zuerst die Aufgen und hören Sie dnn den Text dzu. Für jede Aufge git
Mehr7.4. Teilverhältnisse
7... erehnung von Teilverhältnissen ufgen zu Teilverhältnissen Nr. 7.. Teilverhältnisse Die Shwerpunkte von Figuren und Körpern lssen sih mit Hilfe von Teilverhältnissen usdrüken und erehnen. Definition
MehrWarum Bäume? Teil 1: Suchen. Bäume: Begriffe und Eigenschaften (2) Bäume: Begriffe und Eigenschaften (1)
Wrum Bäume? Teil : Suhen Prolemstellung Elementre Suhverfhren Hshverfhren Binäre Suhäume (Wiederholung us Prog ) Bäume: Begriffe, Eigenshften und Trversierung Binäre Suhäume Gefädelte Suhäume Ausgeglihene
MehrDie Näherung ist umso genauer, je kleiner die Zellen sind. Der Grenzwert ist
Höhere Mthemtik Mehrfhintegrle sind Integrle üer eiete R n Zweifhintegrle treten B ei der Berehnung des Fläheninhltes und von Flähenträgheitsmomenten uf Dreifhintegrle kommen ei der Berehnung des Volumeninhltes
MehrBeispiellösungen zu Blatt 24
µthemtischer κorrespondenz- zirkel Mthemtisches Institut Georg-August-Universität Göttingen Aufge Beispiellösungen zu Bltt Mn eweise, dss mn ein Qudrt für jede Zhl n 6 in genu n kleinere Qudrte zerlegen
MehrModul 3: Schaltnetze. Informatik I. Modul 3: Schaltnetze. Schaltnetze. Formale Grundlagen. Huntingtonsche Axiome.
Herstsemester 2, Institut für Informtik IFI, UZH, Schweiz Modul 3: Schltnetze Informtik I Modul 3: Schltnetze Einführung in die formlen Grundlgen logischer Beschreiungen Boolesche Alger, Schltlger Vorussetzende
MehrDurch die Umformung ergibt sich eine Schaltfunktion mit einer minimalen Anzahl von Verknüpfungsoperationen, nämlich 2.
2 Die shltlgerishe Umformung von Shltfunktionen in Normlform soll m Beispiel er Umformung einer Mxterm-Normlform in eine Minterm-Normlform gezeigt weren. Beispiel: y = ) ( ) ( ) ( Es ietet sih ie Anwenung
Mehr5.6 Gleichsetzungsverfahren
.6 Gleihsetzungsverfhren Verfhren: Beide Gleihungen des Gleihungssystems werden nh derselen Vrilen ufgelöst und die entsprehenden Terme werden einnder gleihgesetzt. Beispiele (G x ) ) () x + y () x - y
MehrVerknüpfen von Konten
Verknüpfen von Konten In diesem Leitfden wird erläutert, wie Sie Ihre Morgn Stnley-Konten verknüpfen können, dmit Sie sih nur einml nmelden müssen, um online uf Ihre Aktien und Ihr Brgeld zuzugreifen.
MehrLösung zur Klausur. Grundlagen der Theoretischen Informatik. 1. Zeigen Sie, dass die folgende Sprache regulär ist: w {a, b} w a w b 0 (mod 3) }.
Lösung zur Klusur Grundlgen der Theoretischen Informtik 1. Zeigen Sie, dss die folgende Sprche regulär ist: { w {, } w w 0 (mod 3) }. Lösung: Wir nennen die Sprche L. Eine Sprche ist genu dnn regulär,
MehrDownload VORSCHAU. Trigonometrie an Stationen. Übungsmaterial zu den Bildungsstandards. Marco Bettner, Erik Dinges.
Downlod Mro Bettner, Erik Dinges Trigonometrie n Sttionen Üungsmteril zu den Bildungsstndrds Downloduszug us dem Originltitel: Trigonometrie n Sttionen Üungsmteril zu den Bildungsstndrds Dieser Downlod
MehrProgrammieren in C/C++ und MATLAB. Programmieren in C/C++ und MATLAB. Sebastian Bauer Sven Willert Sabine Schmidt
Progrmmieren in C/C und MATLAB Sestin Buer Sven Willert Sine Schmidt Institut für Geowissenschften Christin-Alrechts-Universität zu Kiel Sestin Buer Institut für Geowissenschften Progrmmieren in C/C und
Mehr01 Proportion Verhältnis Maßstab
5 Ähnlihkeit und Strhlensätze LS 01.M1 01 Proportion Verhältnis Mßst 1 Lies die folgende Informtion sorgfältig. Mrkiere wihtige egriffe und Formeln. ) Proportionle Zuordnung ei einer proportionlen Zuordnung
Mehra) Behauptung: Es gibt die folgenden drei stabilen Matchings:
Musterlösung - ufgenltt 1 ufge 1 ) ehuptung: Es git ie folgenen rei stilen Mthings: ies knn mn ntürlih für ein so kleines eispiel urh etrhten ller möglihen 3! = 6 Mthings eweisen. Mn knn er uh strukturierter
MehrGrundlagen der Informatik
Grundlgen der Informtik Vorlesungsprüfung vom 02.03.2007 Gruppe B Lösung Nme: Mtrikelnummer: Zuerst itte Nme und Mtrikelnummer uf ds Titelltt schreien. Es sind keine Unterlgen und keine Temreit erlut.
MehrNeu gesetzt für neue Leser Hinweise für Lehrkräfte und Eltern
Neu gesetzt für neue Leser Hinweise für Lehrkräfte und Eltern Die spnnende Geshihte von Pul Mr ist für fortgeshrittene Lesenfänger mit vielen Illustrtionen, Lesehilfen und großer Fielshrift esonders motivierend
Mehr18. Algorithmus der Woche Der Euklidische Algorithmus
18. Algorithmus der Woche Der Euklidische Algorithmus Autor Friedrich Eisenrnd, Universität Dortmund Heute ehndeln wir den ältesten ereits us Aufzeichnungen us der Antike eknnten Algorithmus. Er wurde
MehrÄnderungen in Zweitauflagen von Buch, Arbeits- und Theorieheft und Begleitordner
Änderungen in Zweituflgen von uh, reits- und Theorieheft und egleitordner lle uflgen des Shüleruhes, des reits- und Theorieheftes und des egleitordners lssen sih prolemlos neeneinnder verwenden. Shüleruh
MehrDownload. Trigonometrie an Stationen. Übungsmaterial zu den Bildungsstandards. Marco Bettner, Erik Dinges. Downloadauszug aus dem Originaltitel:
Downlod Mro Bettner, Erik Dinges Trigonometrie n Sttionen Üungsmteril zu den Bildungsstndrds Downloduszug us dem Originltitel: Trigonometrie n Sttionen Üungsmteril zu den Bildungsstndrds Dieser Downlod
MehrÜbungssatz 01 FIT IN DEUTSCH 1. Kandidatenblätter/Prüferblätter ISBN: FIT1_ÜS01_Kandidaten-/Prueferblaetter_Oktober_2005
FIT IN DEUTSCH 1 Üungsstz 01 Kndidtenlätter/Prüferlätter KASTNER AG ds medienhus FIT1_ÜS01_Kndidten-/Prueferletter_Oktoer_2005 ISBN: 3-938744-76-6 Fit in Deutsh.1 Üungsstz 01 Teil 1 Du hörst drei Nhrihten
MehrLösungen zum Ergänzungsblatt 4
en zum Ergänzungsltt 4 Letzte Änderung: 23. Novemer 2018 Theoretische Informtik I WS 2018 Crlos Cmino Vorereitungsufgen Vorereitungsufge 1 Sei M = ({p, q, r}, {, }, δ, p, {q, r}) ein DEA mit folgender
MehrAllgemeines. Mail an muenster.de. Motivation für die Veranstaltung Übung zur Markt und Preistheorie
Allgemeines Nme: Emil: Stefn Shrmm stefn.shrmm@wiwi.uni muenster.de Motivtion für die Vernstltung Üung zur Mrkt und Preistheorie Inhlt der Klusur Vorlesung Skrit und Üung Sehr gut vorzuereiten! Tis zur
Mehrping karlsruhe Mining Software Call Graphs Frank Eichinger
ping krlsruhe Motivtion Softwre Mining Cll-Grphen Grph Mining Trnsformtionen Auslik Mining Softwre Cll Grphs Frnk Eihinger Lehrstuhl Prof. Böhm Institut für Progrmmstrukturen und Dtenorgnistion (IPD) Universität
MehrKapitel 6 E-Mails schreiben und organisieren
Kpitel 6 E-Mils shreien und orgnisieren Die Kommuniktion vi E-Mil ist heute essenziell. Und Ihr M ist estens gerüstet für den Empfng, ds Verfssen und die Orgnistion von E-Mils. Wie Sie effektiv mit dem
Mehr