S 31

44

2 e

ОГЛАВЛЕНИЕ

8

д მ/

10 11 15 13 1+ 12 те, т. 18 18 50

Предисловие

Введение

Общие понятия и обозначения Глава I. Конечный автомат

§1. Конечные автоматы

§2. Формальные системы аппарат описания регуляр-

53. эквивалентных преобразований

-

модель и поведение

17

17 22

32

§ 2. Поведение конечного автомата

Глава 11. Описание регулярных множеств

§ 1. Свойства классов явного отношения эквивалентно- сти. Автомат 4 (L)

ных множеств

§ 4. Отношение эквивалентности Ек

37

15. Алгоритмы анализа и синтеза автоматов

Глава II. Некоторые дополнения к теории ЯЭП

51. Теоремы о размерах Яэп.

2 эквивалентных преобразований ЯЭП 2 53. Операции над множествами, описанными на ЯЭП Глава IV. Языки эквивалентных преобразований и конеч-

автоматные множества

§ 1. Реализуемость множеств конечными автоматами §2. Реализуемость множеств детерминированными ав-

томатами

ных автоматов

•

хода

53. Реализуемость множеств неинициальными автома-

тами

Глава V. Множества с конечной памятью

§ 1. Модель объекта с конечной памятью 52 Свойства множеств с конечной памятью 53. Свойства МКП, реализуемых автоматами 54 Множества с конечной памятью и лентных преобразований

15. О расшифровке «черного ящика», являющегося АКП Глава VI. Некоторые приложения

§ 1. Минимизация числа состояний детерминирован-

52 Расшифровка автоматов с помощью анкетного под-

53. Поведение двух взаимосвязанных автоматов, моде-

109

112

112

117

122

языки эквива-

133

138

144

THE 2 SEERTIR EN BRE

4

7

14

32

41

47

53

64

64

73

80

93

93

97

144

148

лирующих систему

«объект, управления управ-

ляющее устройство»

§4 Язык параллельных композиций

151 164

Приложение

184

Литература

Karton 220