D1) is an unused transition and (D2, D3) is trivially ... loop-transitions at state sj; the elimination of loops is. discussed later.
確定! 回上一頁