Курсовая работа: Лисп-реализация конечных автоматов

(close input_stream)

(setq output_stream (open «d:\\KA.txt» :direction:output))

(print (KA start end funct text) output_stream)

(terpri output_stream)

(close output_stream)

5. Пример выполнения программы

Пример 1

Рисунок 8 – Входные данные

Рисунок 9 – Выходные данные

Пример 2

Рисунок 10 – Входные данные

Рисунок 11 – Выходные данные

Пример 3.

Рисунок 12 – Входные данные

Рисунок 13 – Выходные данные

Заключение

Мышление в терминах конечных автоматов (то есть разбиение исполнения программы на шаги автомата и передача информации от шага к шагу через состояние) необходимо при построении событийно-ориентированных приложений. В этом случае программирование в стиле конечных автоматов оказывается единственной альтернативой порождению множества процессов или потоков управления.

Часто понятие состояний и машин состояний используется для спецификации программ. Так, при проектировании программного обеспечения с помощью UML для описания поведения объектов используются диаграммы состояний. Кроме того, явное выделение состояний используется в описании сетевых протоколов.

Итогом работы можно считать созданную функциональную модель реализации конечных автоматов. Созданная функциональная модель и ее программная реализация могут служить органической частью решения более сложных задач.

Список использованных источников и литературы

1. Бронштейн, И.Н. Справочник по математике для инженеров и учащихся втузов [Текст] / И.Н. Бронштейн, К.А. Семендяев. – М.: Наука, 2007. – 708 с.

2. Дехтярь, М.И. Введение в схемы, автоматы и алгоритмы. [Электронный ресурс] / М.И. Дехтярь. – М.: Наука, 2002. С. 642.

3. Конечный автомат [Электронный ресурс] – Режим доступа: http://ru/wikipedia.org/wiki/Конечный_автомат.