Änderungen

Zur Navigation springen Zur Suche springen
K
==[http://www.logic.at/lvas/fmod/angaben/fmod153.pdf 2015-09-08]==
*'''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:''' Petri-Netz ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 15]])
*'''Aufgabe 3:''' Aussagenlogik

Navigationsmenü