A new algorithm for testing if a regular language is locally threshold testable

被引：5
|
作者：
Bojanczyk, Mikolaj [1 ]
机构：
[1] Univ Warsaw, Inst Informat, PL-00325 Warsaw, Poland
来源：
INFORMATION PROCESSING LETTERS | 2007年 / 104卷 / 03期
关键词：
formal languages;
D O I：
10.1016/j.ipl.2007.05.015
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A new algorithm is presented for testing if a regular language is locally threshold testable. The new algorithm is slower than existing algorithms, but its correctness proof is shorter. The proof idea is to restate the problem in Presburger arithmetic. (c) 2007 Elsevier B.V. All rights reserved.
引用
收藏
页码：91 / 94
页数：4
相关论文
共 50 条
  • [41] Quantum Property Testing Algorithm for the Concatenation of Two Palindromes Language
    Khadiev, Kamil
    Serov, Danil
    UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, UCNC 2024, 2024, 14776 : 134 - 147
  • [42] An Efficient Regular Expressions Compression Algorithm From A New Perspective
    Liu, Tingwen
    Yang, Yifu
    Liu, Yanbing
    Sun, Yong
    Guo, Li
    2011 PROCEEDINGS IEEE INFOCOM, 2011, : 2129 - 2137
  • [43] DESCENDANTS OF REGULAR LANGUAGE IN A CLASS OF REWRITING-SYSTEMS - ALGORITHM AND COMPLEXITY OF AN AUTOMATA CONSTRUCTION
    BENOIS, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 121 - 132
  • [44] A new parameter for a broadcast algorithm with locally bounded Byzantine faults
    Ichimura, Akira
    Shigeno, Maiko
    INFORMATION PROCESSING LETTERS, 2010, 110 (12-13) : 514 - 517
  • [45] A new speedy generation algorithm for pairwise testing
    Zhou W.
    Zhang D.
    Xu B.
    Dongnan Daxue Xuebao (Ziran Kexue Ban)/Journal of Southeast University (Natural Science Edition), 2011, 41 (05): : 943 - 948
  • [46] A new algorithm for reachability testing of concurrent programs
    Lei, Yu
    Carver, Richard
    16TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2005, : 346 - 355
  • [47] A new superbubble finding algorithm: description and testing
    Wallin, Brock
    Wibking, Benjamin D.
    Voit, G. Mark
    MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY, 2025, 538 (04) : 2427 - 2444
  • [48] A NEW COMPETITIVE ALGORITHM FOR GROUP-TESTING
    BARNOY, A
    HWANG, FK
    KESSLER, I
    KUTTEN, S
    DISCRETE APPLIED MATHEMATICS, 1994, 52 (01) : 29 - 38
  • [49] A New Algorithm for Simultaneous Gate Sizing and Threshold Voltage Assignment
    Liu, Yifang
    Hu, Jiang
    ISPD 2009 ACM INTERNATIONAL SYMPOSIUM ON PHYSICAL DESIGN, 2009, : 27 - 34
  • [50] A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions
    Subirats, Jose L.
    Jerez, Jose M.
    Franco, Leonardo
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2008, 55 (10) : 3188 - 3196
12345