| 单词 | reachability |
| 释义 | BETA Examples ofreachabilityDictionary> Examples ofreachability reachabilityisn’t in the Cambridge Dictionary yet. You can help! Add a definition Thereachabilityproperty is clearly satisfied, since the output store is the same as the input store. From theCambridge English Corpus The second part of the theorem expresses what we will call thereachabilityproperty. From theCambridge English Corpus Our verification method makes use of symbolic representations of infinite set of system states and of symbolic backwardreachability. From theCambridge English Corpus Also, as unfold/fold transformations are equivalence preserving one needs a post-processingreachabilityanalysis to delete dead code (for the queries under consideration). From theCambridge English Corpus For the sake of brevity, we will illustrate the connection between provability andreachabilityin the extended setting through the following example. From theCambridge English Corpus Sometimes this property is also known under the name ofreachability. From theCambridge English Corpus Reachabilityis defined as the max value of missing reach to get any subtasks. From theCambridge English Corpus The usual recursive definition of thereachabilityof a vertex in a digraph is tight only when the graph is acyclic. From theCambridge English Corpus There, it is shown that adding reset to the language used in this paper makes evenreachabilityundecidable for programs with at least two arrays. From theCambridge English Corpus The features of the web that they are most likely to combine are information on off-linereachability, a mission statement, and features of formal accountability. From theCambridge English Corpus For this, we define two kinds ofreachability-global and local-and their related concepts. From theCambridge English Corpus The objective here is to studyreachability, minimization and minimal realization in these bicategories. From theCambridge English Corpus In each case we studyreachabilityand minimization, and prove a minimal realization theorem. From theCambridge English Corpus The objective here is to study functorial aspects ofreachability, minimisation and minimal realisation. From theCambridge English Corpus Moreover, as is usual in automata theory, we requirereachabilityfor our compositional minimisation. From theCambridge English Corpus The proof of thereachabilityis similar for all of the remaining cases, so we will omit arguing it in the rest of the discussion. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。