Difference between revisions of "TU Wien:Formale Modellierung VU (Salzer)/Lösungen alte Tests"

From VoWi
Jump to navigation Jump to search
 
(30 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
[https://www.logic.at/lvas/fmod/ Link zu offiziellen alten Prüfungsangaben]
 
[https://www.logic.at/lvas/fmod/ Link zu offiziellen alten Prüfungsangaben]
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod111.pdf 2011-12-21]==
+
== Nach Themen ==
−
*'''Aufgabe 1:''' Regex <code>(ab)+?[ac]*</code> zu algebraischer Notation und endlichem Automaten mit max. drei &epsilon;-Ü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
 
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod121.pdf 2012-01-17]==
+
=== Aussagenlogik ===
−
*'''Aufgabe 1:''' Endlicher Automat zu Regex
 
−
*'''Aufgabe 2:''' Endlichen Automat modellieren
 
−
*'''Aufgabe 3:''' EBNF für Modula
 
−
*'''Aufgabe 4:''' Aussagenlogik
 
−
*'''Aufgabe 5:''' Prädikatenlogik
 
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod122.pdf 2012-03-14]==
+
* {{/fmod|191}} {{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2019S).pdf|2019S UE1 Aufgabe 10|#=page=13&zoom=100,0,500}}
−
*'''Aufgabe 1:''' Petri-Netz
+
* {{/fmod|182}} {{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2018S).pdf|2018S UE1 Aufgabe 10|#=page=12&zoom=100,0,500}}
−
*'''Aufgabe 2:''' Endlichen Automat modellieren
+
* {{/fmod|173}} {{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017WS).pdf|2017W UE1  Aufgabe 10|#=page=13&zoom=auto,-215,331}}
−
*'''Aufgabe 3:''' EBNF für Datalog ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2012W).pdf|WS2012 - Übung 2 - Aufgabe 12]])
+
* {{/fmod|163}} {{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1  Aufgabe 11}}
−
*'''Aufgabe 4:''' Aussagenlogik
+
* {{/fmod|162}} {{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1  Aufgabe 10}}
−
*'''Aufgabe 5:''' Prädikatenlogik
 
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod123.pdf 2012-05-23]==
+
=== Prädikatenlogik ===
−
*'''Aufgabe 1:''' Regex <code>[bc]*(ba)+?</code> zu algebraischer Notation und endlichem Automaten mit max. drei &epsilon;-Übergängen
 
−
*'''Aufgabe 2:''' Endlichen Automat modellieren (Aufzugssteuerung)
 
−
*'''Aufgabe 3:''' EBNF für Regex
 
−
*'''Aufgabe 4:''' Aussagenlogik
 
−
*'''Aufgabe 5:''' Prädikatenlogik
 
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod124.pdf 2012-06-13]==
+
* {{/fmod|172}} {{Media| TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017W).pdf|2017W UE3  Aufgabe 6|#=page=7&zoom=auto,-215,713}}
−
*'''Aufgabe 1:''' Spiegelsprache von Automaten
+
* {{/fmod|163}} {{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 11}}
−
*'''Aufgabe 2:''' Moore/Mealy-Automat modellieren (Mikrowelle)
 
−
*'''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 5:''' Prädikatenlogik
 
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod125.pdf 2012-09-17]==
+
=== Kontextfreie Grammatik ===
−
*'''Aufgabe 1:''' Gültigkeit von Gleichungen für formale Sprachen
 
−
*'''Aufgabe 2:''' Moore/Mealy-Automat modellieren (Knobelspiel)
 
−
*'''Aufgabe 3:''' EBNF für LaTeX
 
−
*'''Aufgabe 4:''' Aussagenlogik
 
−
*'''Aufgabe 5:''' Prädikatenlogik
 
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod126.pdf 2012-10-29]==
+
* {{/fmod|191}} {{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_2019S.pdf|2019S UE3 Aufgabe 3|#=page=3&zoom=100,0,300}}
−
*'''Aufgabe 1:''' Petri-Netz
+
* {{/fmod|182}} {{Media|{{FILEPREFIX:..}}TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2018S).pdf|2018S UE3 Aufgabe 3|#=page=4&zoom=auto,-274,471}}
−
*'''Aufgabe 2:''' Moore/Mealy-Automat modellieren (Radiowecker) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 15]])
+
* {{/fmod|173}} {{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2017S).pdf|2017W UE3  Aufgabe 3|#=page=4}}
−
*'''Aufgabe 3:''' EBNF für Prolog
+
* {{/fmod|171}} {{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2018S).pdf|2018S UE3  Aufgabe 4}}
−
*'''Aufgabe 4:''' Aussagenlogik
+
* {{/fmod|163}} kontextfreie Grammatik für prädikatenlogische Formeln über gegebener Symbolmenge ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 10}})
−
*'''Aufgabe 5:''' Prädikatenlogik
+
* {{/fmod|162}} {{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2012W).pdf|2012W UE2  Aufgabe 12}}
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod131.pdf 2013-01-28]==
+
=== Petri-Netze ===
−
*'''Aufgabe 1:''' Automaten ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 9]])
 
−
*'''Aufgabe 2:''' Endlichen Automat modellieren: Türme von Hanoi mit zwei Scheiben ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013S).pdf|SS2013 - Übung 1 - Aufgabe 14]])
 
−
*'''Aufgabe 3:''' EBNF
 
−
*'''Aufgabe 4:''' Aussagenlogik
 
−
*'''Aufgabe 5:''' Prädikatenlogik
 
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod132.pdf 2013-02-19]==
+
* {{/fmod|182}} Restaurant {{Media|{{FILEPREFIX:..}}TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2018S).pdf|2018S UE3 Aufgabe 10|#=page=10&zoom=100,0,300}}
−
*'''Aufgabe 1:''' Petri-Netz
+
* {{/fmod|181}} Ampeln
−
*'''Aufgabe 2:''' Endlichen Automat modellieren ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 14]])
+
* {{/fmod|173}} Fertigungsstraßen {{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2017S).pdf|2017W UE3  Aufgabe 8|#=page=9&zoom=auto,-215,640}}
−
*'''Aufgabe 3:''' EBNF
+
* {{/fmod|163}} Tankstelle {{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 13}}
−
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013S).pdf|SS2013 - Übung 1 - Aufgabe 12]])
+
* {{/fmod|162}} Ampeln {{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 14}}
−
*'''Aufgabe 5:''' Prädikatenlogik
 
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod133.pdf 2013-04-22]==
+
=== Automaten und Regex ===
−
*'''Aufgabe 1:''' SAT-Solver ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013W) (LaTeX).pdf|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
 
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod134.pdf 2013-06-24]==
+
* {{/fmod|191}} Mealy-Automat (Knobelspiel) {{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_2_-_Musterlösung_(2019S).pdf|2019S UE2 Aufgabe 3|#=page=3&zoom=100,0,500}}
−
*'''Aufgabe 1:''' Automaten
+
* {{/fmod|191}} Endlicher Automat zu Regex
−
*'''Aufgabe 2:''' Deterministischen endlichen Automat modellieren (SS2015 - Übung 2 - Aufgabe 3)
+
* {{/fmod|182}} Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
−
*'''Aufgabe 3:''' EBNF für Scheme
+
* {{/fmod|181}} endlichen Automat angeben (Pacman)
−
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 1 - Aufgabe 10]])
+
* {{/fmod|172}} endlichen Automat angeben (Pacman) {{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_2_-_Musterlösung_(2017WS).pdf|2017W UE2  Aufgabe 4|#=page=4&zoom=auto,-215,363}}
−
*'''Aufgabe 5:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 2 - Aufgabe 14]])
+
* {{/fmod|164}} endlichen Automaten angeben (B-Sprache) {{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017S).pdf|2017S UE1  Aufgabe 14}}
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod135.pdf 2013-09-18]==
+
=== Sonstiges ===
−
*'''Aufgabe 1:''' SAT-Solver ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 1 - Aufgabe 11]])
 
−
*'''Aufgabe 2:''' Endlichen Automat modellieren ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 1 - Aufgabe 14]])
 
−
*'''Aufgabe 3:''' EBNF für Variablendeklaration in Java
 
−
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016S).pdf|SS2016 - Übung 1 - Aufgabe 11]])
 
−
*'''Aufgabe 5:''' Prädikatenlogik
 
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod141.pdf 2014-01-28]==
+
* {{/fmod|181}} Boolschen Algebra
−
*'''Aufgabe 1:''' Endlichen Automat modellieren (Getränkeautomat) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014S) (LaTeX).pdf|SS2014 - Übung 1 - Aufgabe 14]])
+
* {{/fmod|173}} Beispiel für Aussagenlogik: ''Resolutionsregel''
−
*'''Aufgabe 2:''' EBNF für Prädikatenlogik
+
* {{/fmod|172}} Beispiel zu formalen Sprachen: ''monotone Grammatik'' ({{Media| TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017W).pdf|2017W UE3  Aufgabe 4|#=page=5&zoom=auto,-215,717}})
−
*'''Aufgabe 3:''' Aussagenlogik
+
* {{/fmod|171}}  Boolschen Algebra
−
*'''Aufgabe 4:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014S).pdf|SS2014 - Übung 2 - Aufgabe 13]])
+
* {{/fmod|164}} Spezialfall kontextfreie Grammatik "Automatengrammatik"
−
*'''Aufgabe 5:''' Beispiel "pure Grammatik" ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015S).pdf|SS2015 - Übung 2 - Aufgabe 10]])
+
* {{/fmod|163}} SAT-Solver ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015W UE1  Aufgabe 12}})
 +
: oder (Bsp5): ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1  Aufgabe 12}})
 +
* {{/fmod|162}} reguläre Grammatik {{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014W).pdf|2014W UE2  Aufgabe 7}}
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod142.pdf 2014-02-18]==
+
== Nach Tests ==
−
*'''Aufgabe 1:''' Endlichen Automat modellieren (Aufzugssteuerung) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014S) (LaTeX).pdf|SS2014 - Übung 1 - Aufgabe 15]])
 
−
*'''Aufgabe 2:''' kontextfreie Grammatik für Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014S).pdf|SS2014 - Übung 2 - Aufgabe 11]])
 
−
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014S) (LaTeX).pdf|SS2014 - Übung 1 - Aufgabe 11]])
 
−
*'''Aufgabe 4:''' Prädikatenlogik
 
−
*'''Aufgabe 5:''' SAT-Solver  ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 1 - Aufgabe 11]])
 
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod143.pdf 2014-06-30]==
+
=== {{/fmod|191}} ===
−
*'''Aufgabe 1:''' Moore-Automat modellieren (Roboter) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014W).pdf|WS2014 - Übung 1 - Aufgabe 15]])
 
−
*'''Aufgabe 2:''' EBNF für PDDL ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014W).pdf|WS2014 - Übung 2 - Aufgabe 9]])
 
−
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014W).pdf|WS2014 - Übung 1 - Aufgabe 11]])
 
−
*'''Aufgabe 4:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014W).pdf|WS2014 - Übung 2 - Aufgabe 12]])
 
−
*'''Aufgabe 5:''' Formale Sprachen: reguläre Grammatik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014W).pdf|WS2014 - Übung 2 - Aufgabe 7]])
 
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod144.pdf 2014-09-17]==
+
# Aussagenlogik ({{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2019S).pdf|2019S UE1 Aufgabe 10|#=page=13&zoom=100,0,500}})
−
*'''Aufgabe 1:''' Endlichen Automaten modellieren (Linienhalma) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014W).pdf|WS2014- Übung 1 - Aufgabe 14]])
+
# Prädikatenlogik
−
*'''Aufgabe 2:''' Boolsche Ausdrücke
+
# Mealy-Automat (Knobelspiel) ({{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_2_-_Musterlösung_(2019S).pdf|2019S UE2 Aufgabe 3|#=page=3&zoom=100,0,500}})
−
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 10]])
+
# EBNF für LaTeX ({{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_2019S.pdf|2019S UE3 Aufgabe 3|#=page=3&zoom=100,0,300}})
−
*'''Aufgabe 4:''' Prädikatenlogik
+
# Endlicher Automat zu Regex
−
*'''Aufgabe 5:''' Petri-Netz
 
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod145.pdf 2014-12-16]==
+
=== {{/fmod|182}}  ===
−
*'''Aufgabe 1:''' Mealy-Automat modellieren (Token-Automat) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|SS2015 - Übung 1 - Aufgabe 15]])
+
# Aussagenlogik ({{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2018S).pdf|2018S UE1 Aufgabe 10|#=page=12&zoom=100,0,500}})
−
*'''Aufgabe 2:''' EBNF für lineare Programme ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015S).pdf|SS2015 - Übung 2 - Aufgabe 9]])
+
# Prädikatenlogik
−
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|SS2015 - Übung 1 - Aufgabe 10]])
+
# Petri-Netz angeben (Restaurant) ({{Media|{{FILEPREFIX:..}}TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2018S).pdf|2018S UE3 Aufgabe 10|#=page=10&zoom=100,0,300}})
−
*'''Aufgabe 4:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015S).pdf|SS2015 - Übung 2 - Aufgabe 12]])
+
# Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
−
*'''Aufgabe 5:''' SAT-Solver  ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|SS2015 - Übung 1 - Aufgabe 12]])
+
# EBNF für Datalog ({{Media|{{FILEPREFIX:..}}TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2018S).pdf|2018S UE3  Aufgabe 3|#=page=4&zoom=auto,-274,471}})
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod151.pdf 2015-01-12]==
+
=== {{/fmod|181}}  ===
−
*'''Aufgabe 1:''' Mealy-Automat modellieren (Fahrkartenautomat)
+
# Aussagenlogik
−
*'''Aufgabe 2:''' Petri-Netz modellieren ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015S).pdf|SS2015 - Übung 2 - Aufgabe 14]])
+
# Prädikatenlogik
−
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|SS2015 - Übung 1 - Aufgabe 11]])
+
# endlichen Automat angeben (Pacman)
−
*'''Aufgabe 4:''' Prädikatenlogik
+
# Boolschen Algebra
−
*'''Aufgabe 5:''' Spiegelsprache von Automaten ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2012W).pdf|WS2012 - Übung 2 - Aufgabe 7]])
+
# Petri-Netz (Ampeln)
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod152.pdf 2015-05-27]==
+
==={{/fmod|173}}===
−
*'''Aufgabe 1:''' Endlichen Automaten modellieren (Tresorschloss) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 14]])
+
# Petri-Netz angeben (Fertigungsstraßen) ({{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2017S).pdf|2017W UE3  Aufgabe 8|#=page=9&zoom=auto,-215,640}})
−
*'''Aufgabe 2:''' EBNF für Lambdakalkül ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 11]])
+
# Aussagenlogik ({{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017WS).pdf|2017W UE1  Aufgabe 10|#=page=13&zoom=auto,-215,331}})  
−
*'''Aufgabe 3:''' Aussagenlogik
+
# Prädikatenlogik
−
*'''Aufgabe 4:''' Prädikatenlogik
+
# EBNF für LaTeX <code>\frac</code> ({{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2017S).pdf|2017W UE3  Aufgabe 3|#=page=4}})
−
*'''Aufgabe 5:''' Automaten für den Durchschnitt der Sprachen zweier Automaten
+
# Beispiel für Aussagenlogik: ''Resolutionsregel''
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod153.pdf 2015-09-08]==
+
==={{/fmod|172}}===
−
*'''Aufgabe 1:''' Mealy-Automaten und Transducer angeben ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 3]])
+
# endlichen Automat angeben (Pacman) ({{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_2_-_Musterlösung_(2017WS).pdf|2017W UE2  Aufgabe 4|#=page=4&zoom=auto,-215,363}})
−
*'''Aufgabe 2:''' Petri-Netz ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 15]])
+
# Aussagenlogik
−
*'''Aufgabe 3:''' Aussagenlogik
+
# Prädikatenlogik ({{Media| TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017W).pdf|2017W UE3  Aufgabe 6|#=page=7&zoom=auto,-215,713}})
−
*'''Aufgabe 4:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 13]])
+
# EBNF für Dot
−
*'''Aufgabe 5:''' Beispiel zu Automaten: geänderte Übergangsrelation und geänderte Endzustandsmenge
+
# Beispiel zu formalen Sprachen: ''monotone Grammatik'' ({{Media| TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017W).pdf|2017W UE3  Aufgabe 4|#=page=5&zoom=auto,-215,717}})
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod154.pdf 2015-12-15]==
+
==={{/fmod|171}}===
−
*'''Aufgabe 1:''' Mealy-Automat (Roboter) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016S).pdf|SS2016 - Übung 1 - Aufgabe 15]])
+
# Petri-Netz angeben
−
*'''Aufgabe 2:''' EBNF für Modula ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013S).pdf|SS2013 - Übung 2 - Aufgabe 13]])
+
# Aussagenlogik
−
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013S).pdf|SS2013 - Übung 1 - Aufgabe 12]])
+
# Prädikatenlogik
−
*'''Aufgabe 4:''' Prädikatenlogik
+
# EBNF zu C++ if-Abfragen ({{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2018S).pdf|2018S UE3  Aufgabe 4}})
−
*'''Aufgabe 5:''' Boolschen Algebra
+
# Boolschen Algebra
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod161.pdf 2016-01-20]==
+
==={{/fmod|164}}===
−
*'''Aufgabe 1:''' Moore/Mealy-Automat ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016S).pdf|SS2016 - Übung 2 - Aufgabe 3]])
+
# endlichen Automaten angeben (B-Sprache) ({{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017S).pdf|2017S UE1  Aufgabe 14}})
−
*'''Aufgabe 2:''' Petri-Netz angeben ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 2 - Aufgabe 16]])
+
# Aussagenlogik
−
*'''Aufgabe 3:''' kontextfreie Grammatik für Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014S).pdf|SS2014 - Übung 2 - Aufgabe 11]])
+
# Prädikatenlogik
−
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016S).pdf|SS2016 - Übung 1 - Aufgabe 11]])
+
# EBNF für TikZ-Baumdiagramme
−
*'''Aufgabe 5:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 2 - Aufgabe 14]])
+
# Spezialfall kontextfreie Grammatik "Automatengrammatik"
  
−
==[https://www.logic.at/lvas/fmod/angaben/fmod162.pdf 2016-05-24]==
+
==={{/fmod|163}}===
−
*'''Aufgabe 1:''' Petri-Netz angeben (Ampeln) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 14]])
+
# Petri-Netz angeben ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 13}})
−
*'''Aufgabe 2:''' EBNF für Datalog ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2012W).pdf|WS2012 - Übung 2 - Aufgabe 12]])
+
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1  Aufgabe 11}})
−
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016W).pdf|WS2016 - Übung 1 - Aufgabe 10]])
+
# Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 11}})
−
*'''Aufgabe 4:''' Prädikatenlogik
+
# kontextfreie Grammatik für prädikatenlogische Formeln über gegebener Symbolmenge ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 10}})
−
*'''Aufgabe 5:''' reguläre Grammatik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014W).pdf|WS2014 - Übung 2 - Aufgabe 7]])
+
# SAT-Solver ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015W UE1  Aufgabe 12}})
 +
*'''oder (Bsp5):''' ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1  Aufgabe 12}})
  
−
==[https://www.logic.at/lvas/fmod/angaben/fmod163.pdf 2016-09-06]==
+
==={{/fmod|162}}===
−
*'''Aufgabe 1:''' Petri-Netz angeben ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 13]])
+
# Petri-Netz angeben (Ampeln) ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 14}})
−
*'''Aufgabe 2:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016W).pdf|WS2016 - Übung 1 - Aufgabe 11]])
+
# EBNF für Datalog ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2012W).pdf|2012W UE2  Aufgabe 12}})
−
*'''Aufgabe 3:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 11]])
+
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1  Aufgabe 10}})
−
*'''Aufgabe 4:''' kontextfreie Grammatik für prädikatenlogische Formeln über gegebener Symbolmenge ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 10]])
+
# Prädikatenlogik
−
*'''Aufgabe 5:''' SAT-Solver ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|WS2015 - Übung 1 - Aufgabe 12]])
+
# reguläre Grammatik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014W).pdf|2014W UE2  Aufgabe 7}})
−
*'''oder (Bsp5):''' ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016W).pdf|WS2016 - Übung 1 - Aufgabe 12]])
 
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod164.pdf 2016-12-19]==
+
==={{/fmod|161}}===
−
*'''Aufgabe 1:''' endlichen Automaten angeben ([[media:TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017S).pdf|SS2017 - Übung 1 - Aufgabe 14]])
+
# Moore/Mealy-Automat (Knobelspiel) ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016S).pdf|2016S UE2  Aufgabe 3}})
−
*'''Aufgabe 2:''' Aussagenlogik
+
# Petri-Netz angeben ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2013W) (LaTeX).pdf|2013W UE2  Aufgabe 16}})
−
*'''Aufgabe 3:''' Prädikatenlogik
+
# kontextfreie Grammatik für Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014S).pdf|2014S UE2  Aufgabe 11}})
−
*'''Aufgabe 4:''' EBNF für TikZ-Baumdiagramme
+
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016S).pdf|2016S UE1  Aufgabe 11}})
−
*'''Aufgabe 5:''' Spezialfall kontextfreie Grammatik "Automatengrammatik"
+
# Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2013W) (LaTeX).pdf|2013W UE2  Aufgabe 14}})
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod171.pdf 2017-01-16]==
+
==={{/fmod|154}}===
−
*'''Aufgabe 1:''' Petri-Netz angeben
+
# Mealy-Automat (Roboter) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016S).pdf|2016S UE1  Aufgabe 15}})
−
*'''Aufgabe 2:''' Aussagenlogik
+
# EBNF für Modula ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2013S).pdf|2013S UE2  Aufgabe 13}})
−
*'''Aufgabe 3:''' Prädikatenlogik
+
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013S).pdf|2013S UE1  Aufgabe 12}})
−
*'''Aufgabe 4:''' EBNF zu C++ if-Abfragen ([[media: TU_Wien-Formale_Modellierung_VU_(Salzer)_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2018S).pdf|SS2018 - Übung 3 - Aufgabe 4]])
+
# Prädikatenlogik
−
*'''Aufgabe 5:''' Boolschen Algebra
+
# Boolschen Algebra
  
−
==[http://www.logic.at/lvas/fmod/angaben/fmod172.pdf 2017-05-31]==
+
==={{/fmod|153}}===
−
*'''Aufgabe 1:''' endlichen Automat angeben (Pacman) ([[media: TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_2_-_Musterlösung_(2017WS).pdf|WS2017 - Übung 2 - Aufgabe 4]])
+
# Mealy-Automaten und Transducer angeben (Ternärnumerale) ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015W).pdf|2015W UE2  Aufgabe 3}})
−
*'''Aufgabe 2:''' Aussagenlogik
+
# Petri-Netz ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015W).pdf|2015W UE2  Aufgabe 15}})
−
*'''Aufgabe 3:''' Prädikatenlogik ([[media: TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017W).pdf|WS2017 - Übung 3 - Aufgabe 6]])
+
# Aussagenlogik
−
*'''Aufgabe 4:''' EBNF für Dot
+
# Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015W).pdf|2015W UE2  Aufgabe 13}})
−
*'''Aufgabe 5:''' Beispiel zu formalen Sprachen: ''monotone Grammatik'' ([[media: TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017W).pdf|WS2017 - Übung 3 - Aufgabe 4]])
+
# Beispiel zu Automaten: geänderte Übergangsrelation und geänderte Endzustandsmenge
  
−
==[https://www.logic.at/lvas/fmod/angaben/fmod173.pdf 2017-09-05]==
+
==={{/fmod|152}}===
−
*'''Aufgabe 1:''' Petri-Netz angeben ([[media: TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2017S).pdf|WS2017 - Übung 3 - Aufgabe 8]])
+
# Endlichen Automaten modellieren (Tresorschloss) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015W).pdf|2015W UE1  Aufgabe 14}})
−
*'''Aufgabe 2:''' Aussagenlogik ([[media: TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017WS).pdf|WS2017 - Übung 1 - Aufgabe 10]])  
+
# EBNF für Lambdakalkül ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015W).pdf|2015W UE2  Aufgabe 11}})
−
*'''Aufgabe 3:''' Prädikatenlogik
+
# Aussagenlogik
−
*'''Aufgabe 4:''' EBNF für LaTeX <code>\frac</code> ([[media: TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2017S).pdf|WS2017 - Übung 3 - Aufgabe 3]])
+
# Prädikatenlogik
−
*'''Aufgabe 5:''' Beispiel für Aussagenlogik: ''Resolutionsregel''
+
# Automaten für den Durchschnitt der Sprachen zweier Automaten
  
−
== [https://www.logic.at/lvas/fmod/angaben/fmod181.pdf 2018-01-26] ==
+
==={{/fmod|151}}===
−
*'''Aufgabe 1:''' Aussagenlogik
+
# Mealy-Automat modellieren (Fahrkartenautomat)
−
*'''Aufgabe 2:''' Prädikatenlogik
+
# Petri-Netz modellieren ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015S).pdf|2015S UE2 Aufgabe 14}})
−
*'''Aufgabe 3:''' endlichen Automat angeben (Pacman)
+
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015S UE1  Aufgabe 11}})
−
*'''Aufgabe 4:''' Boolschen Algebra
+
# Prädikatenlogik
−
*'''Aufgabe 5:''' Petri-Netz (Ampeln)
+
# Spiegelsprache von Automaten ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2012W).pdf|2012W UE2  Aufgabe 7}})
  
−
== [https://www.logic.at/lvas/fmod/angaben/fmod182.pdf 2018-02-15] ==
+
==={{/fmod|145}}===
−
*'''Aufgabe 1:''' Aussagenlogik ([[media: TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2018S).pdf|SS2018 - Übung 1 - Aufgabe 10]])
+
# Mealy-Automat modellieren (Token-Automat) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015S UE1  Aufgabe 15}})
−
*'''Aufgabe 2:''' Prädikatenlogik  
+
# EBNF für lineare Programme ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015S).pdf|2015S UE2  Aufgabe 9}})
−
*'''Aufgabe 3:''' Petri-Netz angeben ([[media: TU Wien-Formale Modellierung VU (Salzer) - TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2018S).pdf|SS2018 - Übung 3 - Aufgabe 9]])
+
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015S UE1  Aufgabe 10}})
−
*'''Aufgabe 4:''' Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
+
# Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015S).pdf|2015S UE2  Aufgabe 12}})
−
*'''Aufgabe 5:''' EBNF für Datalog ([[media: TU Wien-Formale Modellierung VU (Salzer) - TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2018S).pdf|SS2018 - Übung 3 - Aufgabe 3]])
+
# SAT-Solver  ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015S UE1  Aufgabe 12}})
 +
 
 +
==={{/fmod|144}}===
 +
# Endlichen Automaten modellieren (Linienhalma) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2014W).pdf|WS2014- Übung 1 - Aufgabe 14}})
 +
# Boolsche Ausdrücke
 +
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015W).pdf|2015W UE1 Aufgabe 10}})
 +
# Prädikatenlogik
 +
# Petri-Netz
 +
 
 +
==={{/fmod|143}}===
 +
# Moore-Automat modellieren (Roboter) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2014W).pdf|2014W UE1  Aufgabe 15}})
 +
# EBNF für PDDL ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014W).pdf|2014W UE2  Aufgabe 9}})
 +
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2014W).pdf|2014W UE1  Aufgabe 11}})
 +
# Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014W).pdf|2014W UE2  Aufgabe 12}})
 +
# Formale Sprachen: reguläre Grammatik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014W).pdf|2014W UE2  Aufgabe 7}})
 +
 
 +
==={{/fmod|142}}===
 +
# Endlichen Automat modellieren (Aufzugssteuerung) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2014S) (LaTeX).pdf|2014S UE1  Aufgabe 15}})
 +
# kontextfreie Grammatik für Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014S).pdf|2014S UE2  Aufgabe 11}})
 +
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2014S) (LaTeX).pdf|2014S UE1  Aufgabe 11}})
 +
# Prädikatenlogik
 +
# SAT-Solver  ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013W) (LaTeX).pdf|2013W UE1  Aufgabe 11}})
 +
 
 +
==={{/fmod|141}}===
 +
# Endlichen Automat modellieren (Getränkeautomat) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2014S) (LaTeX).pdf|2014S UE1  Aufgabe 14}})
 +
# EBNF für Prädikatenlogik
 +
# Aussagenlogik
 +
# Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014S).pdf|2014S UE2  Aufgabe 13}})
 +
# Beispiel "pure Grammatik" ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015S).pdf|2015S UE2  Aufgabe 10}})
 +
 
 +
==={{/fmod|135}}===
 +
# SAT-Solver ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013W) (LaTeX).pdf|2013W UE1  Aufgabe 11}})
 +
# Endlichen Automat modellieren ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013W) (LaTeX).pdf|2013W UE1  Aufgabe 14}})
 +
# EBNF für Variablendeklaration in Java
 +
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016S).pdf|2016S UE1  Aufgabe 11}})
 +
# Prädikatenlogik
 +
 
 +
==={{/fmod|134}}===
 +
# Automaten (Mystery-Automat)
 +
# Deterministischen endlichen Automat modellieren (2015S UE2  Aufgabe 3)
 +
# EBNF für Scheme
 +
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013W) (LaTeX).pdf|2013W UE1  Aufgabe 10}})
 +
# Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2013W) (LaTeX).pdf|2013W UE2  Aufgabe 14}})
 +
 
 +
==={{/fmod|133}}===
 +
# SAT-Solver ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013W) (LaTeX).pdf|2013W UE1  Aufgabe 11}})
 +
# Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
 +
# EBNF für Regex
 +
# Aussagenlogik
 +
# Prädikatenlogik
 +
 
 +
==={{/fmod|132}}===
 +
# Petri-Netz
 +
# Endlichen Automat modellieren (Tresorschloss) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015W).pdf|2015W UE1  Aufgabe 14}})
 +
# EBNF
 +
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013S).pdf|2013S UE1  Aufgabe 12}})
 +
# Prädikatenlogik
 +
 
 +
==={{/fmod|131}}===
 +
# Automaten ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015W).pdf|2015W UE2  Aufgabe 9}})
 +
# Endlichen Automat modellieren (Türme von Hanoi mit zwei Scheiben) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013S).pdf|2013S UE1  Aufgabe 14}})
 +
# EBNF
 +
# Aussagenlogik
 +
# Prädikatenlogik
 +
 
 +
==={{/fmod|126}}===
 +
# Petri-Netz
 +
# Moore/Mealy-Automat modellieren (Radiowecker) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015W).pdf|2015W UE1  Aufgabe 15}})
 +
# EBNF für Prolog
 +
# Aussagenlogik
 +
# Prädikatenlogik
 +
 
 +
==={{/fmod|125}}===
 +
# Gültigkeit von Gleichungen für formale Sprachen
 +
# Moore/Mealy-Automat modellieren (Knobelspiel)
 +
# EBNF für LaTeX
 +
# Aussagenlogik
 +
# Prädikatenlogik
 +
 
 +
==={{/fmod|124}}===
 +
# Spiegelsprache von Automaten
 +
# Moore/Mealy-Automat modellieren (Mikrowelle)
 +
# EBNF für Modula
 +
#  Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015W).pdf|2015W UE1  Aufgabe 11}})
 +
# Prädikatenlogik
 +
 
 +
==={{/fmod|123}}===
 +
# Regex <code>[bc]*(ba)+?</code> zu algebraischer Notation und endlichem Automaten mit max. drei &epsilon;-Übergängen
 +
# Endlichen Automat modellieren (Aufzugssteuerung)
 +
# EBNF für Regex
 +
# Aussagenlogik
 +
# Prädikatenlogik
 +
 
 +
==={{/fmod|122}}===
 +
# Petri-Netz
 +
# Endlicher Automat (Tresorschloss)
 +
# EBNF für Datalog ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2012W).pdf|2012W UE2  Aufgabe 12}})
 +
# Aussagenlogik
 +
# Prädikatenlogik
 +
 
 +
==={{/fmod|121}}===
 +
# Endlicher Automat zu Regex
 +
# Endlichen Automat (Flussüberquerung)
 +
# EBNF für Modula
 +
# Aussagenlogik
 +
# Prädikatenlogik
 +
 
 +
==={{/fmod|111}}===
 +
# Regex <code>(ab)+?[ac]*</code> zu algebraischer Notation und endlichem Automaten mit max. drei &epsilon;-Übergängen
 +
# Mealy-Automat für eine Glättung von Bitfolgen
 +
# EBNF für HTML
 +
# Aussagenlogik
 +
# Prädikatenlogik

Latest revision as of 10:36, 18 June 2019

Link zu offiziellen alten Prüfungsangaben

Nach Themen[edit]

Aussagenlogik[edit]

Prädikatenlogik[edit]

Kontextfreie Grammatik[edit]

Petri-Netze[edit]

Automaten und Regex[edit]

Sonstiges[edit]

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

Nach Tests[edit]

191[edit]

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

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

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

173[edit]

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

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

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

164[edit]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

131[edit]

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

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

125[edit]

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

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

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

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

121[edit]

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

111[edit]

  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
Retrieved from "https://vowi.fsinf.at/wiki?title=TU_Wien:Formale_Modellierung_VU_(Salzer)/Lösungen_alte_Tests&oldid=127647"