Формальные языки и автоматы

Как можно решить для двух заданных ДКА A1 и A2, является ли L (A1) = L (A2)?

Я не знаю, как подступиться к этой проблеме и с чего начать.


person Jana Afreen    schedule 11.05.2021    source источник


Ответы (1)


Один простой способ — минимизировать как A1, так и A2. Если результирующие минимальные DFA одинаковы (по модулю имен состояний), то A1 и A2 распознают один и тот же язык.

person rici    schedule 11.05.2021