2 Разработка программы для машины поста
2.1 Идея решения
Идея решения заключается в том, что максимальный порядок постова слова равен 3 и как только количество подряд стоящих пробелов будет больше 3, то это означает, что постово слово закончилось и нужно возвращаться к началу. (Рис.2; рис.3)
Рисунок 2 – Исходное состояние машины Поста
Рисунок 3 – Конечное состояние машины Поста
2.2 Составление схем
Процесс проектирования заключается в составлении алгоритмов, которые будут исполняться позже на машине Поста. Основными вспомогательными элементами являются крупная схема алгоритма (рис.4), позволяющая представить метод решения в целом; и детализированная схема алгоритма, отображающая будущий код в доступном восприятию человека схематическом виде (рис.5).
Рисунок 4 – Крупная схема алгоритма
Рисунок 5 – Детализированная схема алгоритма. Лист 1
Рис. 5 Лист 2
2.3 Написание программы на машине Поста
Результатом написания кода на машине Поста является работающая программа, позволяющая уменьшать порядок постова слова на 1, при условии, что максимальный порядок 3.
Скриншоты работающей программы представлены на рисунках 6-9.
Рисунок 6 – Работающая программа Поста (Снимок 1)
Рисунок 7 – Работающая программа Поста (Снимок 2)
Рисунок 8 – Работающая программа Поста (Снимок 3)
Рисунок 9 – Работающая программа Поста (Снимок 4)
2.4 Анализ результата
Полученная программа полностью выполняет поставленную задачу. Программа была написана для постова слова порядка 3. Содержит 21 строку кода.
3 РАЗРАБОТКА ПРОГРАММЫ ДЛЯ МАШИНЫ ТЬЮРИНГА
3.1 Идея решения
Идея решения заключается в том, что, начиная с первой буквы моей фамилии, буквы копируются за символ *.
Внешний алфавит машины Тьюринга:
A={
,г,и,з,т,д,н,о,в,*}
3.2 Составление ГСП и ТСП
Рисунок 10 – ГСП программы
Таблица 2 – ТСП программы.
Q\A |
г |
и |
з |
т |
д |
н |
о |
в |
* |
λ |
q1 |
q1 г R |
q1 и R |
q1 з R |
q1 т R |
q1 д R |
q1 н R |
q1 о R |
q1 в R |
_ |
q2 * R |
q2 |
_ |
_ |
_ |
_ |
_ |
_ |
_ |
_ |
_ |
q3 г L |
q3 |
_ |
q4 и L |
_ |
q3 т L |
_ |
q3 н L |
q3 о L |
q3 в L |
q3 * L |
_ |
q4 |
q5 г R |
_ |
q3 з L |
_ |
q3 д L |
_ |
_ |
_ |
_ |
_ |
q5 |
q5 г R |
q5 и R |
q5 з R |
q5 т R |
q5 д R |
q5 н R |
q5 о R |
q5 в R |
q5 * R |
q6 и L |
q6 |
q6 г L |
q6 и L |
q7 з R |
q6 т L |
q6 д L |
q6 н L |
q6 о L |
q6 в L |
q6 * L |
_ |
q7 |
q7 г R |
q7 и R |
_ |
q7 т R |
q7 д R |
q7 н R |
q7 о R |
q7 в R |
q7 * R |
q8 з L |
q8 |
_ |
q9 и L |
_ |
q8 т L |
_ |
q8 н L |
q8 о L |
q8 в L |
q8 * L |
_ |
q9 |
q8 г L |
_ |
q10 з R |
_ |
q8 д L |
_ |
_ |
_ |
_ |
_ |
q10 |
q10 г R |
q10 и R |
q10 з R |
q10 т R |
q10 д R |
q10 н R |
q10 о R |
q10 в R |
q10 * R |
q11 и L |
q11 |
q11 г L |
q11 и L |
q11 з L |
q12 т R |
q11 д L |
q11 н L |
q11 о L |
q11 в L |
q11 * L |
_ |
q12 |
q12 г R |
q12 и R |
q12 з R |
_ |
q12 д R |
q12 н R |
q12 о R |
q12 в R |
q12 * R |
q13 т L |
q13 |
q13 г L |
q13 и L |
q13 з L |
_ |
q14 д R |
q13 н L |
q13 о L |
q13 в L |
q13 * L |
_ |
q14 |
q14 г R |
q14 и R |
q14 з R |
q14 т R |
_ |
q14 н R |
q14 о R |
q14 в R |
q14 * R |
q15 д L |
q15 |
_ |
q16 и L |
_ |
q15 т L |
_ |
q15 н L |
q15 о L |
q15 в L |
q15 * L |
_ |
q16 |
q15 г L |
_ |
q15 з L |
_ |
q17 д R |
_ |
_ |
_ |
_ |
_ |
q17 |
q17 г R |
q17 и R |
q17 з R |
q17 т R |
q17 д R |
q17 н R |
q17 о R |
q17 в R |
q17 * R |
q18 и L |
q18 |
q18 г L |
q18 и L |
q18 з L |
q18 т L |
q18 д L |
q19 н R |
q18 о L |
q18 в L |
q18 * L |
_ |
q19 |
q19 г R |
q19 и R |
q19 з R |
q19 т R |
q19 д R |
_ |
q19 о R |
q19 в R |
q19 * R |
q20 н L |
q20 |
q20 г L |
q20 и L |
q20 з L |
q20 т L |
q20 д L |
_ |
q21 о R |
q20 в L |
q20 * L |
_ |
q21 |
q21 г R |
q21 и R |
q21 з R |
q21 т R |
q21 д R |
q21 н R |
_ |
q21 в R |
q21 * R |
q22 о L |
q22 |
q22 г L |
q22 и L |
q22 з L |
q22 т L |
q22 д L |
q22 н L |
_ |
q23 в R |
q22 * L |
_ |
q23 |
q23 г R |
q23 и R |
q23 з R |
q23 т R |
q23 д R |
q23 н R |
q23 о R |
_ |
q23 * R |
q24 в L |
q24 |
q24 г L |
q24 и L |
q24 з L |
q24 т L |
q24 д L |
q24 н L |
q24 о L |
q24 в L |
q24 * L |
qz λ R |