decidable adj
- resoluble
Resultats de la cerca per a «decidable»
Exemples d’ús (fonts externes)
anglès → català (1 resultat)
| The time-bounded reachability problem is conditionally decidable, and unconditionally decidable in two dimensions. | El problema d’accessibilitat acotat en el temps és condicionalment decidible i incondicionalment decidible en dues dimensions. |
| Font: AINA | |
| 7, then the Infinite Zeros Problem is decidable. | 7, llavors el problema dels zeros infinits és decidible. |
| Font: AINA | |
| This provides a decidable stochastic extension of o-minimal hybrid systems. | Això proporciona una extensió estocàstica decidible dels sistemes híbrids o-minimal. |
| Font: AINA | |
| We identify a number of decidable and undecidable fragments of first-order concatenation theory. | Identifiquem una sèrie de fragments decidibles i indecidibles de la teoria de la concatenació de primer ordre. |
| Font: AINA | |
| We prove that the theory of all modules over the ring of algebraic integers is decidable. | Provem que la teoria de tots els mòduls sobre l’anell dels enters algebraics és decidible. |
| Font: AINA | |
| Given two deterministic finite automata A and B, it is decidable whether they accept the same language. | Donats dos autòmats finits deterministes A i B, és decidible saber si accepten el mateix llenguatge. |
| Font: wikimatrix | |
| We first present a decidable sufficient condition for their boundedness when the maximal exponential growth rate equals one. | Primer presentem una condició suficient decidible per acotar-la quan la taxa de creixement exponencial màxima és igual a un. |
| Font: AINA | |
| This choice leads to false alarms, but also makes the reachability problem decidable for virtually any hybrid system. | Aquesta elecció condueix a falses alarmes, però també fa que el problema d’accessibilitat sigui solucionable per a pràcticament qualsevol sistema híbrid. |
| Font: AINA | |
| The decision problem of whether the Turing machine with index e will halt on every input is not decidable. | El problema de decisió de saber si la màquina amb índex e s’aturarà per tota entrada és no decidible. |
| Font: wikimatrix | |
| Additionally, we show that the theory of finite fields remains decidable when first-order logic is expanded with parity quantifiers. | A més, mostrem que la teoria de camps finits continua sent decidible quan la lògica de primer ordre s’expandeix amb quantificadors de paritat. |
| Font: AINA | |
| Mostra més exemples | |