Diskussion:Lineare temporale Logik
Der Artikel Lineare temporale Logik basiert ursprünglich auf einer Übersetzung von Linear temporal logic aus der englischsprachigen Wikipedia, in dieser Version vom 00:37, 16 August 2008. Eine Liste der Autoren ist hier verfügbar.
Der Inhalt ist unter der Creative-Commons-Lizenz Namensnennung – Weitergabe unter gleichen Bedingungen 4.0 sowie der GNU-Lizenz für freie Dokumentation verfügbar.
"LTL ist äquivalent zur Prädikatenlogik mit einstelligen Relationssymbolen {\displaystyle (P_{i})_{i\geq 1}} und der kleiner-Relation {\displaystyle {\text{FO}}[<,(P_{i})_{i\geq 1}]}, wie auch stern-freien regulären Ausdrücken oder deterministischen endlichen Automaten mit einer Schleifenkomplexität von 0."
- die angeblich äquivalente eigenschaft schleifenkomplexität=0 hab ich mal rausgenommen, da zwar gilt schleifenkomplexität=sternhöhe, sich stern-frei aber auf die generalisierte sternhöhe bezieht. ist ja auch klar, da endliche automaten mit schleifenkomplexität=0 nur endlich viele wörter akzeptieren können. (nicht signierter Beitrag von 178.200.47.45 (Diskussion) 13:53, 2. Feb. 2012 (CET)) Beantworten
Worauf bezieht sich linear?
Ich glaube, auf die Zeit, nicht auf die Logik, stimmt's? Also, soll es strenggenommen nicht „linear-temporale Logik" heißen?