首页    期刊浏览 2024年11月09日 星期六
登录注册

文章基本信息

  • 标题:Uniform Sampling for Networks of Automata
  • 本地全文:下载
  • 作者:Nicolas Basset ; Jean Mairesse ; Mich{\`e}le Soria
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2017
  • 卷号:85
  • 页码:36:1-36:16
  • DOI:10.4230/LIPIcs.CONCUR.2017.36
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We call network of automata a family of partially synchronised automata, i.e. a family of deterministic automata which are synchronised via shared letters, and evolve independently otherwise. We address the problem of uniform random sampling of words recognised by a network of automata. To that purpose, we define the reduced automaton of the model, which involves only the product of the synchronised part of the component automata. We provide uniform sampling algorithms which are polynomial with respect to the size of the reduced automaton, greatly improving on the best known algorithms. Our sampling algorithms rely on combinatorial and probabilistic methods and are of three different types: exact, Boltzmann and Parry sampling.
  • 关键词:Partially synchronised automata; uniform sampling; recursive method; Boltzmann sampling; Parry measure
国家哲学社会科学文献中心版权所有