У меня есть набор «А», и я хочу показать, что он разрешим, однако обозначения набора меня смутили. Там написано, что A = {: M - машина Тьюринга, такая что M (00) [100] = accept}. Я не уверен, что означает следующее ...
вопрос задан: 17 January 2019 14:48