1
Знайти найменший DFA, який розділяє два слова, не використовуючи грубу силу пошуку?
З огляду на два рядки x і y, я хочу створити DFA мінімального розміру, який приймає x і відхиляє y. Один із способів зробити це - жорстокий пошук. Ви перераховуєте DFA, починаючи з найменшого. Ви спробуйте кожен DFA, поки не знайдете той, який приймає х і відхиляє y. Я хочу …