Access the full text.
Sign up today, get DeepDyve free for 14 days.
(1985)
On the synthesis of automata by a finite set of experiments
(1970)
On reconstruction of an automaton with unknown upper bound of the number of the states
(1962)
Introduction to the Tlieoty of Machines
(1956)
Speculative experiments with sequential machines
(1978)
Topics of Automata Tlieoty
A. Tal (1964)
Questionnaire language and abstract synthesis of minimal sequential machines
-- The reconstruction of a finite state machine on the basis of experiments performed on it is discussed. The concept of irredundancy is introduced and the respective criterion is found for the machine that accepts a given set of experiments. A separate treatment is given to the case when such a machine is unique. The respective criterion is presented. 1. INTRODUCTION The present article treats the finite state machine as a processor of input-output sequences (words) which can be associated by an experiment [1]. Experimental results constitute the information available to the researcher analyzing the input-output behaviour of the machine. The problem is thus to reconstruct the machine by the experimental findings. It was originally formulated by Moore [2] and extended by other workers [3-5]. An important aspect of the problem is to reconstruct a machine that would be irredundant in a certain sense. This problem has been reiterated by the aforementioned authors. We approach the description of irredundant state machines on the assumption that the initial set of experiments is finite and the concept of irredundancy is defined as follows: an irredundant machine has no parts of its own that would recognize the initial set of experiments.
Discrete Mathematics and Applications – de Gruyter
Published: Jan 1, 1991
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.