ω-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.

Parallel Computations and Finite Automata on Semilattices

Abstract: First, we outline a possibility to associate with parallel computations on a semilattice a finite automaton defined on semilattices which models the computations, and then we study three problems concerning the design of finite automata on semilattices — synthesis, minimization, and decomposition.

First-order finite satisfiability vs tree automata in safety verification

Abstract: In this paper we deal with verification of safety properties of term-rewriting systems. The verification problem is translated to a purely logical problem of finding a finite countermodel for a first-order formula, which further resolved by a generic finite model finding procedure. A finite countermodel produced during successful verification provides with a concise description of the system invariant sufficient to demonstrate a specific safety property. We show the relative completeness of this approach with respect to the tree automata completion technique. On a set of examples taken from the literature we demonstrate the efficiency of finite model finding approach as well as its explanatory power.

Remarks on Four-Dimensional Probabilistic Finite Automata

Abstract: This paper is a study of four-dimensional automata. Recently, due to the advances in many application areas such as dynamic image processing, computer animation, augmented reality (AR), and so on, it is useful for analyzing computation of four-dimensional information processing (three-dimensional pattern processing with time axis) to explicate the properties of four-dimensional automata. From this point of view, we have investigated many properties of four-dimensional automata and computational complexity. On the other hand, the class of sets accepted by probabilistic machines have been studied extensively. As far as we know, however, there is no results concerned with four-dimensional probabilistic machines. In this paper, we introduce four-dimensional probabilistic finite automata, and investigate some accepting powers of them.

Periodic Cellular Automata of Period-3

Abstract: Cellular automata are a new approach that has been rapidly used in many area of science In this paper, we introduce a notion of periodic one-dimensional cellular automata In addition, we calculate entropy of some periodic cellular automata of period-3 and present the simulation for some fractal type periodic cellular automata