Запитання з тегом «semi-decidability»

Ми дізналися про поняття перерахування функцій. На практиці вони відповідають мовам програмування. У короткому слові професор зазначав, що клас усіх сумарних функцій (тобто функцій, які завжди припиняються для кожного введення), не перелічується. Це означатиме, що ми не можемо розробити мову програмування, яка дозволяє нам писати всі сумарні функції, але ніяких …

29 computability  semi-decidability  enumeration 

Набір підраховується, якщо він має біекцію з натуральними числами, і він обчислюваний (ce), якщо існує алгоритм, який перераховує його членів. Будь-який нескінченний обчислювальний набір повинен бути підрахунком, оскільки ми можемо побудувати біекцію з перерахунку. Чи є приклади обчислювальних наборів, які не можна обчислити? Тобто бієкція між цим набором і натуральними …

15 computability  semi-decidability 

Тим не менш, багато "відомих" невирішених проблем є, як мінімум, нерозбірливими, їх доповнення не можна визначити. Одним із прикладів може бути проблема зупинки та її доповнення. Однак чи може хтось надати мені приклад, в якому і проблема, і її доповнення не можна визначити і не можна вирішити? Я думав про …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability