Examples of undecidable

undecidable isn’t in the Cambridge Dictionary yet. You can help!
Because of the (conv) rule, the relation c may be undecidable.
Note that the property structurally recursive is actually undecidable, hence we cannot hope for a complete decision procedure.
It follows that the right-hand side is also undecidable.
If not so, we would be able to solve the marking equivalence problem that is known to be undecidable.
The subtyping problem for second order types is undecidable.
However, semantic completeness is achieved at the cost of making the set of types of a term undecidable.
For example, if a first-order theory including arithmetic is being used, then consistency is undecidable.
Since the totality of recursive functions it is, in general, undecidable, this interpretation is not a computational model of functional programming.
Ideally, one would like to search by specification, but even if library functions were formally specified, it would be undecidable whether two specifications were equivalent.
The instrumented semantics can be thought of as an exact (though undecidable) flow analysis.
As a consequence, the halting problem for register machines is undecidable.
A smaller set of errors are undecidable even given non-local structural information, and require further pragmatic knowledge of the discourse.
As it is possible to have blank nodes in the conclusion of a rule, log:conclusion and log:supports are undecidable and may run forever.
There, it is shown that adding reset to the language used in this paper makes even reachability undecidable for programs with at least two arrays.
In a global setting, when type sharing constraints are involved, this kind of question is undecidable.
This fact affects our results as well since we rely on o derivability, which is generally undecidable, too.
In all their generality, they are certainly undecidable.

随便看

反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。