Automata theory; Computation; Polynomials; Probability theory; Set theory; Theoremproving; Turing machines;
机译:概率下推自动机的性质
机译:确定概率下推自动机与有限状态系统之间的概率模拟
机译:确定概率下推自动机与有限状态系统之间的概率模拟
机译:概率下推自动机的折价性质
机译:有限逆向自动执行
机译:基于广义概率自动机的语义计算形式模型
机译:概率下推自动机逼近概率图灵自动机; CU-CS-020-73