机译:关于双向概率有限自动机模型的一些变体
Probabilistic finite automaton; Counter machine; Pebble automaton;
机译:关于双向概率有限自动机模型的一些变体
机译:使用双向量子有限自动机建模RNA二级结构
机译:具有半量子双向有限自动机建模的验证器的交互式证明系统的功能
机译:关于双向概率有限自动机模型的几种变体
机译:使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
机译:基于概率有限自动机的行为建模:一项实证研究
机译:关于双向概率有限自动机模型的一些变体
机译:多头双向概率有限自动机的性质