Probabilistic ω-Regular Expressions

被引：0
|
作者：
Weidner, Thomas [1 ]
机构：
[1] Univ Leipzig, Inst Informat, D-04009 Leipzig, Germany
来源：
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014) | 2014年 / 8370卷
关键词：
AUTOMATA; UNDECIDABILITY; FINITE; POWER;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We introduce probabilistic w-regular expressions which are an extension to classical regular expressions with semantics taking probabilities into account. The main result states that probabilistic w-regular expressions are expressively equivalent to probabilistic Muller-automata. To obtain better decidability properties we introduce a subclass of our expressions with decidable emptiness and approximation problem.
引用
收藏
页码：588 / 600
页数：13
相关论文
共 50 条
  • [1] A Completeness Theorem for Probabilistic Regular Expressions
    Rozowski, Wojciech
    Silva, Alexandra
    PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
  • [2] Probabilistic Pattern Matching and the Evolution of Stochastic Regular Expressions
    Brian J. Ross
    Applied Intelligence, 2000, 13 : 285 - 300
  • [3] Probabilistic pattern matching and the evolution of stochastic regular expressions
    Ross, BJ
    APPLIED INTELLIGENCE, 2000, 13 (03) : 285 - 300
  • [4] GENERATION OF REGULAR EXPRESSIONS FOR AUTOMATA BY INTEGRAL OF REGULAR EXPRESSIONS
    SMITH, LW
    YAU, SS
    COMPUTER JOURNAL, 1972, 15 (03): : 222 - &
  • [5] Regular expressions
    Becker, P
    DR DOBBS JOURNAL, 2006, 31 (05): : 52 - +
  • [6] Regular expressions
    LeFebvre, William
    Performance Computing/Unix Review, 1999, 17 (11): : 49 - 51
  • [7] Regular expressions
    Scientific Computing and Instrumentation, 2000, 17 (08):
  • [8] Regular Transducer Expressions for Regular Transformations
    Dave, Vrunda
    Gastin, Paul
    Krishna, Shankara Narayanan
    LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 315 - 324
  • [9] Regular transducer expressions for regular transformations
    Dave, Vrunda
    Gastin, Paul
    Krishna, Shankara Narayanan
    INFORMATION AND COMPUTATION, 2022, 282
  • [10] Synchronized regular expressions
    Della Penna, G
    Intrigila, B
    Tronci, E
    Zilli, MV
    ACTA INFORMATICA, 2003, 39 (01) : 31 - 70
12345