[计] word problem of semi-Thue system
bàn tú è xì tǒng de pàn zì wèn tí ㄅㄢˋ ㄊㄨˊ ㄜˋ ㄒㄧˋ ㄊㄨㄥˇ ㄉㄜ˙ ㄆㄢˋ ㄗˋ ㄨㄣˋ ㄊㄧˊ