TU Wien:Formale Modellierung VU (Salzer)/Lösungen alte Tests: Unterschied zwischen den Versionen

Aus VoWi
Zur Navigation springen Zur Suche springen
(reverse order)
Zeile 1: Zeile 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]==
+
== [https://www.logic.at/lvas/fmod/angaben/fmod182.pdf 2018-02-15] ==
*'''Aufgabe 1:''' Regex <code>(ab)+?[ac]*</code> zu algebraischer Notation und endlichem Automaten mit max. drei &epsilon;-Übergängen
+
*'''Aufgabe 1:''' Aussagenlogik ([[media: TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2018S).pdf|SS2018 - Übung 1 - Aufgabe 10]])
*'''Aufgabe 2:''' Mealy-Automat für eine Glättung von Bitfolgen
+
*'''Aufgabe 2:''' Prädikatenlogik
*'''Aufgabe 3:''' EBNF für HTML
+
*'''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]])
*'''Aufgabe 4:''' Aussagenlogik
+
*'''Aufgabe 4:''' Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
*'''Aufgabe 5:''' Prädikatenlogik
+
*'''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]])
 +
== [https://www.logic.at/lvas/fmod/angaben/fmod181.pdf 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)
  
==[http://www.logic.at/lvas/fmod/angaben/fmod121.pdf 2012-01-17]==
+
==[https://www.logic.at/lvas/fmod/angaben/fmod173.pdf 2017-09-05]==
*'''Aufgabe 1:''' Endlicher Automat zu Regex
+
*'''Aufgabe 1:''' 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|WS2017 - Übung 3 - Aufgabe 8]])
*'''Aufgabe 2:''' Endlichen Automat (Flussüberquerung)
+
*'''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]])  
*'''Aufgabe 3:''' EBNF für Modula
+
*'''Aufgabe 3:''' Prädikatenlogik
*'''Aufgabe 4:''' 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]])
*'''Aufgabe 5:''' Prädikatenlogik
+
*'''Aufgabe 5:''' Beispiel für Aussagenlogik: ''Resolutionsregel''
  
==[http://www.logic.at/lvas/fmod/angaben/fmod122.pdf 2012-03-14]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod172.pdf 2017-05-31]==
*'''Aufgabe 1:''' Petri-Netz
+
*'''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]])
*'''Aufgabe 2:''' Endlicher Automat (Tresorschloss)
+
*'''Aufgabe 2:''' Aussagenlogik
*'''Aufgabe 3:''' EBNF für Datalog ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2012W).pdf|WS2012 - Übung 2 - Aufgabe 12]])
+
*'''Aufgabe 3:''' Prädikatenlogik ([[media: TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017W).pdf|WS2017 - Übung 3 - Aufgabe 6]])
*'''Aufgabe 4:''' Aussagenlogik
+
*'''Aufgabe 4:''' EBNF für Dot
*'''Aufgabe 5:''' Prädikatenlogik
+
*'''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]])
  
==[http://www.logic.at/lvas/fmod/angaben/fmod123.pdf 2012-05-23]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod171.pdf 2017-01-16]==
*'''Aufgabe 1:''' Regex <code>[bc]*(ba)+?</code> zu algebraischer Notation und endlichem Automaten mit max. drei &epsilon;-Übergängen
+
*'''Aufgabe 1:''' Petri-Netz angeben
*'''Aufgabe 2:''' Endlichen Automat modellieren (Aufzugssteuerung)
+
*'''Aufgabe 2:''' Aussagenlogik
*'''Aufgabe 3:''' EBNF für Regex
+
*'''Aufgabe 3:''' Prädikatenlogik
*'''Aufgabe 4:''' Aussagenlogik
+
*'''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]])
*'''Aufgabe 5:''' Prädikatenlogik
+
*'''Aufgabe 5:''' Boolschen Algebra
  
==[http://www.logic.at/lvas/fmod/angaben/fmod124.pdf 2012-06-13]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod164.pdf 2016-12-19]==
*'''Aufgabe 1:''' Spiegelsprache von Automaten
+
*'''Aufgabe 1:''' endlichen Automaten angeben (B-Sprache) ([[media:TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017S).pdf|SS2017 - Übung 1 - Aufgabe 14]])
*'''Aufgabe 2:''' Moore/Mealy-Automat modellieren (Mikrowelle)
+
*'''Aufgabe 2:''' Aussagenlogik
*'''Aufgabe 3:''' EBNF für Modula
+
*'''Aufgabe 3:''' Prädikatenlogik
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 11]])
+
*'''Aufgabe 4:''' EBNF für TikZ-Baumdiagramme
*'''Aufgabe 5:''' Prädikatenlogik
+
*'''Aufgabe 5:''' Spezialfall kontextfreie Grammatik "Automatengrammatik"
  
==[http://www.logic.at/lvas/fmod/angaben/fmod125.pdf 2012-09-17]==
+
==[https://www.logic.at/lvas/fmod/angaben/fmod163.pdf 2016-09-06]==
*'''Aufgabe 1:''' Gültigkeit von Gleichungen für formale Sprachen
+
*'''Aufgabe 1:''' Petri-Netz angeben ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 13]])
*'''Aufgabe 2:''' Moore/Mealy-Automat modellieren (Knobelspiel)
+
*'''Aufgabe 2:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016W).pdf|WS2016 - Übung 1 - Aufgabe 11]])
*'''Aufgabe 3:''' EBNF für LaTeX
+
*'''Aufgabe 3:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 11]])
*'''Aufgabe 4:''' Aussagenlogik
+
*'''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]])
*'''Aufgabe 5:''' Prädikatenlogik
+
*'''Aufgabe 5:''' SAT-Solver ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|WS2015 - Übung 1 - Aufgabe 12]])
 +
*'''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/fmod126.pdf 2012-10-29]==
+
==[https://www.logic.at/lvas/fmod/angaben/fmod162.pdf 2016-05-24]==
*'''Aufgabe 1:''' Petri-Netz
+
*'''Aufgabe 1:''' Petri-Netz angeben (Ampeln) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 14]])
*'''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]])
+
*'''Aufgabe 2:''' EBNF für Datalog ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2012W).pdf|WS2012 - Übung 2 - Aufgabe 12]])
*'''Aufgabe 3:''' EBNF für Prolog
+
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016W).pdf|WS2016 - Übung 1 - Aufgabe 10]])
*'''Aufgabe 4:''' Aussagenlogik
+
*'''Aufgabe 4:''' Prädikatenlogik
*'''Aufgabe 5:''' Prädikatenlogik
+
*'''Aufgabe 5:''' 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/fmod131.pdf 2013-01-28]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod161.pdf 2016-01-20]==
*'''Aufgabe 1:''' Automaten ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 9]])
+
*'''Aufgabe 1:''' Moore/Mealy-Automat (Knobelspiel) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016S).pdf|SS2016 - Übung 2 - Aufgabe 3]])
*'''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 2:''' Petri-Netz angeben ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 2 - Aufgabe 16]])
*'''Aufgabe 3:''' EBNF
+
*'''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]])
*'''Aufgabe 4:''' Aussagenlogik
+
*'''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/fmod132.pdf 2013-02-19]==
 
*'''Aufgabe 1:''' Petri-Netz
 
*'''Aufgabe 2:''' Endlichen Automat modellieren (Tresorschloss) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 14]])
 
*'''Aufgabe 3:''' EBNF
 
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013S).pdf|SS2013 - Übung 1 - Aufgabe 12]])
 
*'''Aufgabe 5:''' Prädikatenlogik
 
 
 
==[http://www.logic.at/lvas/fmod/angaben/fmod133.pdf 2013-04-22]==
 
*'''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]==
 
*'''Aufgabe 1:''' Automaten (Mystery-Automat)
 
*'''Aufgabe 2:''' Deterministischen endlichen Automat modellieren (SS2015 - Übung 2 - Aufgabe 3)
 
*'''Aufgabe 3:''' EBNF für Scheme
 
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 1 - Aufgabe 10]])
 
 
*'''Aufgabe 5:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 2 - Aufgabe 14]])
 
*'''Aufgabe 5:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 2 - Aufgabe 14]])
  
==[http://www.logic.at/lvas/fmod/angaben/fmod135.pdf 2013-09-18]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod154.pdf 2015-12-15]==
*'''Aufgabe 1:''' SAT-Solver ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 1 - Aufgabe 11]])
+
*'''Aufgabe 1:''' Mealy-Automat (Roboter) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016S).pdf|SS2016 - Übung 1 - Aufgabe 15]])
*'''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 2:''' EBNF für Modula ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013S).pdf|SS2013 - Übung 2 - Aufgabe 13]])
*'''Aufgabe 3:''' EBNF für Variablendeklaration in Java
+
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013S).pdf|SS2013 - Übung 1 - Aufgabe 12]])
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016S).pdf|SS2016 - Übung 1 - Aufgabe 11]])
+
*'''Aufgabe 4:''' Prädikatenlogik
*'''Aufgabe 5:''' Prädikatenlogik
+
*'''Aufgabe 5:''' Boolschen Algebra
  
==[http://www.logic.at/lvas/fmod/angaben/fmod141.pdf 2014-01-28]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod153.pdf 2015-09-08]==
*'''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]])
+
*'''Aufgabe 1:''' Mealy-Automaten und Transducer angeben (Ternärnumerale) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 3]])
*'''Aufgabe 2:''' EBNF für Prädikatenlogik
+
*'''Aufgabe 2:''' Petri-Netz ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 15]])
 
*'''Aufgabe 3:''' Aussagenlogik
 
*'''Aufgabe 3:''' Aussagenlogik
*'''Aufgabe 4:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014S).pdf|SS2014 - Übung 2 - Aufgabe 13]])
+
*'''Aufgabe 4:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 13]])
*'''Aufgabe 5:''' Beispiel "pure Grammatik" ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015S).pdf|SS2015 - Übung 2 - Aufgabe 10]])
+
*'''Aufgabe 5:''' Beispiel zu Automaten: geänderte Übergangsrelation und geänderte Endzustandsmenge
  
==[http://www.logic.at/lvas/fmod/angaben/fmod142.pdf 2014-02-18]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod152.pdf 2015-05-27]==
*'''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 1:''' Endlichen Automaten modellieren (Tresorschloss) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 14]])
*'''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 2:''' EBNF für Lambdakalkül ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Ü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 3:''' Aussagenlogik
 
*'''Aufgabe 4:''' Prädikatenlogik
 
*'''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]])
+
*'''Aufgabe 5:''' Automaten für den Durchschnitt der Sprachen zweier Automaten
  
==[http://www.logic.at/lvas/fmod/angaben/fmod143.pdf 2014-06-30]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod151.pdf 2015-01-12]==
*'''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 1:''' Mealy-Automat modellieren (Fahrkartenautomat)
*'''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 2:''' Petri-Netz modellieren ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015S).pdf|SS2015 - Übung 2 - Aufgabe 14]])
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014W).pdf|WS2014 - Übung 1 - Aufgabe 11]])
+
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|SS2015 - Ü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]==
 
*'''Aufgabe 1:''' Endlichen Automaten modellieren (Linienhalma) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014W).pdf|WS2014- Übung 1 - Aufgabe 14]])
 
*'''Aufgabe 2:''' Boolsche Ausdrücke
 
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 10]])
 
 
*'''Aufgabe 4:''' Prädikatenlogik
 
*'''Aufgabe 4:''' Prädikatenlogik
*'''Aufgabe 5:''' Petri-Netz
+
*'''Aufgabe 5:''' Spiegelsprache von Automaten ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2012W).pdf|WS2012 - Übung 2 - Aufgabe 7]])
  
 
==[http://www.logic.at/lvas/fmod/angaben/fmod145.pdf 2014-12-16]==
 
==[http://www.logic.at/lvas/fmod/angaben/fmod145.pdf 2014-12-16]==
Zeile 120: Zeile 99:
 
*'''Aufgabe 5:''' SAT-Solver  ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|SS2015 - Übung 1 - Aufgabe 12]])
 
*'''Aufgabe 5:''' SAT-Solver  ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|SS2015 - Übung 1 - Aufgabe 12]])
  
==[http://www.logic.at/lvas/fmod/angaben/fmod151.pdf 2015-01-12]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod144.pdf 2014-09-17]==
*'''Aufgabe 1:''' Mealy-Automat modellieren (Fahrkartenautomat)
+
*'''Aufgabe 1:''' Endlichen Automaten modellieren (Linienhalma) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014W).pdf|WS2014- Übung 1 - Aufgabe 14]])
*'''Aufgabe 2:''' Petri-Netz modellieren ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015S).pdf|SS2015 - Übung 2 - Aufgabe 14]])
+
*'''Aufgabe 2:''' Boolsche Ausdrücke
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|SS2015 - Übung 1 - Aufgabe 11]])
+
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 10]])
 
*'''Aufgabe 4:''' Prädikatenlogik
 
*'''Aufgabe 4:''' Prädikatenlogik
*'''Aufgabe 5:''' Spiegelsprache von Automaten ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2012W).pdf|WS2012 - Übung 2 - Aufgabe 7]])
+
*'''Aufgabe 5:''' Petri-Netz
 +
 
 +
==[http://www.logic.at/lvas/fmod/angaben/fmod143.pdf 2014-06-30]==
 +
*'''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/fmod152.pdf 2015-05-27]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod142.pdf 2014-02-18]==
*'''Aufgabe 1:''' Endlichen Automaten modellieren (Tresorschloss) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 14]])
+
*'''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:''' EBNF für Lambdakalkül ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 11]])
+
*'''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
+
*'''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 4:''' Prädikatenlogik
*'''Aufgabe 5:''' Automaten für den Durchschnitt der Sprachen zweier Automaten
+
*'''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/fmod153.pdf 2015-09-08]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod141.pdf 2014-01-28]==
*'''Aufgabe 1:''' Mealy-Automaten und Transducer angeben (Ternärnumerale) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 3]])
+
*'''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]])
*'''Aufgabe 2:''' Petri-Netz ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 15]])
+
*'''Aufgabe 2:''' EBNF für Prädikatenlogik
 
*'''Aufgabe 3:''' Aussagenlogik
 
*'''Aufgabe 3:''' Aussagenlogik
*'''Aufgabe 4:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 13]])
+
*'''Aufgabe 4:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014S).pdf|SS2014 - Übung 2 - Aufgabe 13]])
*'''Aufgabe 5:''' Beispiel zu Automaten: geänderte Übergangsrelation und geänderte Endzustandsmenge
+
*'''Aufgabe 5:''' Beispiel "pure Grammatik" ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015S).pdf|SS2015 - Übung 2 - Aufgabe 10]])
  
==[http://www.logic.at/lvas/fmod/angaben/fmod154.pdf 2015-12-15]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod135.pdf 2013-09-18]==
*'''Aufgabe 1:''' Mealy-Automat (Roboter) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016S).pdf|SS2016 - Übung 1 - Aufgabe 15]])
+
*'''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:''' EBNF für Modula ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013S).pdf|SS2013 - Übung 2 - Aufgabe 13]])
+
*'''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:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013S).pdf|SS2013 - Übung 1 - Aufgabe 12]])
+
*'''Aufgabe 3:''' EBNF für Variablendeklaration in Java
*'''Aufgabe 4:''' Prädikatenlogik
+
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016S).pdf|SS2016 - Übung 1 - Aufgabe 11]])
*'''Aufgabe 5:'''  Boolschen Algebra
+
*'''Aufgabe 5:''' Prädikatenlogik
  
==[http://www.logic.at/lvas/fmod/angaben/fmod161.pdf 2016-01-20]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod134.pdf 2013-06-24]==
*'''Aufgabe 1:''' Moore/Mealy-Automat (Knobelspiel) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016S).pdf|SS2016 - Übung 2 - Aufgabe 3]])
+
*'''Aufgabe 1:''' Automaten (Mystery-Automat)
*'''Aufgabe 2:''' Petri-Netz angeben ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 2 - Aufgabe 16]])
+
*'''Aufgabe 2:''' Deterministischen endlichen Automat modellieren (SS2015 - Übung 2 - Aufgabe 3)
*'''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]])
+
*'''Aufgabe 3:''' EBNF für Scheme
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016S).pdf|SS2016 - Übung 1 - Aufgabe 11]])
+
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 1 - Aufgabe 10]])
 
*'''Aufgabe 5:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 2 - Aufgabe 14]])
 
*'''Aufgabe 5:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 2 - Aufgabe 14]])
  
==[https://www.logic.at/lvas/fmod/angaben/fmod162.pdf 2016-05-24]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod133.pdf 2013-04-22]==
*'''Aufgabe 1:''' Petri-Netz angeben (Ampeln) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 14]])
+
*'''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:''' EBNF für Datalog ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2012W).pdf|WS2012 - Übung 2 - Aufgabe 12]])
+
*'''Aufgabe 2:''' Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016W).pdf|WS2016 - Übung 1 - Aufgabe 10]])
+
*'''Aufgabe 3:''' EBNF für Regex
*'''Aufgabe 4:''' Prädikatenlogik
+
*'''Aufgabe 4:''' Aussagenlogik
*'''Aufgabe 5:''' reguläre Grammatik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014W).pdf|WS2014 - Übung 2 - Aufgabe 7]])
+
*'''Aufgabe 5:''' Prädikatenlogik
 +
 
 +
==[http://www.logic.at/lvas/fmod/angaben/fmod132.pdf 2013-02-19]==
 +
*'''Aufgabe 1:''' Petri-Netz
 +
*'''Aufgabe 2:''' Endlichen Automat modellieren (Tresorschloss) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 14]])
 +
*'''Aufgabe 3:''' EBNF
 +
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013S).pdf|SS2013 - Übung 1 - Aufgabe 12]])
 +
*'''Aufgabe 5:''' Prädikatenlogik
 +
 
 +
==[http://www.logic.at/lvas/fmod/angaben/fmod131.pdf 2013-01-28]==
 +
*'''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
  
==[https://www.logic.at/lvas/fmod/angaben/fmod163.pdf 2016-09-06]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod126.pdf 2012-10-29]==
*'''Aufgabe 1:''' Petri-Netz angeben ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 13]])
+
*'''Aufgabe 1:''' Petri-Netz
*'''Aufgabe 2:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016W).pdf|WS2016 - Übung 1 - Aufgabe 11]])
+
*'''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]])
*'''Aufgabe 3:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 11]])
+
*'''Aufgabe 3:''' EBNF für Prolog
*'''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]])
+
*'''Aufgabe 4:''' Aussagenlogik
*'''Aufgabe 5:''' SAT-Solver ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|WS2015 - Übung 1 - Aufgabe 12]])
+
*'''Aufgabe 5:''' Prädikatenlogik
*'''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]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod125.pdf 2012-09-17]==
*'''Aufgabe 1:''' endlichen Automaten angeben (B-Sprache) ([[media:TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017S).pdf|SS2017 - Übung 1 - Aufgabe 14]])
+
*'''Aufgabe 1:''' Gültigkeit von Gleichungen für formale Sprachen
*'''Aufgabe 2:''' Aussagenlogik
+
*'''Aufgabe 2:''' Moore/Mealy-Automat modellieren (Knobelspiel)
*'''Aufgabe 3:''' Prädikatenlogik
+
*'''Aufgabe 3:''' EBNF für LaTeX
*'''Aufgabe 4:''' EBNF für TikZ-Baumdiagramme
+
*'''Aufgabe 4:''' Aussagenlogik
*'''Aufgabe 5:''' Spezialfall kontextfreie Grammatik "Automatengrammatik"
+
*'''Aufgabe 5:''' Prädikatenlogik
  
==[http://www.logic.at/lvas/fmod/angaben/fmod171.pdf 2017-01-16]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod124.pdf 2012-06-13]==
*'''Aufgabe 1:''' Petri-Netz angeben
+
*'''Aufgabe 1:''' Spiegelsprache von Automaten
*'''Aufgabe 2:''' Aussagenlogik
+
*'''Aufgabe 2:''' Moore/Mealy-Automat modellieren (Mikrowelle)
*'''Aufgabe 3:''' Prädikatenlogik
+
*'''Aufgabe 3:''' EBNF für Modula
*'''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]])
+
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 11]])
*'''Aufgabe 5:''' Boolschen Algebra
+
*'''Aufgabe 5:''' Prädikatenlogik
  
==[http://www.logic.at/lvas/fmod/angaben/fmod172.pdf 2017-05-31]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod123.pdf 2012-05-23]==
*'''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]])
+
*'''Aufgabe 1:''' Regex <code>[bc]*(ba)+?</code> zu algebraischer Notation und endlichem Automaten mit max. drei &epsilon;-Übergängen
*'''Aufgabe 2:''' Aussagenlogik
+
*'''Aufgabe 2:''' Endlichen Automat modellieren (Aufzugssteuerung)
*'''Aufgabe 3:''' Prädikatenlogik ([[media: TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017W).pdf|WS2017 - Übung 3 - Aufgabe 6]])
+
*'''Aufgabe 3:''' EBNF für Regex
*'''Aufgabe 4:''' EBNF für Dot
+
*'''Aufgabe 4:''' Aussagenlogik
*'''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]])
+
*'''Aufgabe 5:''' Prädikatenlogik
  
==[https://www.logic.at/lvas/fmod/angaben/fmod173.pdf 2017-09-05]==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod122.pdf 2012-03-14]==
*'''Aufgabe 1:''' 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|WS2017 - Übung 3 - Aufgabe 8]])
+
*'''Aufgabe 1:''' Petri-Netz
*'''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]])  
+
*'''Aufgabe 2:''' Endlicher Automat (Tresorschloss)
*'''Aufgabe 3:''' Prädikatenlogik
+
*'''Aufgabe 3:''' EBNF für Datalog ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2012W).pdf|WS2012 - Übung 2 - Aufgabe 12]])
*'''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]])
+
*'''Aufgabe 4:''' Aussagenlogik
*'''Aufgabe 5:''' Beispiel für Aussagenlogik: ''Resolutionsregel''
+
*'''Aufgabe 5:''' Prädikatenlogik
  
== [https://www.logic.at/lvas/fmod/angaben/fmod181.pdf 2018-01-26] ==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod121.pdf 2012-01-17]==
*'''Aufgabe 1:''' Aussagenlogik
+
*'''Aufgabe 1:''' Endlicher Automat zu Regex
*'''Aufgabe 2:''' Prädikatenlogik
+
*'''Aufgabe 2:''' Endlichen Automat (Flussüberquerung)
*'''Aufgabe 3:''' endlichen Automat angeben (Pacman)
+
*'''Aufgabe 3:''' EBNF für Modula
*'''Aufgabe 4:''' Boolschen Algebra
+
*'''Aufgabe 4:''' Aussagenlogik
*'''Aufgabe 5:''' Petri-Netz (Ampeln)
+
*'''Aufgabe 5:''' Prädikatenlogik
  
== [https://www.logic.at/lvas/fmod/angaben/fmod182.pdf 2018-02-15] ==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod111.pdf 2011-12-21]==
*'''Aufgabe 1:''' Aussagenlogik ([[media: TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2018S).pdf|SS2018 - Übung 1 - Aufgabe 10]])
+
*'''Aufgabe 1:''' Regex <code>(ab)+?[ac]*</code> zu algebraischer Notation und endlichem Automaten mit max. drei &epsilon;-Übergängen
*'''Aufgabe 2:''' Prädikatenlogik
+
*'''Aufgabe 2:''' Mealy-Automat für eine Glättung von Bitfolgen
*'''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]])
+
*'''Aufgabe 3:''' EBNF für HTML
*'''Aufgabe 4:''' Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
+
*'''Aufgabe 4:''' Aussagenlogik
*'''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]])
+
*'''Aufgabe 5:''' Prädikatenlogik

Version vom 17. Juni 2019, 10:54 Uhr

Link zu offiziellen alten Prüfungsangaben

2018-02-15

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)

2017-09-05

2017-05-31

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

2016-12-19

  • Aufgabe 1: endlichen Automaten angeben (B-Sprache) (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"

2016-09-06

2016-05-24

2016-01-20

2015-12-15

2015-09-08

2015-05-27

2015-01-12

2014-12-16

2014-09-17

2014-06-30

2014-02-18

2014-01-28

2013-09-18

2013-06-24

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-02-19

2013-01-28

2012-10-29

  • Aufgabe 1: Petri-Netz
  • Aufgabe 2: Moore/Mealy-Automat modellieren (Radiowecker) (WS2015 - Übung 1 - Aufgabe 15)
  • Aufgabe 3: EBNF für Prolog
  • Aufgabe 4: Aussagenlogik
  • Aufgabe 5: Prädikatenlogik

2012-09-17

  • 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

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-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-03-14

  • Aufgabe 1: Petri-Netz
  • Aufgabe 2: Endlicher Automat (Tresorschloss)
  • Aufgabe 3: EBNF für Datalog (WS2012 - Übung 2 - Aufgabe 12)
  • Aufgabe 4: Aussagenlogik
  • Aufgabe 5: Prädikatenlogik

2012-01-17

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

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