A New Categorical Foundation of Attribute Grammar

属性语法的新范畴基础

• 批准号: 20700012
• 负责人: KATSUMATA Shinya
• 金额: $ 1.58万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2008
• 资助国家: 日本
• 起止时间: 2008 至 2010
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20700012/
• 关键词: プログラム変換; 圏論; 属性文法; Int構成; トレース付きモノイダル圏

Attribute grammars are a mechanism to assign a computation with bidirectional information flow to a tree. In this research, we give a new formulation of attribute grammars in traced symmetric monoidal categories, which provide a general model of cyclic computation. We show that our formulation subsumes the domain-theoretic attribute grammar by Chirica and Martin and the relational attribute grammar by Courcelle and Deransart. We also give a generalization of the descriptional composition by Ganzinger and Giegerich, which is a method for composing two syntactic attribute grammars, upon the categorical formulation of attribute grammars.

属性文法是一种将具有双向信息流的计算分配给树的机制。在这项研究中，我们给出了迹对称么半群范畴中的属性文法的一种新的形式，它提供了循环计算的一般模型。我们证明了我们的公式包含了Chirica和Martin的论域属性文法和Courcelle和Deransart的关系属性文法。我们还在属性文法的范畴表示的基础上推广了Ganzinger和Giegerich的描述性合成，这是一种合成两个句法属性文法的方法。

项目成果

A note on the biadjunction between 2-categories of traced monoidal cate gories and tortile monoidal categories

关于追踪幺半群范畴和扭曲幺半群范畴的 2 类之间的双并集的注解

• 发表时间: 2010
• 期刊: Mathematical Proceedings of Cambridge Philosophical Society 148
• 作者: Masahito Hasegawa;Shin-ya Katsumata
• 通讯作者: Shin-ya Katsumata

Attribute Grammars and Traced Symmetric Monoidal Categories.

属性语法和追踪对称幺半群类别。

• 发表时间: 2008
• 作者: 愛新覚羅維;三村達哉;臼井智彦;本田紀彦;天野史郎;Shin-ya Katsumata
• 通讯作者: Shin-ya Katsumata

A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories.

关于追踪幺半群类别和扭曲幺半群类别的 2 个类别之间的双连接的注释。

• 发表时间: 2010
• 期刊: In Mathematical Proceedings of Cambridge Philosophical Society volume 148
• 作者: Masahito Hasegawa;Shin-ya Katsumata.
• 通讯作者: Shin-ya Katsumata.

Attribute Grammars and Categorical Semantics

属性语法和分类语义

• 发表时间: 2009
• 作者: K.Iwama;K.Seto;S.Tamaki;勝股審也
• 通讯作者: 勝股審也

Int Construction and Semibiproducts.

国际建筑和半双产品。

• 发表时间: 2009
• 期刊: RIMS preprint 1676, Kyoto University.
• 作者: Naohiko Hoshino;Shin-ya Katsumata.
• 通讯作者: Shin-ya Katsumata.