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

文章基本信息

  • 标题:Analysis of Boolean Equation Systems through Structure Graphs
  • 本地全文:下载
  • 作者:Michel A. Reniers ; Tim A.C. Willemse
  • 期刊名称:Electronic Proceedings in Theoretical Computer Science
  • 电子版ISSN:2075-2180
  • 出版年度:2009
  • 卷号:18
  • 页码:92-107
  • DOI:10.4204/EPTCS.18.7
  • 出版社:Open Publishing Association
  • 摘要:We analyse the problem of solving Boolean equation systems through the use of structure graphs. The latter are obtained through an elegant set of Plotkin-style deduction rules. Our main contribution is that we show that equation systems with bisimilar structure graphs have the same solution. We show that our work conservatively extends earlier work, conducted by Keiren and Willemse, in which dependency graphs were used to analyse a subclass of Boolean equation systems, viz., equation systems in standard recursive form. We illustrate our approach by a small example, demonstrating the effect of simplifying an equation system through minimisation of its structure graph.
国家哲学社会科学文献中心版权所有