A word equation αXβ ≈? γYδ, is said to be pruned, if all common (non-empty) prefixes and suffixes from the two sides of the equation have ...
確定! 回上一頁