کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
429920 687723 2007 24 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Automata on linear orderings
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Automata on linear orderings
چکیده انگلیسی

We consider words indexed by linear orderings. These extend finite, (bi-)infinite words and words on ordinals. We introduce finite automata and rational expressions for these words. We prove that for countable scattered linear orderings, these two notions are equivalent. This result extends Kleene's theorem.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computer and System Sciences - Volume 73, Issue 1, February 2007, Pages 1-24