On the determinization blowup for finite automata recognizing equal-length languages

被引：4
|
作者：
机构：
[1] Karhumäki, Juhani
[2] Okhotin, Alexander
来源：
Karhumäki, Juhani | 1600年 / Springer Verlag卷 / 8808期
基金：
芬兰科学院;
关键词：
Image compression - Formal languages - Pipeline processing systems;
D O I：
10.1007/978-3-319-13350-8_6
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] On the determinization of weighted finite automata
    Buchsbaum, AL
    Giancarlo, R
    Westbrook, JR
    SIAM JOURNAL ON COMPUTING, 2000, 30 (05) : 1502 - 1531
  • [2] On the determinization of weighted finite automata
    Buchsbaum, AL
    Giancarlo, R
    Westbrook, JR
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 482 - 493
  • [3] Incremental Determinization and Minimization of Finite Acyclic Automata
    Lamperti, Gianfranco
    Scandale, Michele
    2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013), 2013, : 2250 - 2257
  • [4] Roots and Powers in Regular Languages: Recognizing Nonregular Properties by Finite Automata
    Frei, Fabian
    Hromkovic, Juraj
    Karhumaki, Juhani
    FUNDAMENTA INFORMATICAE, 2020, 175 (1-4) : 173 - 185
  • [5] EQUAL-LENGTH CRITERION FOR TRANSIENT STABILITY DETECTION
    ELSHIBINI, MA
    ARCHIV FUR ELEKTROTECHNIK, 1978, 60 (03): : 169 - 175
  • [6] OPTIMAL DISTRIBUTION OF EQUAL-LENGTH FILES IN MEMORY
    ADUSHKINA, RI
    LYUBARSKII, GY
    SHAPOVAL, IN
    AUTOMATION AND REMOTE CONTROL, 1984, 45 (01) : 121 - 126
  • [7] Determinization of weighted finite automata over strong bimonoids
    Ciric, Miroslav
    Droste, Manfred
    Ignjatovic, Jelena
    Vogler, Heiko
    INFORMATION SCIENCES, 2010, 180 (18) : 3497 - 3520
  • [8] Temporal determinization of mutating finite automata: Reconstructing or restructuring
    Lamperti, Gianfranco
    SOFTWARE-PRACTICE & EXPERIENCE, 2020, 50 (04): : 335 - 367
  • [9] A note on scheduling equal-length jobs to maximize throughput
    Chrobak, M
    Dürr, C
    Jawor, W
    Kowalik, L
    Kurowski, M
    JOURNAL OF SCHEDULING, 2006, 9 (01) : 71 - 73
  • [10] Metrics-Based Incremental Determinization of Finite Automata
    Balan, Sergiu I.
    Lamperti, Gianfranco
    Scandale, Michele
    AVAILABILITY, RELIABILITY, AND SECURITY IN INFORMATION SYSTEMS, 2014, 8708 : 29 - +
12345