...
机译:用于分析可逆有限状态机的归巢,同步和区分输入序列
Reversible LogicFinite State MachinesTesting;
机译:输入和输出为多项式的不可观测非确定性有限状态机的辨别序列长度的紧密边界
机译:导出输入/输出自动机的同步和归位序列
机译:非确定性有限状态机的归位序列存在的复杂性
机译:使用归位,同步和区分输入序列的可逆和量子有限状态机分析
机译:具有马尔可夫输入的有限状态机驱动的跳跃线性系统的稳定性分析。
机译:具有有限输入序列的ELIAS和PERES提取器的数值和非渐近分析
机译:使用归巢,同步和区分输入序列进行可逆有限状态机的分析