Programming(Computers) ; Automata ; Algorithms ; Mathematical logic ; Computer storage devices ; Sequences ; Theorems;
机译:用于测试有限自动机的歧义和有限状态传感器的双磁带歧义的一般算法
机译:用于测试有限自动机的歧义和有限状态传感器的双磁带歧义的一般算法
机译:检查下推自动机和有限状态自动机之间语义对等的通用框架
机译:非确定性和确定性有限自动机等价的算法形式证明
机译:线性干扰对齐的可行性和适用性:流量测试,充分条件和近似算法
机译:通过两级因子设计的实验来测试基于Nelder-Mead的非线性系统多根斥力算法
机译:基于有限自动机的Z码测试算法
机译:Dantzig线性程序自双参数算法与线性互补问题线性互补问题Lemke算法的等价性