IJSER © 2015 http://www.ijser.org A Novel Method To Construct Deterministic Finite Automata From AGiven Regular Grammar K.Senthil Kumar D.Malathi Abstract—Membership checking is an important task in language formalism. In regular Language ,Deterministic Finite Automata plays membership checking in a convenient way. Regular language is normally represented by regular expression from which peopl...

Given a subset of states $S$ deterministic finite automaton and word $w$, the preimage is all mapped to state in by action $w$. We study three natural problems concerning words giving certain preimages. The first problem whether, for given subset, there exists \emph{extending} (giving larger preimage). second whether \emph{totally extending} whole set as preimage)---equivalently, an \emph{avoid...

Quantum finite automata were introduced by C. Moore, J. P. Crutchfield [MC 97], and by A. Kondacs and J. Watrous [KW 97]. This notion is not a generalization of the deterministic finite automata. Moreover, in [KW 97] it was proved that not all regular languages can be recognized by quantum finite automata. A. Ambainis and R. Freivalds [AF 98] proved that for some languages quantum finite automa...

In this paper, we have introduced the deterministic variant of parallel communicating Watson-Crick automata systems. We show that similar to the non-deterministic version, the deterministic version can also recognise some non-regular uniletter languages. We further establish that strongly deterministic Watson-Crick automata systems and deterministic Watson-Crick automata system are incomparable...

The present paper establishes the learnability of simple deterministic finitememory automata via membership and equivalence queries. Simple deterministic finite-memory automata are a subclass of deterministic finite-memory automata introduced by Kaminski and Francez [9] as a model generalizing finite-state automata to infinite alphabets. For arriving at a meaningful learning model we first prov...

Quantum finite automata with mixed states are proved to be super-exponentially more concise rather than quantum finite automata with pure states. It was proved earlier by A.Ambainis and R.Freivalds that quantum finite automata with pure states can have exponentially smaller number of states than deterministic finite automata recognizing the same language. There was a never published ”folk theor...

In this paper we study the problem of minimising deterministic automata over finite and infinite words. Deterministic finite automata are the simplest devices to recognise regular languages, and deterministic Büchi, Co-Büchi, and parity automata play a similar role in the recognition of ω-regular languages. While it is well known that the minimisation of deterministic finite and weak automata i...