
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.


coremsg

das-kirchensyntheseproblem-über-kontinuierliche-zeit


Das Kirchensyntheseproblem über kontinuierliche Zeit


title_rewrite


Affine string-to-string Funktionen, die durch den planaren affinen λ-Kalkül λ℘ definierbar sind, stimmen genau mit Funktionen der ersten Ordnung überein.


charakterisierung-von-funktionen-der-ersten-ordnung-durch-den-planaren-affinen-λ-kalkül


Charakterisierung von Funktionen der ersten Ordnung durch den planaren affinen λ-Kalkül
