نتایج جستجو برای: finite automaton

تعداد نتایج: 276681  

Journal: :Complex Systems 1989
Tom Head

New algorithms for deciding the injectivit y of the global update funct ion associat ed with a cellular automaton C A of dimension one are presented. This is done by interpreting each ordered pair dete rmined by the local update function as th e edge of a labeled directed graph GR which has the prope rty that each bi-infinite sequence of states of the cellular automaton is th e sequence of inpu...

2015
Dr. S. JeyaBharathi

Madurai, (India) ABSTRACT In this paper we explore the finite automaton for n-cut splicing system. We propound a group structure for the automaton of splicing system. In addition, the product of automaton of splicing system with itself is scrutinized. It is found that the reconstructed machine from the product of automaton of splicing system is isomorphic to the automaton of splicing system. He...

2010
YASUO UCHIDA MAKOTO SAKAMOTO RYOJU KATAMUNE KAZUYUKI UCHIDA HIROSHI FURUTANI MICHIO KONO SATOSHI IKEDA

A multi-marker automaton is a finite automaton which keeps marks as pebbles in the finite control, and cannot rewrite any input symbols but can make marks on its input with the restriction that only a bounded number of these marks can exist at any given time. An improvement of picture recognizability of the finite automaton is the reason why the multi-marker automaton was introduced. On the oth...

2012
Alex Kruckman Sasha Rubin John Sheridan Ben Zax

Consider an extension of the classical model of finite automata operating on finite strings in which the machine simultaneously reads a fixed advice tape — an infinite string A. A deterministic finite-string automaton with advice A is like a deterministic finite-string automaton, except that at step n the next state depends on the current state, the nth symbol of the input w ∈ Σ∗, and the nth s...

Journal: :Theor. Comput. Sci. 2017
Tara Brough Alan J. Cain

This paper studies the class of automaton semigroups from two perspectives: closure under constructions, and examples of semigroups that are not automaton semigroups. We prove that (semigroup) free products of finite semigroups always arise as automaton semigroups, and that the class of automaton monoids is closed under forming wreath products with finite monoids. We also consider closure under...

Journal: :SIAM J. Comput. 2002
Alex Brodsky Nicholas Pippenger

The 2-way quantum finite automaton introduced by Kondacs and Watrous[KW97] can accept non-regular languages with bounded error in polynomial time. If we restrict the head of the automaton to moving classically and to moving only in one direction, the acceptance power of this 1-way quantum finite automaton is reduced to a proper subset of the regular languages. In this paper we study two differe...

2017
Sven Dziadek

Finite tree automata consist of a set of states and a set of transitions. Input trees are accepted if it is possible to label the tree with states such that the relationship between the state at every node and the state at its child nodes conforms to a transition. Thus, the transitions only define how a state must be labeled with respect to its children or vice versa. This work investigates how...

Journal: :IBM Journal of Research and Development 1959
Michael O. Rabin Dana S. Scott

Finite automata are considered in this paper a s instruments for classifying finite tapes. Each onetape automaton defines a set of tapes, a two-tape automaton defines a set of pairs of tapes, et cetera. The structure of the defined sets is studied. Various generalizations of the notion of an automaton are introduced and their relation to the classical automata is determined. Some decision probl...

Taking into account the notion of BL-general fuzzy automaton, in the present study we define the notation of BL-intuitionistic general L-fuzzy automaton and I-bisimulation for BL-intuitionistic general L-fuzzy automaton.Then for a given BL-intuitionistic general L-fuzzy automaton, we obtain the greatest I-bisimulation. According to this notion, we give the structure of quotient BL-intuiti...

2009
Maxime Crochemore Laura Giambruno

In this paper we describe a “light” algorithm for the on-line construction of a small automaton recognising a finite set of words. The algorithm runs in linear time. We carried out good experimental results on real dictionaries, on biological sequences and on the sets of suffixes (resp. factors) of a set of words that shows how our automaton is near to the minimal one. For the suffixes of a tex...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید