TU Wien:Formale Modellierung VU (Salzer)/Lösungen alte Tests: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K (→2012-05-23) |
K (→2012-06-13) |
||
Zeile 31: | Zeile 31: | ||
==[http://www.logic.at/lvas/fmod/angaben/fmod124.pdf 2012-06-13]== | ==[http://www.logic.at/lvas/fmod/angaben/fmod124.pdf 2012-06-13]== | ||
*'''Aufgabe 1:''' Spiegelsprache von Automaten | *'''Aufgabe 1:''' Spiegelsprache von Automaten | ||
− | *'''Aufgabe 2:''' Moore/Mealy-Automat modellieren | + | *'''Aufgabe 2:''' Moore/Mealy-Automat modellieren (Mikrowelle) |
*'''Aufgabe 3:''' EBNF für Modula | *'''Aufgabe 3:''' EBNF für Modula | ||
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 11]]) | *'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 11]]) |
Version vom 17. Juni 2019, 07:40 Uhr
Link zu offiziellen alten Prüfungsangaben
Inhaltsverzeichnis
- 1 2011-12-21
- 2 2012-01-17
- 3 2012-03-14
- 4 2012-05-23
- 5 2012-06-13
- 6 2012-09-17
- 7 2012-10-29
- 8 2013-01-28
- 9 2013-02-19
- 10 2013-04-22
- 11 2013-06-24
- 12 2013-09-18
- 13 2014-01-28
- 14 2014-02-18
- 15 2014-06-30
- 16 2014-09-17
- 17 2014-12-16
- 18 2015-01-12
- 19 2015-05-27
- 20 2015-09-08
- 21 2015-12-15
- 22 2016-01-20
- 23 2016-05-24
- 24 2016-09-06
- 25 2016-12-19
- 26 2017-01-16
- 27 2017-05-31
- 28 2017-09-05
- 29 2018-01-26
- 30 2018-02-15
2011-12-21
- Aufgabe 1: Regex
(ab)+?[ac]*
zu algebraischer Notation und endlichem Automaten mit max. drei ε-Übergängen - Aufgabe 2: Mealy-Automat für eine Glättung von Bitfolgen
- Aufgabe 3: EBNF für HTML
- Aufgabe 4: Aussagenlogik
- Aufgabe 5: Prädikatenlogik
2012-01-17
- Aufgabe 1: Endlicher Automat zu Regex
- Aufgabe 2: Endlichen Automat modellieren
- Aufgabe 3: EBNF für Modula
- Aufgabe 4: Aussagenlogik
- Aufgabe 5: Prädikatenlogik
2012-03-14
- Aufgabe 1: Petri-Netz
- Aufgabe 2: Endlichen Automat modellieren
- Aufgabe 3: EBNF für Datalog (WS2012 - Übung 2 - Aufgabe 12)
- Aufgabe 4: Aussagenlogik
- Aufgabe 5: Prädikatenlogik
2012-05-23
- Aufgabe 1: Regex
[bc]*(ba)+?
zu algebraischer Notation und endlichem Automaten mit max. drei ε-Übergängen - Aufgabe 2: Endlichen Automat modellieren (Aufzugssteuerung)
- Aufgabe 3: EBNF für Regex
- Aufgabe 4: Aussagenlogik
- Aufgabe 5: Prädikatenlogik
2012-06-13
- Aufgabe 1: Spiegelsprache von Automaten
- Aufgabe 2: Moore/Mealy-Automat modellieren (Mikrowelle)
- Aufgabe 3: EBNF für Modula
- Aufgabe 4: Aussagenlogik (WS2015 - Übung 1 - Aufgabe 11)
- Aufgabe 5: Prädikatenlogik
2012-09-17
- Aufgabe 1: Gültigkeit von Gleichungen für formale Sprachen
- Aufgabe 2: Moore/Mealy-Automat modellieren
- Aufgabe 3: EBNF für LaTeX
- Aufgabe 4: Aussagenlogik
- Aufgabe 5: Prädikatenlogik
2012-10-29
- Aufgabe 1: Petri-Netz
- Aufgabe 2: Moore/Mealy-Automat modellieren (WS2015 - Übung 1 - Aufgabe 15)
- Aufgabe 3: EBNF für Prolog
- Aufgabe 4: Aussagenlogik
- Aufgabe 5: Prädikatenlogik
2013-01-28
- Aufgabe 1: Automaten (WS2015 - Übung 2 - Aufgabe 9)
- Aufgabe 2: Endlichen Automat modellieren: Türme von Hanoi mit zwei Scheiben (SS2013 - Übung 1 - Aufgabe 14)
- Aufgabe 3: EBNF
- Aufgabe 4: Aussagenlogik
- Aufgabe 5: Prädikatenlogik
2013-02-19
- Aufgabe 1: Petri-Netz
- Aufgabe 2: Endlichen Automat modellieren (WS2015 - Übung 1 - Aufgabe 14)
- Aufgabe 3: EBNF
- Aufgabe 4: Aussagenlogik (SS2013 - Übung 1 - Aufgabe 12)
- Aufgabe 5: Prädikatenlogik
2013-04-22
- Aufgabe 1: SAT-Solver (WS2013 - Übung 1 - Aufgabe 11)
- Aufgabe 2: Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
- Aufgabe 3: EBNF für Regex
- Aufgabe 4: Aussagenlogik
- Aufgabe 5: Prädikatenlogik
2013-06-24
- Aufgabe 1: Automaten
- Aufgabe 2: Deterministischen endlichen Automat modellieren (SS2015 - Übung 2 - Aufgabe 3)
- Aufgabe 3: EBNF für Scheme
- Aufgabe 4: Aussagenlogik (WS2013 - Übung 1 - Aufgabe 10)
- Aufgabe 5: Prädikatenlogik (WS2013 - Übung 2 - Aufgabe 14)
2013-09-18
- Aufgabe 1: SAT-Solver (WS2013 - Übung 1 - Aufgabe 11)
- Aufgabe 2: Endlichen Automat modellieren (WS2013 - Übung 1 - Aufgabe 14)
- Aufgabe 3: EBNF für Variablendeklaration in Java
- Aufgabe 4: Aussagenlogik (SS2016 - Übung 1 - Aufgabe 11)
- Aufgabe 5: Prädikatenlogik
2014-01-28
- Aufgabe 1: Endlichen Automat modellieren (Getränkeautomat) (SS2014 - Übung 1 - Aufgabe 14)
- Aufgabe 2: EBNF für Prädikatenlogik
- Aufgabe 3: Aussagenlogik
- Aufgabe 4: Prädikatenlogik (SS2014 - Übung 2 - Aufgabe 13)
- Aufgabe 5: Beispiel "pure Grammatik" (SS2015 - Übung 2 - Aufgabe 10)
2014-02-18
- Aufgabe 1: Endlichen Automat modellieren (Aufzugssteuerung) (SS2014 - Übung 1 - Aufgabe 15)
- Aufgabe 2: kontextfreie Grammatik für Prädikatenlogik (SS2014 - Übung 2 - Aufgabe 11)
- Aufgabe 3: Aussagenlogik (SS2014 - Übung 1 - Aufgabe 11)
- Aufgabe 4: Prädikatenlogik
- Aufgabe 5: SAT-Solver (WS2013 - Übung 1 - Aufgabe 11)
2014-06-30
- Aufgabe 1: Moore-Automat modellieren (Roboter) (WS2014 - Übung 1 - Aufgabe 15)
- Aufgabe 2: EBNF für PDDL (WS2014 - Übung 2 - Aufgabe 9)
- Aufgabe 3: Aussagenlogik (WS2014 - Übung 1 - Aufgabe 11)
- Aufgabe 4: Prädikatenlogik (WS2014 - Übung 2 - Aufgabe 12)
- Aufgabe 5: Formale Sprachen: reguläre Grammatik (WS2014 - Übung 2 - Aufgabe 7)
2014-09-17
- Aufgabe 1: Endlichen Automaten modellieren (Linienhalma) (WS2014- Übung 1 - Aufgabe 14)
- Aufgabe 2: Boolsche Ausdrücke
- Aufgabe 3: Aussagenlogik (WS2015 - Übung 1 - Aufgabe 10)
- Aufgabe 4: Prädikatenlogik
- Aufgabe 5: Petri-Netz
2014-12-16
- Aufgabe 1: Mealy-Automat modellieren (Token-Automat) (SS2015 - Übung 1 - Aufgabe 15)
- Aufgabe 2: EBNF für lineare Programme (SS2015 - Übung 2 - Aufgabe 9)
- Aufgabe 3: Aussagenlogik (SS2015 - Übung 1 - Aufgabe 10)
- Aufgabe 4: Prädikatenlogik (SS2015 - Übung 2 - Aufgabe 12)
- Aufgabe 5: SAT-Solver (SS2015 - Übung 1 - Aufgabe 12)
2015-01-12
- Aufgabe 1: Mealy-Automat modellieren (Fahrkartenautomat)
- Aufgabe 2: Petri-Netz modellieren (SS2015 - Übung 2 - Aufgabe 14)
- Aufgabe 3: Aussagenlogik (SS2015 - Übung 1 - Aufgabe 11)
- Aufgabe 4: Prädikatenlogik
- Aufgabe 5: Spiegelsprache von Automaten (WS2012 - Übung 2 - Aufgabe 7)
2015-05-27
- Aufgabe 1: Endlichen Automaten modellieren (Tresorschloss) (WS2015 - Übung 1 - Aufgabe 14)
- Aufgabe 2: EBNF für Lambdakalkül (WS2015 - Übung 2 - Aufgabe 11)
- Aufgabe 3: Aussagenlogik
- Aufgabe 4: Prädikatenlogik
- Aufgabe 5: Automaten für den Durchschnitt der Sprachen zweier Automaten
2015-09-08
- Aufgabe 1: Mealy-Automaten und Transducer angeben (WS2015 - Übung 2 - Aufgabe 3)
- Aufgabe 2: Petri-Netz (WS2015 - Übung 2 - Aufgabe 15)
- Aufgabe 3: Aussagenlogik
- Aufgabe 4: Prädikatenlogik (WS2015 - Übung 2 - Aufgabe 13)
- Aufgabe 5: Beispiel zu Automaten: geänderte Übergangsrelation und geänderte Endzustandsmenge
2015-12-15
- Aufgabe 1: Mealy-Automat (Roboter) (SS2016 - Übung 1 - Aufgabe 15)
- Aufgabe 2: EBNF für Modula (SS2013 - Übung 2 - Aufgabe 13)
- Aufgabe 3: Aussagenlogik (SS2013 - Übung 1 - Aufgabe 12)
- Aufgabe 4: Prädikatenlogik
- Aufgabe 5: Boolschen Algebra
2016-01-20
- Aufgabe 1: Moore/Mealy-Automat (SS2016 - Übung 2 - Aufgabe 3)
- Aufgabe 2: Petri-Netz angeben (WS2013 - Übung 2 - Aufgabe 16)
- Aufgabe 3: kontextfreie Grammatik für Prädikatenlogik (SS2014 - Übung 2 - Aufgabe 11)
- Aufgabe 4: Aussagenlogik (SS2016 - Übung 1 - Aufgabe 11)
- Aufgabe 5: Prädikatenlogik (WS2013 - Übung 2 - Aufgabe 14)
2016-05-24
- Aufgabe 1: Petri-Netz angeben (Ampeln) (WS2016 - Übung 2 - Aufgabe 14)
- Aufgabe 2: EBNF für Datalog (WS2012 - Übung 2 - Aufgabe 12)
- Aufgabe 3: Aussagenlogik (WS2016 - Übung 1 - Aufgabe 10)
- Aufgabe 4: Prädikatenlogik
- Aufgabe 5: reguläre Grammatik (WS2014 - Übung 2 - Aufgabe 7)
2016-09-06
- Aufgabe 1: Petri-Netz angeben (WS2016 - Übung 2 - Aufgabe 13)
- Aufgabe 2: Aussagenlogik (WS2016 - Übung 1 - Aufgabe 11)
- Aufgabe 3: Prädikatenlogik (WS2016 - Übung 2 - Aufgabe 11)
- Aufgabe 4: kontextfreie Grammatik für prädikatenlogische Formeln über gegebener Symbolmenge (WS2016 - Übung 2 - Aufgabe 10)
- Aufgabe 5: SAT-Solver (WS2015 - Übung 1 - Aufgabe 12)
- oder (Bsp5): (WS2016 - Übung 1 - Aufgabe 12)
2016-12-19
- Aufgabe 1: endlichen Automaten angeben (SS2017 - Übung 1 - Aufgabe 14)
- Aufgabe 2: Aussagenlogik
- Aufgabe 3: Prädikatenlogik
- Aufgabe 4: EBNF für TikZ-Baumdiagramme
- Aufgabe 5: Spezialfall kontextfreie Grammatik "Automatengrammatik"
2017-01-16
- Aufgabe 1: Petri-Netz angeben
- Aufgabe 2: Aussagenlogik
- Aufgabe 3: Prädikatenlogik
- Aufgabe 4: EBNF zu C++ if-Abfragen (SS2018 - Übung 3 - Aufgabe 4)
- Aufgabe 5: Boolschen Algebra
2017-05-31
- Aufgabe 1: endlichen Automat angeben (Pacman) (WS2017 - Übung 2 - Aufgabe 4)
- Aufgabe 2: Aussagenlogik
- Aufgabe 3: Prädikatenlogik (WS2017 - Übung 3 - Aufgabe 6)
- Aufgabe 4: EBNF für Dot
- Aufgabe 5: Beispiel zu formalen Sprachen: monotone Grammatik (WS2017 - Übung 3 - Aufgabe 4)
2017-09-05
- Aufgabe 1: Petri-Netz angeben (WS2017 - Übung 3 - Aufgabe 8)
- Aufgabe 2: Aussagenlogik (WS2017 - Übung 1 - Aufgabe 10)
- Aufgabe 3: Prädikatenlogik
- Aufgabe 4: EBNF für LaTeX
\frac
(WS2017 - Übung 3 - Aufgabe 3) - Aufgabe 5: Beispiel für Aussagenlogik: Resolutionsregel
2018-01-26
- Aufgabe 1: Aussagenlogik
- Aufgabe 2: Prädikatenlogik
- Aufgabe 3: endlichen Automat angeben (Pacman)
- Aufgabe 4: Boolschen Algebra
- Aufgabe 5: Petri-Netz (Ampeln)
2018-02-15
- Aufgabe 1: Aussagenlogik (SS2018 - Übung 1 - Aufgabe 10)
- Aufgabe 2: Prädikatenlogik
- Aufgabe 3: Petri-Netz angeben (SS2018 - Übung 3 - Aufgabe 9)
- Aufgabe 4: Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
- Aufgabe 5: EBNF für Datalog (SS2018 - Übung 3 - Aufgabe 3)