尤罕·博伊库特;雅克·查宾;皮埃尔·雷蒂 同步树语言的超近似后代。 (英语) Zbl 1356.68118号 van Raamsdonk,Femke(编辑),第24届重写技术和应用国际会议(RTA 2013),荷兰埃因霍温,2013年6月24日至26日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-53-8)。LIPIcs–莱布尼茨国际信息学论文集2128-142(2013)。 摘要:验证中使用了重写系统对初始术语集的后代(后继)进行过逼近。这种验证方法的成功取决于近似值的质量。为了获得更好的近似,我们将使用非正则语言。我们提出了一个始终终止的过程,该过程使用逻辑程序表示的同步树(元组)语言计算子体的过近似。关于整个系列,请参见[Zbl 1280.68049号]. 引用于三评论引用于三文件 MSC公司: 2012年第68季度 语法和重写系统 68N17号 逻辑编程 65年第68季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:重写系统;非正则近似;逻辑程序设计;树语言;后代 PDF格式BibTeX公司 XML格式引用 \textit{Y.Boichut}等人,LIPIcs——莱布尼茨国际程序。通知。21、128——142(2011年;Zbl 1356.68118) 全文: 内政部