https://wiki.mafiasi.de/api.php?action=feedcontributions&feedformat=atom&user=85.176.77.62 2026-10-16T12:55:23Z Benutzerbeiträge MediaWiki 1.43.11 https://wiki.mafiasi.de/index.php?title=Ged%C3%A4chtnisprotokoll_FGI210-1&diff=8913 2010-02-19T16:19:31Z

<p>85.176.77.62: </p> <hr /> <div>Aufgabe 1<br /> <br /> <br /> TS1 und TS2 gegeben<br /> <br /> 1. L(TS1) und L(TS2) angeben<br /> <br /> 2. Produktautomaten TS3 konstruieren<br /> <br /> 3. L(TS3) &quot;berechnen&quot;<br /> <br /> 4. Gilt L(TS3) = L(TS1) geschnitten L(TS2)? Falls ja, gilt dies sogar allgemein?<br /> <br /> 5.<br /> <br /> Aufgabe X<br /> <br /> <br /> Algorithmus so ungefähr gegeben:<br /> <br /> f(n)<br /> {<br /> v := 0<br /> for i=0 to n<br /> {<br /> v:=v+i;<br /> }<br /> return v;<br /> }<br /> <br /> 1. Welchen Ausdruck berechnet der Algorithmus für n&gt;0?<br /> <br /> 2. und 3. Zeit- und Platzkomplexität uniform und logarithmisch<br /> <br /> <br /> Aufgabe X<br /> <br /> <br /> Kripke-Struktur gegeben.<br /> <br /> Per CTL-Algorithmus soll geprüft werden, ob EGa gilt.<br /> <br /> <br /> 1. Markiere alle Zustände (+ dazugehörende Kanten), in denen a gilt<br /> <br /> 2. Markiere alle SZK und kennzeichne die nicht trivialen.<br /> <br /> 3. Falls EGa gilt, gib einen entsprechenden Pfad in klein-omega-Schreibweise an. Wie berechnet der Algorithmus diesen Pfad?<br /> <br /> <br /> Außerdem gabs noch Aufgaben: Petrinetze, Vektorielle Zeitstempel, BPA Prozessgraphen und Bisimilarität, Paralleloperator und Prozessgraph</div>

85.176.77.62 https://wiki.mafiasi.de/index.php?title=Ged%C3%A4chtnisprotokoll_FGI210-1&diff=8912 2010-02-19T16:15:24Z

<p>85.176.77.62: Die Seite wurde neu angelegt: Aufgabe 1 TS1 und TS2 gegeben 1. L(TS1) und L(TS2) angeben 2. Produktautomaten TS3 konstruieren 3. L(TS3) &quot;berechnen&quot; 4. Gilt L(TS3) = L(TS1) geschnitten L(TS2)? ...</p> <hr /> <div>Aufgabe 1<br /> <br /> <br /> TS1 und TS2 gegeben<br /> <br /> 1. L(TS1) und L(TS2) angeben<br /> <br /> 2. Produktautomaten TS3 konstruieren<br /> <br /> 3. L(TS3) &quot;berechnen&quot;<br /> <br /> 4. Gilt L(TS3) = L(TS1) geschnitten L(TS2)? Falls ja, gilt dies sogar allgemein?<br /> <br /> 5.<br /> <br /> Aufgabe X<br /> <br /> <br /> Algorithmus so ungefähr gegeben:<br /> <br /> f(n)<br /> {<br /> v := 0<br /> for i=0 to n<br /> {<br /> v:=v+i;<br /> }<br /> return v;<br /> }<br /> <br /> 1. Welchen Ausdruck berechnet der Algorithmus für n&gt;0?<br /> <br /> 2. und 3. Zeit- und Platzkomplexität uniform und logarithmisch<br /> <br /> <br /> Aufgabe X<br /> <br /> <br /> Kripke-Struktur gegeben.<br /> <br /> Per CTL-Algorithmus soll geprüft werden, ob EGa gilt.<br /> <br /> <br /> 1. Markiere alle Zustände (+ dazugehörende Kanten), in denen a gilt<br /> <br /> 2. Markiere alle SZK und kennzeichne die nicht trivialen.<br /> <br /> 3. Falls EGa gilt, gib einen entsprechenden Pfad in klein-omega-Schreibweise an. Wie berechnet der Algorithmus diesen Pfad?</div>

85.176.77.62