树自动机 树自动机:这项工作为标准ML、OCaml和Haskell提供了一个机器检查的树自动机库。这些算法通过使用适当的数据结构如RB树是有效的。非确定性自动机的可用算法包括成员查询、约简、交集、并集和空性检查,其中包含非空见证的计算。可执行算法是从不太具体、不可执行的算法中派生出来的,使用数据细化技术。具体的数据结构来自Isabelle Collections框架。此外,本文还对树正则语言类及其在集合运算下的闭包性质进行了形式化。 zbMATH参考文献(参考 显示结果1到3,共3个。 是的按年份排序(引用) 10 20 50 全部的 Peter Lammich;Lochbihler,Andreas:《高效数据结构的自动优化:两种方法的比较》(2019年) Felgenhauer,Bertram;Thiemann,René:状态相容自动机的可达性、合流性和终止性分析(2017) 程序应用于程序(Thomas Crok,2012年)