Anmelden
Einblick - Logik und Automatentheorie
Das Kirchensyntheseproblem über kontinuierliche Zeit
Es gibt Phänomene in der kontinuierlichen Zeit, die sich sehr von der kanonischen diskreten Zeitdomäne der natürlichen Zahlen unterscheiden. Das Kirchensyntheseproblem ist in der kontinuierlichen Zeit indeterminiert und das Dichotomie-Theorem gilt nicht. Es gibt jedoch Algorithmen, die entscheiden können, ob es einen MSO[<]-definierbaren Operator gibt, der eine gegebene Spezifikation implementiert.
Charakterisierung von Funktionen der ersten Ordnung durch den planaren affinen λ-Kalkül
Affine string-to-string Funktionen, die durch den planaren affinen λ-Kalkül λ℘ definierbar sind, stimmen genau mit Funktionen der ersten Ordnung überein.
Produkte
© 2024 by Linnk AI