Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
438492 | Theoretical Computer Science | 2007 | 11 Pages |
Abstract
In a preceding paper [V. Bruyère, O. Carton, Automata on linear orderings, in: J. Sgall, A. Pultr, P. Kolman (Eds.), MFCS’2001, in: Lect. Notes in Comput. Sci., vol. 2136, 2001, pp. 236–247. iGM report 2001-12], automata have been introduced for words indexed by linear orderings. These automata are a generalization of automata for finite, infinite, bi-infinite, and even transfinite words studied by Büchi. Kleene’s theorem has been generalized to these words. We show that deterministic automata do not have the same expressive power. Despite this negative result, we prove that rational sets of words of finite ranks are closed under complementation.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics