半图厄系统的判字问题 【计】 word problem of semi-Thue system