半图厄系统的判字问题

• word problem of semi-Thue system