"decidedly" معنى adv. تماما, قطعا, من غير ريب, بلا تردد, بشكل جازم
أمثلة
Turing machines can decide any context-free language, in addition to languages not decidable by a push-down automaton, such as the language consisting of prime numbers. تستطيع آلات تورنغ تحديد أي لغة خالية من السياق، بالإضافة إلى اللغات الغير قابلة للتحديد عن طريق مستودع معلومات الكومبيوتر الذاتي، مثل اللغة التي تتكون من الأعداد الأولية.
In fact, the property of a binary string having only zeros (and no ones) can be easily proved not to be decidable by a (non-approximate) sub-linear time algorithm. في الواقع ، يمكن بسهولة إثبات خاصية الخيط الثنائي التي تحتوي على أصفار فقط (ولا توجد أصفار) على أنها غير قابلة لضبطها بواسطة خوارزمية وقتية فرعية (غير تقريبية).
A formal system is said to be recursive (i.e. effective) or recursively enumerable if the set of axioms and the set of inference rules are decidable sets or semidecidable sets, respectively. يقال إن النظام الشكلي يكون متميزًا بالاستدعاء الذاتي (أي الفاعلية) إذا كانت مجموعة البديهيات ومجموعة قواعد الاستدلال عبارة عن مجموعات يمكن تقريرها أو مجموعات شبه محددة، حسب السياق.
جوال إصدار