首页    期刊浏览 2024年11月10日 星期日
登录注册

文章基本信息

  • 标题:Leftmost Outermost Revisited
  • 本地全文:下载
  • 作者:Nao Hirokawa ; Aart Middeldorp ; Georg Moser
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2015
  • 卷号:36
  • 页码:209-222
  • DOI:10.4230/LIPIcs.RTA.2015.209
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We present an elementary proof of the classical result that the leftmost outermost strategy is normalizing for left-normal orthogonal rewrite systems. Our proof is local and extends to hyper-normalization and weakly orthogonal systems. Based on the new proof, we study basic normalization, i.e., we study normalization if the set of considered starting terms is restricted to basic terms. This allows us to weaken the left-normality restriction. We show that the leftmost outermost strategy is hyper-normalizing for basically left-normal orthogonal rewrite systems. This shift of focus greatly extends the applicability of the classical result, as evidenced by the experimental data provided.
  • 关键词:term rewriting; strategies; normalization
国家哲学社会科学文献中心版权所有