TU Wien:Formale Modellierung VU (Salzer)/Lösungen alte Tests

Link zu offiziellen alten Prüfungsangaben

Nach Themen

Aussagenlogik

• 191 2019S UE1 Aufgabe 10
• 182 2018S UE1 Aufgabe 10
• 173 2017W UE1 Aufgabe 10
• 163 2016W UE1 Aufgabe 11
• 162 2016W UE1 Aufgabe 10

Prädikatenlogik

• 172 2017W UE3 Aufgabe 6
• 163 2016W UE2 Aufgabe 11

Kontextfreie Grammatik

• 191 2019S UE3 Aufgabe 3
• 182 2018S UE3 Aufgabe 3
• 173 2017W UE3 Aufgabe 3
• 171 2018S UE3 Aufgabe 4
• 163 kontextfreie Grammatik für prädikatenlogische Formeln über gegebener Symbolmenge (2016W UE2 Aufgabe 10)
• 162 2012W UE2 Aufgabe 12

Petri-Netze

• 182 Restaurant 2018S UE3 Aufgabe 10
• 181 Ampeln
• 173 Fertigungsstraßen 2017W UE3 Aufgabe 8
• 163 Tankstelle 2016W UE2 Aufgabe 13
• 162 Ampeln 2016W UE2 Aufgabe 14

Automaten und Regex

• 191 Mealy-Automat (Knobelspiel) 2019S UE2 Aufgabe 3
• 191 Endlicher Automat zu Regex
• 182 Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
• 181 endlichen Automat angeben (Pacman)
• 172 endlichen Automat angeben (Pacman) 2017W UE2 Aufgabe 4
• 164 endlichen Automaten angeben (B-Sprache) 2017S UE1 Aufgabe 14

Sonstiges

• 181 Boolschen Algebra
• 173 Beispiel für Aussagenlogik: Resolutionsregel
• 172 Beispiel zu formalen Sprachen: monotone Grammatik (2017W UE3 Aufgabe 4)
• 171 Boolschen Algebra
• 164 Spezialfall kontextfreie Grammatik "Automatengrammatik"
• 163 SAT-Solver (2015W UE1 Aufgabe 12)

oder (Bsp5): (2016W UE1 Aufgabe 12)

• 162 reguläre Grammatik 2014W UE2 Aufgabe 7

Nach Tests

202

1. Aussagenlogik
2. Prädikatenlogik
3. ...
4. Petri-Netz (2021S UE2 Aufgabe 12)
5. ...

201

1. Aussagenlogik (2020S UE1 Aufgabe 11)
2. Prädikatenlogik (2020S UE1 Aufgabe 10)
3. Sprachen (2012S UE2 Aufgabe 6)
4. Petri-Netz (2020S UE2 Aufgabe 12)
5. ...

194

1. Aussagenlogik
2. Prädikatenlogik
3. Automat (Wasserkrüge) (2013S UE1 Aufgabe 14)
4. Regular Expressions
5. Monotone Grammatik (2017W UE3 Aufgabe 4)

191

1. Aussagenlogik (2019S UE1 Aufgabe 10)
2. Prädikatenlogik (2019S UE3 Aufgabe 6)
3. Mealy-Automat (Knobelspiel) (2019S UE2 Aufgabe 3)
4. EBNF für LaTeX (2019S UE3 Aufgabe 3)
5. Endlicher Automat zu Regex

182

1. Aussagenlogik (2018S UE1 Aufgabe 10)
2. Prädikatenlogik
3. Petri-Netz angeben (Restaurant) (2018S UE3 Aufgabe 10)
4. Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
5. EBNF für Datalog (2018S UE3 Aufgabe 3)

181

1. Aussagenlogik
2. Prädikatenlogik (2018S UE3 Aufgabe 5)
3. endlichen Automat angeben (Pacman) (2018S UE2 Aufgabe 4)
4. Boolschen Algebra
5. Petri-Netz (Ampeln)

173

1. Petri-Netz angeben (Fertigungsstraßen) (2017W UE3 Aufgabe 8)
2. Aussagenlogik (2017W UE1 Aufgabe 10)
3. Prädikatenlogik
4. EBNF für LaTeX \frac (2017W UE3 Aufgabe 3)
5. Beispiel für Aussagenlogik: Resolutionsregel

172

1. endlichen Automat angeben (Pacman) (2017W UE2 Aufgabe 4)
2. Aussagenlogik
3. Prädikatenlogik (2017W UE3 Aufgabe 6)
4. EBNF für Dot
5. Beispiel zu formalen Sprachen: monotone Grammatik (2017W UE3 Aufgabe 4)

171

1. Petri-Netz angeben
2. Aussagenlogik
3. Prädikatenlogik
4. EBNF zu C++ if-Abfragen (2018S UE3 Aufgabe 4)
5. Boolschen Algebra

164

1. endlichen Automaten angeben (B-Sprache) (2017S UE1 Aufgabe 14)
2. Aussagenlogik
3. Prädikatenlogik
4. EBNF für TikZ-Baumdiagramme
5. Spezialfall kontextfreie Grammatik "Automatengrammatik"

163

1. Petri-Netz angeben (2016W UE2 Aufgabe 13)
2. Aussagenlogik (2016W UE1 Aufgabe 11)
3. Prädikatenlogik (2016W UE2 Aufgabe 11)
4. kontextfreie Grammatik für prädikatenlogische Formeln über gegebener Symbolmenge (2016W UE2 Aufgabe 10)
5. SAT-Solver (2015W UE1 Aufgabe 12)

• oder (Bsp5): (2016W UE1 Aufgabe 12)

162

1. Petri-Netz angeben (Ampeln) (2016W UE2 Aufgabe 14)
2. EBNF für Datalog (2012W UE2 Aufgabe 12)
3. Aussagenlogik (2016W UE1 Aufgabe 10)
4. Prädikatenlogik
5. reguläre Grammatik (2014W UE2 Aufgabe 7)

161

1. Moore/Mealy-Automat (Knobelspiel) (2016S UE2 Aufgabe 3)
2. Petri-Netz angeben (2013W UE2 Aufgabe 16)
3. kontextfreie Grammatik für Prädikatenlogik (2014S UE2 Aufgabe 11)
4. Aussagenlogik (2016S UE1 Aufgabe 11)
5. Prädikatenlogik (2013W UE2 Aufgabe 14)

154

1. Mealy-Automat (Roboter) (2016S UE1 Aufgabe 15)
2. EBNF für Modula (2013S UE2 Aufgabe 13)
3. Aussagenlogik (2013S UE1 Aufgabe 12)
4. Prädikatenlogik
5. Boolschen Algebra

153

1. Mealy-Automaten und Transducer angeben (Ternärnumerale) (2015W UE2 Aufgabe 3)
2. Petri-Netz (2015W UE2 Aufgabe 15)
3. Aussagenlogik
4. Prädikatenlogik (2015W UE2 Aufgabe 13)
5. Beispiel zu Automaten: geänderte Übergangsrelation und geänderte Endzustandsmenge

152

1. Endlichen Automaten modellieren (Tresorschloss) (2015W UE1 Aufgabe 14)
2. EBNF für Lambdakalkül (2015W UE2 Aufgabe 11)
3. Aussagenlogik
4. Prädikatenlogik
5. Automaten für den Durchschnitt der Sprachen zweier Automaten

151

1. Mealy-Automat modellieren (Fahrkartenautomat)
2. Petri-Netz modellieren (2015S UE2 Aufgabe 14)
3. Aussagenlogik (2015S UE1 Aufgabe 11)
4. Prädikatenlogik
5. Spiegelsprache von Automaten (2012W UE2 Aufgabe 7)

145

1. Mealy-Automat modellieren (Token-Automat) (2015S UE1 Aufgabe 15)
2. EBNF für lineare Programme (2015S UE2 Aufgabe 9)
3. Aussagenlogik (2015S UE1 Aufgabe 10)
4. Prädikatenlogik (2015S UE2 Aufgabe 12)
5. SAT-Solver (2015S UE1 Aufgabe 12)

144

1. Endlichen Automaten modellieren (Linienhalma) (WS2014- Übung 1 - Aufgabe 14)
2. Boolsche Ausdrücke
3. Aussagenlogik (2015W UE1 Aufgabe 10)
4. Prädikatenlogik
5. Petri-Netz

143

1. Moore-Automat modellieren (Roboter) (2014W UE1 Aufgabe 15)
2. EBNF für PDDL (2014W UE2 Aufgabe 9)
3. Aussagenlogik (2014W UE1 Aufgabe 11)
4. Prädikatenlogik (2014W UE2 Aufgabe 12)
5. Formale Sprachen: reguläre Grammatik (2014W UE2 Aufgabe 7)

142

1. Endlichen Automat modellieren (Aufzugssteuerung) (2014S UE1 Aufgabe 15)
2. kontextfreie Grammatik für Prädikatenlogik (2014S UE2 Aufgabe 11)
3. Aussagenlogik (2014S UE1 Aufgabe 11)
4. Prädikatenlogik
5. SAT-Solver (2013W UE1 Aufgabe 11)

141

1. Endlichen Automat modellieren (Getränkeautomat) (2014S UE1 Aufgabe 14)
2. EBNF für Prädikatenlogik
3. Aussagenlogik
4. Prädikatenlogik (2014S UE2 Aufgabe 13)
5. Beispiel "pure Grammatik" (2015S UE2 Aufgabe 10)

135

1. SAT-Solver (2013W UE1 Aufgabe 11)
2. Endlichen Automat modellieren (2013W UE1 Aufgabe 14)
3. EBNF für Variablendeklaration in Java
4. Aussagenlogik (2016S UE1 Aufgabe 11)
5. Prädikatenlogik

134

1. Automaten (Mystery-Automat)
2. Deterministischen endlichen Automat modellieren (2015S UE2 Aufgabe 3)
3. EBNF für Scheme
4. Aussagenlogik (2013W UE1 Aufgabe 10)
5. Prädikatenlogik (2013W UE2 Aufgabe 14)

133

1. SAT-Solver (2013W UE1 Aufgabe 11)
2. Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
3. EBNF für Regex
4. Aussagenlogik
5. Prädikatenlogik

132

1. Petri-Netz
2. Endlichen Automat modellieren (Tresorschloss) (2015W UE1 Aufgabe 14)
3. EBNF
4. Aussagenlogik (2013S UE1 Aufgabe 12)
5. Prädikatenlogik

131

1. Automaten (2015W UE2 Aufgabe 9)
2. Endlichen Automat modellieren (Türme von Hanoi mit zwei Scheiben) (2013S UE1 Aufgabe 14)
3. EBNF
4. Aussagenlogik
5. Prädikatenlogik

126

1. Petri-Netz
2. Moore/Mealy-Automat modellieren (Radiowecker) (2015W UE1 Aufgabe 15)
3. EBNF für Prolog
4. Aussagenlogik
5. Prädikatenlogik

125

1. Gültigkeit von Gleichungen für formale Sprachen
2. Moore/Mealy-Automat modellieren (Knobelspiel)
3. EBNF für LaTeX
4. Aussagenlogik
5. Prädikatenlogik

124

1. Spiegelsprache von Automaten
2. Moore/Mealy-Automat modellieren (Mikrowelle)
3. EBNF für Modula
4. Aussagenlogik (2015W UE1 Aufgabe 11)
5. Prädikatenlogik

123

1. Regex [bc]*(ba)+? zu algebraischer Notation und endlichem Automaten mit max. drei ε-Übergängen
2. Endlichen Automat modellieren (Aufzugssteuerung)
3. EBNF für Regex
4. Aussagenlogik
5. Prädikatenlogik

122

1. Petri-Netz
2. Endlicher Automat (Tresorschloss)
3. EBNF für Datalog (2012W UE2 Aufgabe 12)
4. Aussagenlogik
5. Prädikatenlogik

121

1. Endlicher Automat zu Regex
2. Endlichen Automat (Flussüberquerung)
3. EBNF für Modula
4. Aussagenlogik
5. Prädikatenlogik

111

1. Regex (ab)+?[ac]* zu algebraischer Notation und endlichem Automaten mit max. drei ε-Übergängen
2. Mealy-Automat für eine Glättung von Bitfolgen
3. EBNF für HTML
4. Aussagenlogik
5. Prädikatenlogik

Materialien

Neues Material hinzufügen

F

• fmod

T

• TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2017WS).pdf (details)
• TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2017WS).pdf (details)
• TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017S).pdf (details)