کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
428269 686627 2007 4 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A new algorithm for testing if a regular language is locally threshold testable
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A new algorithm for testing if a regular language is locally threshold testable
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Processing Letters - Volume 104, Issue 3, 31 October 2007, Pages 91-94