Space complexity; Pushdown automata; Counter automata; Real-time automata;
机译:无状态多计数器5'→3'Watson-Crick自动机:确定性情况
机译:无状态多计数器自动机结果调查
机译:无状态多计数器5'→3'Watson-Crick自动机语言的层次结构
机译:(实时)Multi机器自动机的最小有用大小
机译:自动贩卖机带计数器接受的语言。
机译:混合自动机库:用于混合建模和实时可视化的灵活平台
机译:实时单计数自动机的互模拟等价和正则性
机译:使用重组单元格进行列表处理的实时垃圾收集,以增加参考计数器大小