训诂是用语言解释语言的材料，训诂学是（ ）的理论。