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

Aus VoWi
Wechseln zu: Navigation, Suche
(2016-05-24)
(2016-09-06)
Zeile 167: Zeile 167:
  
 
==[https://www.logic.at/lvas/fmod/angaben/fmod163.pdf 2016-09-06]==
 
==[https://www.logic.at/lvas/fmod/angaben/fmod163.pdf 2016-09-06]==
*'''Aufgabe 1:''' ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 13]])
+
*'''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:''' ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016W).pdf|WS2016 - Übung 1 - Aufgabe 11]])
+
*'''Aufgabe 2:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016W).pdf|WS2016 - Übung 1 - Aufgabe 11]])
*'''Aufgabe 3:''' ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 11]])
+
*'''Aufgabe 3:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 11]])
*'''Aufgabe 4:''' ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - 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]])
*'''Aufgabe 5:''' ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|WS2015 - Übung 1 - Aufgabe 12]])
+
*'''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]])
 
*'''oder (Bsp5):''' ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016W).pdf|WS2016 - Übung 1 - Aufgabe 12]])
  

Version vom 17. Juni 2019, 08:20 Uhr

Link zu offiziellen alten Prüfungsangaben

2011-12-21

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

2012-01-17

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

2012-03-14

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

2012-05-23

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

2012-06-13

  • Aufgabe 1: Spiegelsprache von Automaten
  • Aufgabe 2: Moore/Mealy-Automat modellieren
  • Aufgabe 3: EBNF für Modula
  • Aufgabe 4: Aussagenlogik (WS2015 - Übung 1 - Aufgabe 11)
  • Aufgabe 5: Prädikatenlogik

2012-09-17

  • Aufgabe 1: Gültigkeit von Gleichungen für formale Sprachen
  • Aufgabe 2: Moore/Mealy-Automat modellieren
  • Aufgabe 3: EBNF für LaTeX
  • Aufgabe 4: Aussagenlogik
  • Aufgabe 5: Prädikatenlogik

2012-10-29

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

2013-01-28

2013-02-19

2013-04-22

  • Aufgabe 1: SAT-Solver (WS2013 - Übung 1 - Aufgabe 11)
  • Aufgabe 2: Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
  • Aufgabe 3: EBNF für Regex
  • Aufgabe 4: Aussagenlogik
  • Aufgabe 5: Prädikatenlogik

2013-06-24

2013-09-18

2014-01-28

2014-02-18

2014-06-30

2014-09-17

2014-12-16

2015-01-12

2015-05-27

2015-09-08

2015-12-15

2016-01-20

2016-05-24

2016-09-06

2016-12-19

2017-01-16

2017-05-31

2017-09-05

2018-01-26

  • Aufgabe 1:
  • Aufgabe 2:
  • Aufgabe 3:
  • Aufgabe 4:
  • Aufgabe 5:

2018-02-15

Alte Tests in Materialen, falls die Angaben von der FMOD Homepage verschwinden

Materialen zu Formale Modellierung/Lösung alte Tests