语法和语义之间的相互作用是形式语言研究的核心。