Test Ereignisdiskrete Systeme

Ähnliche Dokumente
Ereignisdiskrete Systeme

c) {abcde, abcfg, bcade, bcafg} d) {ade, afg, bcde, bcfg} c) {abcabc} d) {abcbc, abc, a} c) {aa, ab, ba, bb} d) {{aa}, {ab}, {ba}, {bb}}

Grundlagen der Theoretischen Informatik

2 2 Reguläre Sprachen. 2.2 Endliche Automaten. Übersicht

Algorithmen mit konstantem Platzbedarf: Die Klasse REG

Deterministische endliche Automaten - Wiederholung

Frank Heitmann 2/47. 1 Ein PDA beginnt im Startzustand z 0 und mit im Keller. 2 Ist der Automat

3. Vortrag: Arithmetische Relationen und Gödelisierung

Theoretische Grundlagen der Informatik

1 Einführung. 2 Typ-0- und Typ-1-Sprachen. 3 Berechnungsmodelle. 4 Unentscheidbarkeit. 5 Unentscheidbare Probleme. 6 Komplexitätstheorie

Formale Methoden 1. Gerhard Jäger 9. Januar Uni Bielefeld, WS 2007/2008 1/23

Übung 1 in Ereignisdiskrete Systeme WS 2008/09

Ereignisdiskrete Systeme

1 Σ endliches Terminalalphabet, 2 V endliche Menge von Variablen (mit V Σ = ), 3 P (V (Σ ΣV )) {(S, ε)} endliche Menge von Regeln,

Übungen zu Einführung in die Lineare Algebra und Geometrie

2. Übungsblatt 6.0 VU Theoretische Informatik und Logik

Musterlösung zur Hauptklausur Theoretische Grundlagen der Informatik Wintersemester 2013/14

Kontextfreie Sprachen

Probeklausur Lösungen

Theorie der Informatik

Automaten und Coinduktion

Grundbegriffe der Wahrscheinlichkeitstheorie. Karin Haenelt

Korrelationsmatrix. Statistische Bindungen zwischen den N Zufallsgrößen werden durch die Korrelationsmatrix vollständig beschrieben:

Theoretische Informatik 1

Stochastik I. Vorlesungsmitschrift

Theoretische Grundlagen der Informatik

3 Bedingte Wahrscheinlichkeit, Unabhängigkeit

Universität Augsburg, Institut für Informatik WS 2009/2010 Prof. Dr. W. Kießling 06. Nov Dr. A. Huhn, F. Wenzel, M. Endres Lösungsblatt 2

HM I Tutorium 1. Lucas Kunz. 27. Oktober 2016

3.3. Drehungen und Spiegelungen

3. Relationen Erläuterungen und Schreibweisen

Turing-Maschinen. Definition 1. Eine deterministische Turing-Maschine (kurz DTM) ist ein 6- Dem endlichen Alphabet Σ von Eingabesymbolen.

7. Die Brownsche Bewegung

12 Digitale Logikschaltungen

Automaten und Formale Sprachen ε-automaten und Minimierung

Pfadregel. 400 Kugeln durchlaufen die möglichen Pfade. Das Diagramm zeigt das Ergebnis am Ende der Versuchsdurchführung.

Mengenlehre. Aufgaben mit Lösungen

Kapitel 6 Martingale

PEKATRONIC/XCESS Fensterheber- und Schiebedachmodul Power Window Roll Up/Roll Down Interface

Konstruktion der reellen Zahlen

Musterlösung MafI 1 - Blatt 5

Bachelorprüfung/Diplomvorprüfung Einführung in die Unternehmensführung (BWL 1)

Berechenbarkeit. Script, Kapitel 2

Bipartite Graphen. Beispiele

Kurs über Lineare Gleichungssysteme. PD Dr. Karin Halupczok

Anschluss eines GSM-Alarmsystems an die originale DWA.

STERNBURG BINGO STERNBURG BINGO UND SO FUNKTIONIERT S: MITMACHEN UND TOLLE PREISE GEWINNEN! RAUM FÜR EIGENE BEMERKUNGEN, GRÜSSE ETC.

Kapitel 10. Lineare Abbildungen Definition linearer Abbildungen Eigenschaften und Beispiele Alle linearen Abbildungen R n V Bild von Unterräumen

Wirtschaftswissenschaftliches Prüfungsamt Bachelor-Prüfung Deskriptive Statistik und Wahrscheinlichkeitsrechnung Wintersemester 2012/13

SCHRIFTLICHE ABITURPRÜFUNG Mathematik (Grundkursniveau) Arbeitszeit: 210 Minuten

Einführung in die Theoretische Informatik

Lexikalische Programmanalyse der Scanner

Einige Beispiele zur Turingmaschine

Übungsblatt Nr. 5. Lösungsvorschlag

Einführung in die Theoretische Informatik

DKA und dkfs (mit Übungen)

Übungen zu Einführung in die Lineare Algebra und Geometrie

Mathematik (Schwerpunktfächer: A / B)

Einführung in die Theoretische Informatik

Klausur zur Wahrscheinlichkeitstheorie für Lehramtsstudierende

Station 1: Nomenklatur von Alkanen

Diskrete Wahrscheinlichkeitstheorie - Probeklausur

Wirtschaftswissenschaftliches Prüfungsamt Bachelor-Prüfung Deskriptive Statistik und Wahrscheinlichkeitsrechnung Wintersemester 2010/11.

Zentrale Prüfungen 2009

eduroam-wlan Windows 10 - Anleitung zur manuelle Konfiguration Version 1.0

Funktionen. Packungsinhalt GER

Deterministischer Kellerautomat (DPDA)

Klausur zur Statistischen Physik SS 2013

11 Unabhängige Ereignisse

Einführung in die Informatik

I.2. Endliche Automaten (ohne Ausgabe)

SCHRIFTLICHE ABITURPRÜFUNG 2010 Mathematik (Leistungskursniveau) Arbeitszeit: 300 Minuten

γ(a, γ(b, c)) = γ(γ(a, b), c)). γ(e, x) = γ(x, e) = x.

Erwartungswert, Varianz und Standardabweichung einer Zufallsgröße. Was ist eine Zufallsgröße und was genau deren Verteilung?

Typ-1-Sprachen. Satz 1 (Kuroda ( ) 1964)

Sicherheitssysteme Verkabeltes Alarmsystem. Privat & Small Business

Professur Konstruktionslehre

Statistik Klausur Wintersemester 2012/2013 Hamburg, BITTE LESERLICH IN DRUCKBUCHSTABEN AUSFÜLLEN!

1 Mengen. 1.1 Elementare Definitionen. Einige mathematische Konzepte

Tutorium Mathematik II, M Lösungen

Gymnasium Muttenz Maturitätsprüfung 2016 Mathematik Profile A und B

Hoffmann (HAW Hamburg) Automatentheorie und formale Sprachen

Theoretische Grundlagen der Informatik

Expertenpuzzle Quadratische Funktionen

Topologische Grundbegriffe I. 1 Offene und Abgeschlossene Mengen

1 Mengen. 1.1 Definition

DIE SPRACHE DER WAHRSCHEINLICHKEITEN

Mathematik-Vorkurs für Informatiker (Wintersemester 2012/13) Übungsblatt 8 (Relationen und Funktionen)

Endlicher Automat (EA)

Bäume und Wälder. Seminar: Graphentheorie Sommersemester 2015 Dozent: Dr. Thomas Timmermann

Fünf-Farben-Satz. Seminar aus reiner Mathematik, WS 13/14. Schweighofer Lukas, November Seite 1

Grundbegriffe der Informatik

Grundbegriffe der Wahrscheinlichkeitsrechnung

Grundlagen der Mathematik

Transkript:

Test Ereignisdiskrete Systeme Wintersemester 008/009 Prof. Dr.-Ing. J. Lunze Dipl.-Ing. Y. Nke Dauer: 30 Minuten Name:....................................................................... Matrikel-Nr.:................................................................ Diplomstudiengang Bachelor- bzw. Masterstudiengang (Zutreffendes ankreuzen!) Aufgabe Punktzahl Erreichte Punktzahl 4 0 3 8 4 7 Punkte 9 Übungspunkte Erreichte Punktzahl in %:... (bestanden, wenn mehr als 50 % erreicht, also mindestens 5 Punkte)

Aufgabe Deterministischer Standardautomat 4 Punkte 5 4 3. Geben Sie die Definition eines deterministischen Standardautomaten als Tupel an und benennen Sie die verwendeten Symbole.( Punkt) A = ( ). Geben Sie für den in der obigen Abbildung dargestellten Automaten die Zustandsübergangsfunktion in Matrixdarstellung an. ( Punkt) 3. Existieren für σ = im Automatengrafen stark zusammenhängende Zustände? Falls ja, welche? Falls nicht, begründen Sie ihre Antwort. ( Punkt) 4. Gehört die Folge εεεε zur Sprache des Automaten? Wenn ja, geben Sie die zugehörige Zustandsfolge an. Wenn nein, geben Sie eine Ereignisfolge an, die zur Sprache des Automaten gehört.( Punkt)

Aufgabe Modellierung eines Alarmsystems (9 Punkte) + ö s, x x, s A : auf zu ö Schließzylinder Alarmgeber Abbildung : Beschreibung eines vereinfachtes Alarmsystems Es wird ein vereinfachtes Alarmsystem betrachtet, das aus zwei Komponenten besteht, nämlich einem Sicherheitsschloss und einem Alarmgeber, der ggf. das Alarmhorn laut tönen lässt. Das Sicherheitsschloss bzw. der Schließzylinder der gesicherten Tür lässt sich wie folgt bedienen: Zum Öffnen der Tür ohne den Alarm auszulösen muss der Schlüssel zuerst vertikal eingesteckt werden. Dann muss er um +90 und anschließend um 90 zurückgedreht werden. So steckt der Schlüssel in vertikaler Position und kann herausgezogen werden. Der Alarmgeber ist entschärft. Zum Schließen der Tür und Scharfstellen des Alarmgebers muss der Schlüssel in vertikaler Position eingesteckt werden. Dann muss er zunächst um 90 und anschließend um +90 gedreht werden. Danach kann er herausgezogen werden. Der Alarmgeber ist scharf gestellt. Ein Wiederholen dieses Schließvorgangs löst den Alarm aus. Wird die oben beschriebene Prozedur nicht eingehalten z.b. durch einen falschen Drehwinkel oder das Herausziehen des Schlüssels zum falschen Zeitpunkt bzw. beim falschen Winkel, so wird der Alarm ausgelöst. Außerdem wird bzw. bleibt die Tür automatisch verriegelt. Ist der Alarm einmal ausgelöst worden, so kann er nur durch die beauftragte Sicherheitsfirma ferngesteuert durch ein Ausschaltsignal stillgelegt werden. Der Alarmgeber ist dann entschärft. Dementsprechend lassen sich folgende Ereignisse definieren: Symbol ö s x ru Bedeutung Schlüssel um +90, dann 90 gedreht und anschließend herausgezogen Schlüssel um 90, dann +90 gedreht und anschließend herausgezogen Fehlbedienung Stilllegen des Alarms per Fernsteuerung. Zunächst wird nur der Alarmgeber betrachtet. Tragen Sie in der unteren Tabelle die mögliche Zustände mit deren Bedeutungen ein, so dass das beschriebene Verhalten widergespiegelt wird.( Punkte) Symbol Bedeutung

. Zeichnen Sie den Automatengrafen eines vollständig definierten Standardautomaten A, der das Verhalten des Alarmgebers beschreibt.(3 Punkte) Betrachten Sie den Automaten A für den Schließzylinder in Abb. und den von Ihnen definierten Automaten A für den Alarmgeber. 3. Welche Kompositionsregel eignet sich am besten zur Beschreibung des gekoppeltes Systems Schließzylinder-Alarmgeber? Begründen Sie Ihre Antwort.( Punkt) 4. Geben Sie die Vorschrift zur Bildung der Zustandsübergangsfunktion δ((z, z ), σ) des Kompositionsautomaten für das gesamte System an.( Punkte) 5. Zeichnen Sie den Grafen des Kompositionsautomaten für den Schließzylinder und den Alarmgeber, der sich unter Anwendung der von Ihnen angegebenen Kompositionsregel ergibt. (4 Punkte)

Aufgabe 3 Minimierung deterministischer Standardautomaten 8 Punkte a a b 3 b a 4 c 5 a b 6 a. Unter welcher Bedingung sind zwei Automaten A (Z, Σ, δ, z 0, Z F ) und A (Z, Σ, δ, z 0, Z F ) äquivalent? ( Punkt). Unter welcher Bedingung sind zwei Zustände z und z eines Automaten äquivalent? ( Punkt) 3. Minimieren Sie den in der Abbildung dargestellten Standardautomaten und zeichnen Sie dessen Grafen. (5 Punkte) 4. Analysieren Sie den gegbenen Automatengrafen strukturell und benennen Sie zwei Eigenschaften, die dieser aufweist? ( Punkt)

Falls benötigt:

Aufgabe 4 Markovketten 7 Punkte 0, 0, 0,5 0,7 0,3 0, 0,6 3 0,4. Schreiben Sie die Definition der obigen Markovkette aus. Geben Sie dafür alle zugehörige Elemente des Tupels an.( Punkt) S = ( ). Mit welcher Wahrscheinlichkeit durchläuft der stochastische Automat die Zustandsfolgen Z (0... 4) = (,, 3,, 3) und Z (0... ) = (3,, ).( Punkte) 3. Existiert eine stationäre Zustandswahscheinlichkeit p? Begründen Sie ihre Antwort.( Punkt) 4. Mit welcher Wahrscheinlichkeit befindet sich die Markovkette für k im Zustand? (3 Punkte)