У меня есть набор 'A', и я хочу показать, что он разрешим, однако обозначения набора меня смутили. Там написано A = {: M - машина Тьюринга, такая что M (00) [100] = accept} . Я не уверен, что означает следующее. M (00) [100] = принять . Кто-нибудь может мне помочь? спасибо.