1
Чи є спосіб перевірити, чи два НФА приймають ту саму мову?
Або принаймні генерувати набір рядків, який приймає одна NFA, тому я можу подати її в іншу NFA. Якщо я проведу пошук по кожному шляху NFA, чи буде це спрацьовувати? Хоча це займе багато часу.