Sentence examples for is decidable from inspiring English sources

Decidability of REOS unification implies that sequence unification with regular hedge language constraints is decidable, generalizing the decidability result of word unification with regular constraints to terms.

(To get a taste of his proof, imagine the dizzying implications of feeding the decidability machine its own program, to determine whether it is decidable).

It is remarkable that the satisfiability problem of the binder-free hybrid logic over arbitrary frames is decidable in PSPACE, which is the same as the complexity of deciding satisfiability in ordinary modal logic.

One important characteristic of this system is that it is decidable.

Consequently, the discrete time budget-constrained synthesis problem is decidable for rectangular hybrid automata.

We show that strategy logic is decidable, by constructing tree automata that recognize sets of strategies.

Finally, we prove that bisimilarity is decidable in a natural subclass of normed PA processes.

We present two classes where the models belong to a sub-class of NSSTs for which it is decidable.

We also prove that it is decidable whether or not a context-free language is an involution hypercode.

Then we show that verification of a powerful first-order variant of the μ-calculus is decidable for such theories.

Analysis of undecidability results allows us to identify a significant new fragment of RAL for which model checking is decidable.