Просмотр исходного текста страницы Формально об алгоритмах. Вычислительные модели/Задачи/ex-union-decideable-decideable

Материал из DISCOPAL
Перейти к: навигация, поиск

У вас нет прав на редактирование этой страницы по следующей причине:

Вы не можете выполнять запрошенное действие.


Вы можете просмотреть и скопировать исходный текст этой страницы.

Возврат к странице Формально об алгоритмах. Вычислительные модели/Задачи/ex-union-decideable-decideable.