Article ID Journal Published Year Pages File Type
428269 Information Processing Letters 2007 4 Pages PDF
Abstract

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.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics