CTL-Syntax Bei der auf dem Übungsblatt angegebene CTL-Syntax fehlt die Alternative, dass eine Formel auch einfach 'true' sein kann. Darf man das trotzdem in den Aufgaben verwenden? https://ira.informatik.uni-freiburg.de/phorum/read.php?58,3394,3394#msg-3394 Tue, 17 Dec 2024 10:32:34 +0100 Phorum 5.2.23 https://ira.informatik.uni-freiburg.de/phorum/read.php?58,3394,3397#msg-3397 Re: CTL-Syntax https://ira.informatik.uni-freiburg.de/phorum/read.php?58,3394,3397#msg-3397 Leonore Winterer Rechnerarchitektur SS 2010 Mon, 07 Jun 2010 22:11:09 +0200 https://ira.informatik.uni-freiburg.de/phorum/read.php?58,3394,3396#msg-3396 Re: CTL-Syntax https://ira.informatik.uni-freiburg.de/phorum/read.php?58,3394,3396#msg-3396
„True“ und „false“ fehlen nicht in der CTL-Syntax, da beide atomare Aussagen sind. Nimmt man an, dass true und false nicht in der CTL-Syntax enthalten währe konnte man mit „a“ atomare Aussage
- (a und nicht a) false und mit
- (a oder nicht a) true erzeugen.

MfG
Stefan Hillebrecht]]> Stefan Hillebrecht Rechnerarchitektur SS 2010 Mon, 07 Jun 2010 11:29:32 +0200 https://ira.informatik.uni-freiburg.de/phorum/read.php?58,3394,3394#msg-3394 CTL-Syntax https://ira.informatik.uni-freiburg.de/phorum/read.php?58,3394,3394#msg-3394 Leonore Winterer Rechnerarchitektur SS 2010 Sun, 06 Jun 2010 15:04:34 +0200