The first part of the algorithm (lines 2 to 5) works by detecting a true transition (s,true,d) between two final states, where state d has a true self-loop.
確定！ 回上一頁
