利用划分表示高效求解语言方程
计算机科学中的逻辑
2011-11-09 v1
摘要
一类离散事件综合问题可归约为求解语言方程 ，其中 为固定组件， 为规范。当 和 的自动机是前缀封闭的，并自然地由带有锁存器的多级网络表示时，顺序综合处理的是有限状态机 (FSM)。针对这一特例，我们提出了一种利用划分表示来计算上述类语言方程的最一般前缀封闭解的高效方法。在划分形式下， 和 的 FSM 的转移关系和输出关系由相应网络的输出函数和次态函数集表示。实验表明，使用划分表示比使用单体表示快得多，且适用于更大规模的问题实例。
引用
@article{arxiv.0710.4743,
title = {Efficient Solution of Language Equations Using Partitioned Representations},
author = {Alan Mishchenko and Robert Brayton and Roland Jiang and Tiziano Villa and Nina Yevtushenko},
journal= {arXiv preprint arXiv:0710.4743},
year = {2011}
}
评论
Submitted on behalf of EDAA (http://www.edaa.com/)