• TODO: Wait for problems to be published to Reference that directly, but also archive to
    • TODO: Explain the problem, and give the constructive algorithm for determining bisimilarity. (Hint: Use fixed-point iteration on a set of groups of vertices (where each group represents a candidate group of bisimilar vertices). Always guaranteed to work due to Tarski's fixed-point theorem).

    DFA equivalence

    How does this problem relate to equivalence of DFA's?