Deterministic synchronization of bounded-delay automata

被引：8
|
作者：
Frougny, C
Sakarovitch, J [1 ]
机构：
[1] IBP, CNRS, Lab Informat Theor & Programmat, Paris, France
[2] Univ Paris 08, Paris, France
来源：
THEORETICAL COMPUTER SCIENCE | 1998年 / 191卷 / 1-2期
关键词：
D O I：
10.1016/S0304-3975(96)00305-2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
It is shown that a subsequential automaton (i.e. an automaton deterministic with respect to the input) with bounded delay is equivalent to an on-line automaton, that is an automaton which is letter-to-letter after an initial period where it reads the input and output nothing, and subsequential. The results on the synchronisation of automaton with bounded delay established so far did not keep the property of being subsequential.
引用
收藏
页码：61 / 77
页数：17
相关论文
共 50 条
  • [21] Low-cost, bounded-delay multicast routing for QoS-based networks
    Alrabiah, T
    Znati, TF
    7TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS - PROCEEDINGS, 1998, : 304 - 311
  • [22] Quantification of Distributed Secrecy Loss in Stochastic Discrete Event Systems under Bounded-Delay Communications
    Ibrahim, Mariam
    Chen, Jun
    Kumar, Ratnesh
    2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 373 - 378
  • [23] A completion algorithm for codes with bounded synchronization delay
    Bruyere, V
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 87 - 97
  • [24] Bounded-delay probability-based routing in intermittently connected mobile ad hoc networks
    Li, Xianning
    An, Jianwei
    Zhou, Xianwei
    Gaojishu Tongxin/Chinese High Technology Letters, 2009, 19 (10): : 1031 - 1036
  • [25] A tight linear bound on the synchronization delay of bijective automata
    Czeizler, Eugen
    Kari, Jarkko
    THEORETICAL COMPUTER SCIENCE, 2007, 380 (1-2) : 23 - 36
  • [26] USING SAT SOLVERS FOR SYNCHRONIZATION ISSUES IN NON-DETERMINISTIC AUTOMATA
    Shabana, Hanan
    Volkov, Mikhail V.
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2018, 15 : 1426 - 1442
  • [27] Omega-Rational Expressions with Bounded Synchronization Delay
    Volker Diekert
    Manfred Kufleitner
    Theory of Computing Systems, 2015, 56 : 686 - 696
  • [28] Omega-Rational Expressions with Bounded Synchronization Delay
    Diekert, Volker
    Kufleitner, Manfred
    THEORY OF COMPUTING SYSTEMS, 2015, 56 (04) : 686 - 696
  • [29] Bounded-delay and loss-free guarantees for real-time video in integrated services packet networks
    Univ of Tokushima, Japan
    Conf Rec IEEE Global Telecommun Conf, (477-483):
  • [30] Bounded ε-Reachability of Linear Hybrid Automata with a Deterministic and Transversal Discrete Transition Condition
    Kim, Kyoung-Dae
    Mitra, Sayan
    Kumar, P. R.
    49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, : 6177 - 6182
12345