Мячина_1ЛР

МИНИСТЕРСТВО ЦИФРОВОГО РАЗВИТИЯ, СВЯЗИ И МАССОВЫХ КОММУНИКАЦИЙ РОССИЙСКОЙ ФЕДЕРАЦИИ

Ордена Трудового Красного Знамени федеральное государственное бюджетное образовательное учреждение высшего образования

Московский технический университет связи и информатики

(МТУСИ)

Кафедра «Системное программирование»

Лабораторная работа №1

«Конечные автоматы»

по дисциплине «Системное программное обеспечение»

Вариант 24

Выполнила:

студентка группы БФИ2203

Мячина Лада Андреевна

Проверила:

Старший преподаватель

Алексанян Диана Ашотовна

Москва, 2025 г.

Задание:

Задан конечный автомат над алфавитом {x,y} в табличном виде:

Выяснить:

1. Является ли автомат детерминированным.

2. Если автомат является недетерминированным, то преобразовать его в детерминированный конечный автомат.

Ход работы:

1. По таблице построен конечный автомат, рисунок 1.

Рисунок 1 – Конечный автомат

Автомат является детерминированным т.к. отсутствуют пустые переходы (ℷ) и существует лишь одно состояние, в которое автомат может перейти из текущего.

То, что автомат является ДКА можно убедиться с помощью функции Convert to DFA, рисунок 2.

Рисунок 2 - Convert to DFA