Примеры детерминированных конечных автоматов (DFA): Sigma*, пустое множество и другие скачать в хорошем качестве

Примеры детерминированных конечных автоматов (DFA): Sigma*, пустое множество и другие

Здесь мы пытаемся разобраться в различных языках программирования и, что ещё важнее, в ДКА. Мы рассматриваем следующие языки и создаём для них ДКА: 1. Сигма* 2. {эпсилон} 3. пустое множество 4. Сигма* \ {эпсилон} 5. (пустое множество)* 6. {эпсилон}* Напомним, что ДКА — это 5-кортеж (Q, Сигма, дельта, q0, F), где Q — множество состояний, Сигма — алфавит, дельта — функция перехода, q0 — начальное состояние, а F — множество конечного состояния. Вычисление над строкой — это последовательность состояний, которые проходят над этой строкой, начиная с начального. Строка принимается тогда и только тогда, когда вычисление завершается конечным состоянием. В видео конечное состояние обозначено двойным кружком. PDF-файл DFA: https://drive.google.com/open?id=1JHG... Решения: https://drive.google.com/open?id=1Kto... Если вам понравился этот контент, пожалуйста, подпишитесь на мой канал:    / @easytheory   ▶ДОПОЛНИТЕЛЬНЫЕ ВОПРОСЫ◀ 1. Являются ли эти DFA наименьшими для этих языков? 2. Существует ли множество S, не равное Sigma, где S* = Sigma*? 3. Могут ли быть два DFA с разным количеством состояний для одного и того же языка? ▶ОТПРАВЬТЕ МНЕ ВОПРОСЫ ПО ТЕОРИИ◀ [email protected] ▶ОБО МНЕ◀ Я профессор компьютерных наук и увлечён теорией вычислительной техники. Я преподавал более 12 курсов в Университете штата Аризона и Университете Колгейт, включая несколько разделов теории бакалавриата.