University of Pennsylvania;
University of Pennsylvania;
visibly pushdown automata; symbolic automata; XML;
机译:最小化明显的下推自动机是NP-Complete
机译:ML,可视下推类内存自动机和带有状态的扩展分支向量加法系统
机译:带有计数器的下推式自动机和传感器
机译:符号明显下推自动机
机译:有限逆向自动执行
机译:常规教室中的符号行为:符号和非符号行为规范
机译:使用部分max-saT最小化可见下推自动机