处理汉语灵活语序的范畴语法片段

摘要

范畴语法把自然语言的毗连生成看作是范畴的运算或推演，这种推演在计算机信息处理那里获得实现。在现代范畴语法看来，汉语的灵活语序现象涉及范畴来源的结构性质。基于两个涉及“◇”的结构公设，我们确立了展现汉语灵活语序的范畴语法片段，用自然演绎系统的方式构成。