ВУЗ:
Составители:
41
2 ИНСТРУМЕНТАЛЬНАЯ СИСТЕМА РАЗРАБОТКИ И ВЕРИФИКАЦИИ
ПАРАЛЛЕЛЬНЫХ АЛГОРИТМОВ. . . . . . . . . . . . . . . .
2.1 К
ОНТЕКСТНО-НЕЗАВИСИМОЕ МЕНЮ. . . . . . . . . . . . . . . . . . . . . . . .
2.2 К
ОНТЕКСТНО-ЗАВИСИМОЕ МЕНЮ. . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Я
ЗЫК РЕГУЛЯРНЫХ ВЫРАЖЕНИЙ АЛГЕБРЫ СОБЫТИЙ. . . . . . . . . . . . .
2.4 Я
ЗЫК СИСТЕМ КАНОНИЧЕСКИХ УРАВНЕНИЙ И СИСТЕМ ФУНКЦИЙ ВЫХОДОВ. . . . . .
2.5 ЯЗЫК ТАБЛИЦ ПЕРЕХОДОВ И ВЫХОДОВ. . . . . . . . . . . . . . . . . . . . . . .
2.6 Я
ЗЫК ГРАФИЧЕСКИХ СХЕМ АЛГОРИТМОВ. . . . . . . . . . . . . . . . . . . . .
2.7 М
ОДЕЛИРОВАНИЕ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.8 М
ОДЕЛИРОВАНИЕ УПРАВЛЯЮЩЕГО АВТОМАТА. . . . . . . . . . . . . . . . .
2.9 М
ОДЕЛИРОВАНИЕ ОПЕРАЦИОННОГО АВТОМАТА. . . . . . . . . . . . . . . .
3 ПРИМЕРЫ ПРОЕКТИРОВАНИЯ ЦИФРОВЫХ УСТРОЙСТВ. . . . . . .
3.1 А
ВТОМАТ-РАСПОЗНАВАТЕЛЬ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 А
ВТОМАТ-ПРЕОБРАЗОВАТЕЛЬ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
СПИСОК ЛИТЕРАТУРЫ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
16
16
17
20
22
26
27
27
29
33
34
36
42
2 ИНСТРУМЕНТАЛЬНАЯ СИСТЕМА РАЗРАБОТКИ И ВЕРИФИКАЦИИ ПАРАЛЛЕЛЬНЫХ АЛГОРИТМОВ. . . . . . . . . . . . . . . . 13 2.1 КОНТЕКСТНО-НЕЗАВИСИМОЕ МЕНЮ. . . . . . . . . . . . . . . . . . . . . . . . 16 2.2 КОНТЕКСТНО-ЗАВИСИМОЕ МЕНЮ. . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.3 ЯЗЫК РЕГУЛЯРНЫХ ВЫРАЖЕНИЙ АЛГЕБРЫ СОБЫТИЙ. . . . . . . . . . . . . 17 2.4 ЯЗЫК СИСТЕМ КАНОНИЧЕСКИХ УРАВНЕНИЙ И СИСТЕМ ФУНКЦИЙ ВЫХОДОВ. . . . . . 2.5 ЯЗЫК ТАБЛИЦ ПЕРЕХОДОВ И ВЫХОДОВ. . . . . . . . . . . . . . . . . . . . . . . 20 2.6 ЯЗЫК ГРАФИЧЕСКИХ СХЕМ АЛГОРИТМОВ. . . . . . . . . . . . . . . . . . . . . 22 2.7 МОДЕЛИРОВАНИЕ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.8 МОДЕЛИРОВАНИЕ УПРАВЛЯЮЩЕГО АВТОМАТА. . . . . . . . . . . . . . . . . 27 2.9 МОДЕЛИРОВАНИЕ ОПЕРАЦИОННОГО АВТОМАТА. . . . . . . . . . . . . . . . 27 3 ПРИМЕРЫ ПРОЕКТИРОВАНИЯ ЦИФРОВЫХ УСТРОЙСТВ. . . . . . . 29 3.1 АВТОМАТ-РАСПОЗНАВАТЕЛЬ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 3.2 АВТОМАТ-ПРЕОБРАЗОВАТЕЛЬ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 СПИСОК ЛИТЕРАТУРЫ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 42 41