形式语言的句法关系拓扑
摘要：基于语法图类别上的邻域语法，描述了构造Grothendieck拓扑的方法。形式语言的语法图是由语言字母表示的节点签名的多图。邻域语法通过将每个正确的语法图映射到由语法邻域组成的覆盖集合，从而选择正确的语法图。这样的覆盖集合在正确语法图的类别上引出了Grothendieck拓扑。类别中的每个对象可以映射到该语法结构的意义（抽象意义）集合。因此，从正确语法图的类别到集合的逆变函子被定义出来。所给出的逆变函子类别可以被看作是考虑形式语言的语法和语义之间关系的方便方法。在逆变函子类别上定义的集合层满足语义分析的组合性原则。
作者：Vladimir Lapshin
论文ID：0802.4181
分类：Category Theory
分类简称：math.CT
提交时间：2008-02-29