文章讨论了语言的词问题及其计算模型。词问题是判断一个词是否属于某语言的决策问题。可决策语言的特性函数可计算，而半可决策语言只能确认词是否在语言中。不同语言类别对应不同的计算模型，如图灵机和有限自动机等。