Алгоритмы и сети



Строки. Префиксы, суффиксы, подстроки. Языки. Контексно-свободная гр-ка (КС/Г). Классификация языков по Хомскому. Примеры. Форма Бэкуса-Наура. Дерево вывода. Синтакс-е и семан-е деревья. Регулярные языки. Регулярные гр-ки и конечный ав-т. Контексная гр-ка Пораждающие гр-ки. Виды, примеры. Авт-ты и теория алгоритмов. Распознователи –задачи, виды распоз-лей. Машина Тьюринга. Вычисление функций МТ-га. Детермин-й МП ав-т. Распознование цепочек. Магазинный автомат(МП). Определение, структура, задание ав-та. Сеть Петри. События и условия. Маркировка. Переходы. Граф достижимых маркировок СП. Классификация сетей Петри. Применение СП в теории ав-в. Сеть ав-ов. Эквивалентность авт-в Синтез абст-х ав-ов:исключение недост-х сост-й, минимизация. Минимизация абстр-х ав-ов(методы и примеры). Соединения ав-ов: последовательное, парал-ое, с обр. связью.
 
Оригинал текста доступен для загрузки на странице содержания