然而，當考慮同時具. 有字串等式(word equation)和長度限制式(length constraint)布林組合的式子，這個問題究. 竟是不是可決定(decidable)的，目前的狀況還是未知的[2]。
確定！ 回上一頁
