使用部分 Max-SAT 最小化可见下推自动机 电子书下载

原名:Minimization of Visibly Pushdown Automata Using Partial Max-SAT
作品简介:它通过要求输入高级自动机最小化，使用受限访问堆栈扩展了有限自动机模型。在 POPL 中，页面。……