8.3.7. Подпрограмма 'закачки' мсар1 в неоднородную мса

1. Назначение – присвоение значений мса исходного автомата элементам мса

итогового автомата при неодинаковых множествах

состояний.

2. Формальные параметры:

mcaр11, mcaр12 mcaр13, mcaр14 – матрицы “закачиваемого”

автомата;

mcaр1, mcaр2 mcaр3, mcaр4 – матрицы итогового автомата;

yp1, myp1 – множество состояний исходного

автомата и его мощность;

yp, myp – множество состояний итогового

автомата и его мощность;

kp, kp1, kun – количество частей функции перехода матриц

результирующего, исходного и универсаль-

ного автоматов.

3. Обращение: zakcano (mcaр1, mcaр2, mcaр3, mcap4, yp, myp, kp, yun, myun,

mcaр11, mcaр12, mcaр13, mcaр14, yp1, myp1, kp1,

kun).

Заключение

В данном учвебном пособии изложены основы прикладной теории автоматов применительно к компьютерам.

Общие сведения об автоматах включают в себя основные определения, обозначения, изображение, построение, свойства и характеристики автоматов, типы автоматов, отношения между автоматами, “0”, ”1” алгебры автоматов, автоматные грамотность и культура, значение автоматов и краткую историческую справку).

Описаны способы задания (описания) автоматов (начальные и автоматные языки), условия корректности различных средств описания.

Изложены операции над автоматами (композиция автоматов, декомпозиция автомата, алгебраические операции, проверка отношения и равенства, упрощение автомата), законы и тождества алгебры автоматов.

Описаны вопросы синтеза и анализа логических схем управляющих автоматов с жесткой логикой, вопросы контроля и диагностирования работы автоматов.

Изложены основные подпрограммы преобразования автоматов.

В пособии имеются приложения подпрограмм преобразования автоматов и контрольных вопросов курса.

ЛИТЕРАТУРА

1. Автоматы. Сборник статей под редакцией К.Э.Шеннона и Дж. Маккарти.

Перевод с анг. под редакцией А.А.Ляпунова. – М.: Изд - во “Иностранная

литература”, 1956. – 403 с.

2. Агибалов Г.П., Оранов А.М. Лекции по теории конечных автоматов.

Учебное пособие. -Томск: Изд-во Томского госуниверситета, 1984.

- 186 с.

3. Айзерман М.А., Гусев Л.А. и др. Логика, автоматы, алгоритмы.– М.: Физ-

матгиз, 1963.

4. Баранов С.И. Синтез микропрограммных автоматов. 2-е изд. - Л.: Энер-

гия, 1979. - 232 с.

5. Гилл А. Введение в теорию конечных автоматов. – М.: Наука, 1965.

6. Глушков В.М. Синтез цифровых автоматов.- М.: Физматгиз, 1962. – 476 с.

7. Кобринский Н.Е., Трахтенброт Б.А. Введение в теорию конечных авто-

матов. – М.: Физматгиз, 1962.

8. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для ин-

женеров. 2-е изд. - М: Энергия, 1987. - 311 с.

9. Майоров С.А., Новиков Г.И. Принципы организации цифровых вычисли-

тельных машин. - М.: Высшая школа, 1975. - 311 с.

10. Савельев А.Я. Прикладная теория цифровых автоматов. - М.: Высшая

школа, 1987. - 272 с.

11. Самофалов К.Г. и др. Прикладная теория цифровых автоматов. - Киев:

Высшая школа, 1987.

12. Трахтенброт Б.А. , Барздинь Я.М. Конечные автоматы (поведение и син-

тез). – М.: Наука, 1970. – 400 с.

13. Триханов А.В. Алгоритмизация и микропрограммирование операций

ЭВМ (множества, графы, кубы, кубические покрытия). Учебное пособие.

– Томск: ИПФ ТПУ, 1995. - 108 с.

14. Триханов А.В. Основы прикладной теории алгоритмов. Учебное пособие.

- Томск: Ротапринт ТПИ, 1991.- 96 c.

15. Триханов А.В. Синтез логических схем. Учебное пособие. - Томск: Рота-

принт ТПИ, 1986. - 96 c.

16. Триханов А.В. Прикладная теория цифровых автоматов. Рабочая прог-

рамма, первое задание, методические указания. -Томск: Ротапринт ТПИ,

1990. - 23 с.

17. Триханов А.В. Теория автоматов. Рабочая программа, методические ука-

зания и контрольное задание. -Томск: Изд. ТПУ, 1999. - 51 с.

18. Чередов А.Д. Проектирование дискретных устройств. Учебное пособие. –

Томск: Изд. ТПУ, 1994. - 96 с.