Как получить пересечение DFA?

Question

Как объединить два dfa, используя метод пересечения?

Answer 1

Используйте перекрестную конструкцию продукта, формально объясненную здесь.

По сути, вы пересекаете произведение наборов состояний в каждом, чтобы получить список мета-состояний, соответствующих любой комбинации состояний для каждого компьютера. Это позволяет вам выполнить параллельную оценку, чтобы принять, если оба принимают.