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) Diskussion:Lineare temporale Logik#c-178.200.47.45-2012-02-02T12:53:00.000Z11) 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? (nicht signierter Beitrag von PeterMüllerr (Diskussion | Beiträge) Diskussion:Lineare temporale Logik#c-PeterMüllerr-2021-09-01T17:03:00.000Z11)Beantworten