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.