阿基姆·德迈勒;亚历山大·杜雷特·卢茨;西尔万·伦巴第;卢卡·赛乌;雅克·萨卡罗维奇 加权自动机和有理表达式的类型系统。 (英语) Zbl 1302.68158号 Holzer,Markus(编辑)等人,《自动机的实现和应用》。2014年7月30日至8月2日,第19届国际会议,CIAA 2014,德国吉森。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-08845-7/pbk)。计算机科学课堂讲稿8587,162-175(2014)。 摘要:我们提出了一个自动机和有理表达式的类型系统,其表达能力足以在一个连贯的形式中包含加权自动机和变换器。该系统允许表达关于操作适用性的有用属性,包括自动机上的二进制异构函数。我们将类型系统应用于Vaucanson 2平台的设计,该平台是一个专用于有限加权自动机计算的库,通过使用模板元编程,让C++模板系统发挥自动机静态类型系统的作用,在最低级别上获得通用性和高效性。在这样一个低级层和交互式高级接口之间,类型系统起着中介的关键作用,并允许对动态编译进行干净的结构使用。关于整个系列,请参见[Zbl 1293.68026号]. 引用于2文件 MSC公司: 65年第68季度 形式语言和自动机 软件:FAdo公司;古伊塔;打开Fst;沃康松 PDF格式BibTeX公司 XML格式引用 \textit{A.Demaille}等人,Lect。注释计算。科学。8587162-175(2014年;兹比尔1302.68158) 全文: 内政部