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

文章基本信息

  • 标题:Probabilistic Rewriting: Normalization, Termination, and Unique Normal Forms
  • 本地全文:下载
  • 作者:Claudia Faggian
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2019
  • 卷号:131
  • 页码:1-25
  • DOI:10.4230/LIPIcs.FSCD.2019.19
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:While a mature body of work supports the study of rewriting systems, abstract tools for Probabilistic Rewriting are still limited. We study in this setting questions such as uniqueness of the result (unique limit distribution) and normalizing strategies (is there a strategy to find a result with greatest probability?). The goal is to have tools to analyse the operational properties of probabilistic calculi (such as probabilistic lambda-calculi) whose evaluation is also non-deterministic, in the sense that different reductions are possible.
  • 关键词:probabilistic rewriting; PARS; abstract rewriting systems; confluence; probabilistic lambda calculus
国家哲学社会科学文献中心版权所有