column value
英文名稱 word problem of semi-Thue system
中文名稱 半圖厄系統判字問題