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

Aus VoWi
< TU Wien:Formale Modellierung VU (Salzer)
Version vom 18. Juni 2019, 11:36 Uhr von Gittenburg (Diskussion | Beiträge) (Nach Themen)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche

Link zu offiziellen alten Prüfungsangaben

Nach Themen[Bearbeiten]

Aussagenlogik[Bearbeiten]

Prädikatenlogik[Bearbeiten]

Kontextfreie Grammatik[Bearbeiten]

Petri-Netze[Bearbeiten]

Automaten und Regex[Bearbeiten]

Sonstiges[Bearbeiten]

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

Nach Tests[Bearbeiten]

191[Bearbeiten]

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

182[Bearbeiten]

  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[Bearbeiten]

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

173[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

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

164[Bearbeiten]

  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[Bearbeiten]

  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)

162[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

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

131[Bearbeiten]

  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[Bearbeiten]

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

125[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

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

121[Bearbeiten]

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

111[Bearbeiten]

  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