العربية
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
مقالات كاملة
فئات
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
انت تكتب
المستعمل
تسجيل الدخول
تسجيل
استعادة كلمة السر
العلامات
علامات اللغة
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
علامة undecidability - هذه الصفحة 8 - GeneraCodice
كيف يمكنني تطبيق نظرية الأرز؟
https://www.generacodice.com/ar/articolo/2448280/كيف-يمكنني-تطبيق-نظرية-الأرز
undecidability
-
rice-theorem
cs.stackexchange
هي اللغة الفارغة L= ∅ مجموعة فرعية من كل اللغات؟
https://www.generacodice.com/ar/articolo/2446142/هي-اللغة-الفارغة-l-مجموعة-فرعية-من-كل-اللغات
halting-problem
-
undecidability
cs.stackexchange
إثبات أن فئة لغات CFG التي يتم إغلاقها تحت الانعكاس غير قابلة للتكرار
https://www.generacodice.com/ar/articolo/2446077/إثبات-أن-فئة-لغات-cfg-التي-يتم-إغلاقها-تحت-الانعكاس-غير-قابلة-للتكرار
automata
-
formal-languages
-
undecidability
-
context-free
cs.stackexchange
حالة خاصة من مجموع فرعي
https://www.generacodice.com/ar/articolo/2445185/حالة-خاصة-من-مجموع-فرعي
complexity-theory
-
algorithms
-
undecidability
-
decision-problem
cs.stackexchange
هل يقابل ما إذا كانت آلة تورينج معينة تتحرك رأسها أكثر من 481 خلايا بعيدا عن العلامة اليسرى، على الإدخال ε؟
https://www.generacodice.com/ar/articolo/2444820/هل-يقابل-ما-إذا-كانت-آلة-تورينج-معينة-تتحرك-رأسها-أكثر-من-481-خلايا-بعيدا-عن-العلامة-اليسرى-على-الإدخال-ε
turing-machines
-
automata
-
undecidability
cs.stackexchange
يتم التحقق مما إذا كان طول برنامج C الذي يمكن أن تولد سلسلة أقل من رقم معين رائع؟
https://www.generacodice.com/ar/articolo/2443763/يتم-التحقق-مما-إذا-كان-طول-برنامج-c-الذي-يمكن-أن-تولد-سلسلة-أقل-من-رقم-معين-رائع
computability
-
halting-problem
-
undecidability
cs.stackexchange
هي مشكلة اتخاذ قرار بشأن ما إذا كان برنامجان له نفس الدلالات الرائعة؟
https://www.generacodice.com/ar/articolo/2442581/هي-مشكلة-اتخاذ-قرار-بشأن-ما-إذا-كان-برنامجان-له-نفس-الدلالات-الرائعة
semantics
-
undecidability
-
decision-problem
cs.stackexchange
TM decidable or undecidable problem
https://www.generacodice.com/ar/articolo/2442421/tm-decidable-or-undecidable-problem
turing-machines
-
undecidability
-
decision-problem
cs.stackexchange
لماذا لا نستطيع أن نثبت التسمم من $ l={\ {\ langle m \ rangle: m $ يقبل $ \ epsilon \} $ مع رسم بياني تكوينات؟
https://www.generacodice.com/ar/articolo/2441982/لماذا-لا-نستطيع-أن-نثبت-التسمم-من-l-langle-m-rangle-m-يقبل-epsilon-مع-رسم-بياني-تكوينات
turing-machines
-
computability
-
undecidability
cs.stackexchange
Is it possible that the subtraction between two undecidable languages is regular?
https://www.generacodice.com/ar/articolo/1810854/is-it-possible-that-the-subtraction-between-two-undecidable-languages-is-regular
turing-machines
-
undecidability
-
regular-languages
-
semi-decidability
cs.stackexchange
«
5
6
7
8
9
10
»
العثور على نتائج: 685