半图厄系统的判字问题

[计] word problem of semi-Thue system

bàn tú è xì tǒng de pàn zì wèn tí ㄅㄢˋ ㄊㄨˊ ㄜˋ ㄒㄧˋ ㄊㄨㄥˇ ㄉㄜ˙ ㄆㄢˋ ㄗˋ ㄨㄣˋ ㄊㄧˊ