Topic
ω-automaton
About: ω-automaton is a research topic. Over the lifetime, 2299 publications have been published within this topic receiving 68468 citations. The topic is also known as: stream automaton & ω-automata.
Papers published on a yearly basis
Papers
More filters
25 Oct 2004
TL;DR: In this article, the cellular automata discrete dynamical system is considered as a two-stage process: the majority rule for the change in the automata state and the rule for change in topological relations between automata.
Abstract: The cellular automata discrete dynamical system is considered as the two-stage process: the majority rule for the change in the automata state and the rule for the change in topological relations between automata. The influence of changing topology to the cooperative phenomena, namely zero-temperature ferromagnetic phase transition, is observed.
4 citations
TL;DR: This paper addresses the question of which images can be encoded as finite automata with full infinite precision, and shows that among all polygons and convex polyhedra in d-dimensional space exactly those with rational corner points are encodable as finite Automata.
4 citations
TL;DR: A lower bound for the size blow-up of determinizing a nondeterministic unranked tree automaton is given, which improves the earlier known lower bound that was based on an ad hoc construction.
4 citations
27 Mar 2009
TL;DR: It is shown that the super-exponential lower bound on the witness applies already for universal co-Buchi word and tree automata.
Abstract: The nonemptiness problem for nondeterministic automata on infinite words can be reduced to a sequence of reachability queries. The length of a shortest witness to the nonemptiness is then polynomial in the automaton. Nonemptiness algorithms for alternating automata translate them to nondeterministic automata. The exponential blow-up that the translation involves is justified by lower bounds for the nonemptiness problem, which is exponentially harder for alternating automata. The translation to nondeterministic automata also entails a blow-up in the length of the shortest witness. A matching lower bound here is known for cases where the translation involves a 2 O (n ) blow up, as is the case for finite words or Buchi automata.
Alternating co-Buchi automata and witnesses to their nonemptiness have applications in model checking (complementing a nondeterministic Buchi word automaton results in a universal co-Buchi automaton) and synthesis (an LTL specification can be translated to a universal co-Buchi tree automaton accepting exactly all the transducers that realize it). Emptiness algorithms for alternating co-Buchi automata proceed by a translation to nondeterministic Buchi automata. The blow up here is 2 O (n logn ), and it follows from the fact that, on top of the subset construction, the nondeterministic automaton maintains ranks to the states of the alternating automaton. It has been conjectured that this super-exponential blow-up need not apply to the length of the shortest witness. Intuitively, since co-Buchi automata are memoryless, it looks like a shortest witness need not visit a state associated with the same set of states more than once. A similar conjecture has been made for the width of a transducer generating a tree accepted by an alternating co-Buchi tree automaton. We show that, unfortunately, this is not the case, and that the super-exponential lower bound on the witness applies already for universal co-Buchi word and tree automata.
4 citations
4 citations