В доказательстве теоремы 20.2 для построения м.Т - Ответ на вопрос по любому предмету №1171057

Вопрос

В доказательстве теоремы 20.2 для построения м.Т MП, моделирующей работу структурированной программы П с переменными x1, … , xm, используются м.Т. Mij (1 ≤ i, j ≤ m), которые реализуют присваивание xi := xj, т.е. переписывают содержимое j-го этажа ленты на i-ый. Пусть m=4, i=2, j=4. Пусть Σ = { < a1, a2, a3, a4> | ai ∈ {∧, |}, i=1,2,3,4 } – алфавит ленты, а Q={ q, s, p },– множество состояний M24, в котором q - начальное, а p – заключительное состояние.Какие из следующих программ могут быть использованы в качестве программы для M24 ?(В текстах программ a,b,c,d – это произвольные символы из алфавита{∧, |})P1: q →​ q П , s →​ s Л , q →​ q П , s <∧, ∧, ∧, ∧> →​ p <∧, ∧ , ∧, ∧> П. q →​ s Л ,P2: q →​ q П , s →​ s Л , q →​ q П , s →​ p П. q →​ s Л ,P3: q →​ q П , s →​ s Л , q →​ s Л , s →​ p П.

• только P1
• только P2
• только P3
• P1 и P2
• P1 и P3
• P2 и P3
• ни одна

Ответ

Ответ за 12 руб.

Опечатка или предложение по улучшению?