A LOWER BOUND FOR PROBABILISTIC ALGORITHMS FOR FINITE STATE MACHINES

被引:26
|
作者
GREENBERG, AG
WEISS, A
机构
关键词
D O I
10.1016/0022-0000(86)90045-0
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:88 / 105
页数:18
相关论文
共 50 条
  • [41] Finite Virtual State Machines
    Senhadji-Navarro, Raouf
    Garcia-Vargas, Ignacio
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (10): : 2544 - 2547
  • [42] FINITE STATE MACHINES FOR XMODEM
    SMITH, DW
    DR DOBBS JOURNAL, 1989, 14 (10): : 45 - &
  • [43] Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines
    El-Fakih, Khaled
    Barlas, Gerassimos
    Ali, Mustafa
    Yevtushenko, Nina
    INTERNATIONAL JOURNAL OF PARALLEL EMERGENT AND DISTRIBUTED SYSTEMS, 2018, 33 (02) : 197 - 210
  • [44] Learning Finite State Machines
    de la Higuera, Colin
    FINITE-STATE METHODS AND NATURAL LANGUAGE PROCESSING, 2010, 6062 : 1 - 10
  • [45] A Lower Bound for the Optimization of Finite Sums
    Agarwal, Alekh
    Bottou, Leon
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 37, 2015, 37 : 78 - 86
  • [46] Probabilistic subproblem selection in branch-and-bound algorithms
    Dür, M
    Stix, V
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2005, 182 (01) : 67 - 80
  • [47] An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines
    Gunicen, Canan
    Inan, Kemal
    Turker, Uraz Cengiz
    Yenigun, Husnu
    INFORMATION SCIENCES AND SYSTEMS 2014, 2014, : 325 - 335
  • [48] State assignment of finite-state machines
    Ahmad, I
    Dhodhi, MK
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2000, 147 (01): : 15 - 22
  • [49] Subcubic Algorithms for Recursive State Machines
    Chaudhuri, Swarat
    POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, : 159 - 169
  • [50] A state assignment algorithm for finite state machines
    Skias, D
    Haniotakis, T
    Tsiatouhas, Y
    Arapoyanni, A
    ICECS 2000: 7TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS & SYSTEMS, VOLS I AND II, 2000, : 823 - 826