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 Attribution-ShareAlike 3.0 Unported Lizenz sowie der GNU-Lizenz für freie Dokumentation verfügbar.

"LTL ist äquivalent zur Prädikatenlogik mit einstelligen Relationssymbolen $(P_{i})_{i\geq 1}$ und der kleiner-Relation ${\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))

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? (nicht signierter Beitrag von PeterMüllerr (Diskussion | Beiträge) 19:03, 1. Sep. 2021 (CEST))