Курсовая работа: Многоголовочная машина Тьюринга
Рисунок 6. Диаграмма развёртывания
Требования к математическому обеспечению:
- Программа реализует алгоритм машины Тьюринга.
- Используются математические преобразования семантических сетей в тексты на заданном алгоритмическом языке.
- Используются математические преобразования для дополнения семантических сетей за счет других семантических сетей.
- При приобретении знаний используются только известные математические соотношения.
- Используются математические отношения для распознавания словосочетаний.
Требования к лингвистическому обеспечению:
- В программе может использоваться только русский язык.
5. Состав и содержание работ по содержанию системы
5.1 Перечень этапов работ по созданию системы
Этапы по созданию системы следующие:
1. Техническое задание.
2. Технический проект.
3. Рабочий проект.
5.2 Перечень организационно-исполнительных работ
Исполнитель: Тонкова Н.С. студент 4-го курса, 3 группа.
6 . Технический проект на систему
В рамках данной работы сначала следует подробнее рассмотреть теоретические аспекты машины Тьюринга, а затем разобрать основы морфологического разбора предложения.
Алан Тьюринг (1912–1954) – английский математик. Он дал определение алгоритма через построение, названное машиной Тьюринга. В 1936 году Тьюринг предложил определение вычислимости, которое основано на анализе осуществления алгоритма человеком, располагающим ручкой для письма и бумагой. Он рассматривает это как последовательность очень простых действий следующего вида:
(a) – запись или стирание одного символа;
(b) – перенесение внимания с одного участка бумаги на другой.
На каждом шаге алгоритм определяет действие, которое будет совершено на следующем шаге. Это зависит только от (i) символа на участке бумаги, который обозревается в данный момент глазом (или другим рецептором) и (ii) текущим состоянием (мысли) человека. Чтобы обеспечить возможность реализации алгоритма, мы предполагаем, что это состояние полностью определяется самим алгоритмом и предысторией его работы. Оно может включать частичную запись того, что произошло до сих пор, но не зависит от настроения или сообразительности исполнителя алгоритма или от его самочувствия. Кроме того, существует только конечное число различимых состояний, в которых может находиться исполнитель, так как он конечен в рассматриваемых аспектах. Состояние исполнителя может, конечно, изменяться в результате действия, предпринятого на этом шаге.
Тьюринг изобрёл конечные машины, которые выполняют алгоритмы, представленные таким способом. Для каждого алгоритма существует своя, хотя и не единственная, машина. Рассмотрим кратко эти машины.
Итак, машина Тьюринга – это конечное устройство, которое производит действия на бумажной ленте.
В состав Машины Тьюринга входит бесконечная в обе стороны лента, разделённая на ячейки (лента представляет собой бумагу, которая требуется исполнителю для осуществления алгоритма; каждый квадрат представляет собой порцию ленты, обозреваемую в данный момент) и управляющее устройство, способное находится в одном из множества состояний. Число возможных состояний управляющего устройства конечно и точно задано. В каждой ячейке может быть записан некоторый символ из фиксированного (для данной машины) конечного множества, называемого алфавитом данной машины. Один из символов алфавита выделен и называется «пробелом» (s0) предполагается, что изначально вся лента пуста, то есть, заполнена пробелами.
Машина Тьюринга может менять содержимое ленты с помощью специальной читающей и пишущей головки, которая движется вдоль ленты. В каждый момент головка находится в одной из ячеек. Машина Тьюринга получает от головки информацию о том, какой символ та видит, и в зависимости от этого (и от своего внутреннего состояния) решает, что делать, то есть какой символ записать в текущей ячейке и куда сдвинуться после этого (налево, направо или остаться на месте). При этом также меняется внутреннее состояние машины (мы предполагаем, что машина не считая ленты, имеет конечную память, то есть конечное число внутренних состояний).
Таким образом, чтобы задать машину Тьюринга, надо указать следующие объекты:
· произвольное конечное множество A (алфавит); его элементы называются символами;