机译:关于概率反弹自动机的注记
probabilistic rebound automaton; one-marker rebound automaton; two-way nondeterministic one counter automa-ton;
机译:关于验证概率实时系统自动机规格的说明
机译:关于二维概率有限自动机的一个注记
机译:双曲平面中概率自动胜于确定性自动的计算优势
机译:反弹自动机的分离结果
机译:概率语言和自动
机译:基于广义概率自动机的语义计算形式模型
机译:注意确定性,非确定性,概率和量子有限自动机的简洁性
机译:模糊星函数,概率自动机及其非概率自动机的逼近。