What's decidable about weighted automata?

被引：0
|
作者：
Almagor, Shaull [1 ]
Boker, Udi [2 ]
Kupferman, Orna [3 ]
机构：
[1] Computer Science Department, Technion, Israel
[2] Interdisciplinary Center (IDC), Herzliya, Israel
[3] Hebrew University, School of Engineering and Computer Science, Jerusalem, Israel
来源：
Information and Computation | 2022年 / 282卷
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computability and decidability
引用
收藏
相关论文
共 50 条
  • [1] Microgrids: What's All the Fuss About?
    Knight, Andy
    IEEE INDUSTRY APPLICATIONS MAGAZINE, 2024, 30 (02) : 4 - 5
  • [2] Sound level meters calibration –what’s it all about?
    Campbell, Ian
    Acoustics Bulletin, 2022, 48 (02): : 44 - 50
  • [3] Optimal spectral-norm approximate minimization of weighted finite automata
    Balle, Borja
    Lacroce, Clara
    Panangaden, Prakash
    Precup, Doina
    Rabusseau, Guillaume
    Leibniz International Proceedings in Informatics, LIPIcs, 2021, 198
  • [4] Sound level meters calibration –what’s it all about? Part 2
    Campbell, Ian
    Acoustics Bulletin, 2022, 48 (03): : 40 - 44
  • [5] WHAT ABOUT NATURAL AIR POLLUTION?
    Callahan, Joseph M.
    Automotive Industries AI, 1975, 153 (09): : 17 - 22
  • [6] What You Don’t Know About Chevron’s New 20K Anchor Project
    Jacobs, Trent
    JPT, Journal of Petroleum Technology, 2024, 76 (07): : 32 - 38
  • [7] DWI programs: doing what's in or dodging what's indicated?
    Whitehead, P.C.
    Journal of Safety Research, 1975, 7 (03): : 127 - 134
  • [8] What you need to know about ion beams
    Daya, Puja
    Charisopoulos, Sotirios
    IAEA Bulletin, 2022, 63 (02): : 26 - 27
  • [9] Probabilistic theories: What is special about quantum mechanics?
    Istituto Nazionale di Fisica della Materia, Unità di Pavia, Dipartimento di Fisica A. Volta,, via Bassi 6, Pavia
    I-27100, Italy
    Philosophy of Quantum Information and Entanglement, 1600, (85-126):
  • [10] Straight talk about 13 SEER: What are the rules?
    Amrane, Karim
    HPAC Heat. Piping. AirCond. Eng., 1600, SUPPL. (14-16):
12345