Перечень тем

Тема 1 Конечные автоматы. Построение конечных автоматов для распознания регулярных множеств.

Тема 2 Конечные автоматы с магазинной памятью (МП–автоматы). Автоматы-трансляторы с магазинной памятью (МП–трансляторы). Построение МП–автоматов для распознания заданных множеств; построение МП–трансляторов для преобразования заданных множеств.

Тема 3 Формальные языки и грамматики. Классификация грамматик, типы и виды грамматик. Эквивалентные преобразования (упрощение) грамматик. Построение распознавателей для двух видов контекстно-свободных грамматик (S - грамматики и q–грамматики).

Распределение материала тем по модулям

Модуль 1

1 Построение МП–трансляторов для преобразования заданных множеств (тема 2).

2 Построение распознавателей для S–грамматики (тема 3).

3 Построение распознавателей для q–грамматики(тема 3).

Модуль 2

1 Теория тем 1–3.

2 Построение конечных автоматов для распознания регулярных множеств (тема 1).

3 Построение МП–распознавателей для заданных множеств (тема 2).

Тема № 1