Я должен дать алгоритм, чтобы проверить, включены ли два DFA, язык, созданный первым, в язык, созданный другим.Например, предположим, что первый язык распознает слова над {a, b} *, имеющие длину 2, а второй распознает слова над {a, b} *, имеющие длину 3 или менее.В этом примере первый язык включен во второй.Одна из моих идей - минимизировать как DFA, так и посмотреть, включены ли состояния и переходы в DFA1 в DFA2, но я думаю, что это не очень хорошее решение.