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 条
  • [31] An algorithm for discovery of new families of optimal regular networks
    Monakhov, O
    Monakhova, E
    DISCOVERY SCIENCE, PROCEEDINGS, 2003, 2843 : 245 - 255
  • [32] A new algorithm for linear regular tree pattern matching
    Shankar, P
    Gantait, A
    Yuvaraj, AR
    Madhavan, M
    THEORETICAL COMPUTER SCIENCE, 2000, 242 (1-2) : 125 - 142
  • [33] Proarrhythmic effect of automatic threshold testing algorithm in dual chamber devices
    Larsen, Timothy R.
    Sargent, Donna
    Moyes, Meredith
    Huizar, Jose F.
    Tan, Alex Y.
    Ellenbogen, Kenneth A.
    Kaszala, Karoly
    JOURNAL OF CARDIOVASCULAR ELECTROPHYSIOLOGY, 2020, 31 (08) : 2078 - 2085
  • [34] New effective algorithm of RAM testing
    Yarmolik, VN
    Mikitjuk, VG
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1996, (01): : 61 - 71
  • [35] EVALUATING LOCALLY-DEVELOPED LANGUAGE TESTING A PREDICTIVE STUDY OF 'DIRECT ENTRY' LANGUAGE PROGRAMS AT AN AUSTRALIAN UNIVERSITY
    Cope, Nicholas
    AUSTRALIAN REVIEW OF APPLIED LINGUISTICS, 2011, 34 (01) : 40 - 59
  • [36] NEW DIRECTION IN LANGUAGE TESTING - CONCERN FOR THE ONE
    MADSEN, HS
    BRIGHAM YOUNG UNIVERSITY STUDIES, 1981, 21 (02): : 189 - 204
  • [37] A new threshold selecting method in wavelet denoising algorithm
    Ma, JF
    Wang, HK
    Zhang, XY
    Wavelet Analysis and Active Media Technology Vols 1-3, 2005, : 818 - 821
  • [38] PSEUDOSTEP ORTHOGONALIZATION - NEW THRESHOLD-DECODING ALGORITHM
    DUC, NQ
    IEEE TRANSACTIONS ON INFORMATION THEORY, 1971, 17 (06) : 766 - +
  • [39] A New Threshold Determination Algorithm for SAW Resonant Sensors
    Yang, Yang
    Zhang, Chenrui
    Zhang, Benfang
    Zhao, Xupeng
    Ji, Xiaojun
    Li, Ping
    Han, Tao
    2017 IEEE INTERNATIONAL ULTRASONICS SYMPOSIUM (IUS), 2017,
  • [40] A New Wavelet Threshold Denoising Algorithm in Speech Recognition
    Liu, Xuefei
    2009 ASIA-PACIFIC CONFERENCE ON INFORMATION PROCESSING (APCIP 2009), VOL 2, PROCEEDINGS, 2009, : 310 - 313
12345