Ausdruckskraft von CTL < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 14:10 Sa 06.03.2010 | | Autor: | AriR |
Hey Leute,
habe ein kleines Verständnisproblem zur Ausdruckskraft von CTL und zwar:
mtv.cs.tu-berlin.de/lv/ws0607/mtv3-logik/docs/lau-CTL_Foliensatz.pdf
Laut Folie 22 gilt hier, dass sowas wie AFGP nicht in CTL dargestellt werden kann.
Meiner Meinung ist aber AFAGP in CTL semantisch gleich mit AFGP aus LTL.
Hat einer von euch evtl ein Beispiel, dass meine Behauptung widerlegt? Am besten wäre eine konkreter Automat (Kripkestruktur etc)
gruß :)
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 14:20 Fr 12.03.2010 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
