...
机译:带有计数器的下推式自动机和传感器
Univ Calif Santa Barbara, Dept Comp Sci, Santa Barbara, CA 93106 USA;
pushdown automaton; pushdown transducer; visibly pushdown automaton; visibly pushdown transducer; reversal-bounded counters; ambiguous; finite-valued; decidable; undecidable;
机译:最小化明显的下推自动机是NP-Complete
机译:ML,可视下推类内存自动机和带有状态的扩展分支向量加法系统
机译:有序多堆栈可见下推自动机
机译:双向可视下推自动机和换能器 * sup>
机译:有限逆向自动执行
机译:GymAware线性位置传感器在下蹲跳和反运动跳高上的有效性和可靠性
机译:两路可视下推自动机和换能器