Journal ArticleDOI
The synthesis of an abstract automaton with respect to an event which can be represented by it on an electronic digital machine
Reads0
Chats0
TLDR
The synthesis algorithm carried out the successive transformation of the regular expression into an expression which is presented as the columns of the transition table of the automaton, written down one after the other (starting from the first).Abstract:
The problem is to construct the transition table of an automaton which represents an event from the regular notation of this event [1], [2]. The synthesis algorithm carried out the successive transformation of the regular expression into an expression which is presented as the columns of the transition table of the automaton, written down one after the other (starting from the first). The algorithm includes the following operators. Operator I looks for the letters in the regular notation of the event.read more
Citations
More filters
Journal ArticleDOI
Construction of recognition devices for regular languages from their Backus Normal Form definition
TL;DR: A description is given of a program that with certain restrictions on the defining grammar transforms a description of a regular language given by a set of production-rules written in Backus Normal Form to a descriptions of a recognizing algorithm based on a finite number of internal states.
Construction of recognition devices for regular languages from their backus normal form definition
TL;DR: A description is given of a program that with certain restrictions on the defining grammar transforms a description of a regular language given by a set of production-rules written in Backus Normal Form to a descriptions of a recognizing algorithm based on a finite number of internal states.
References
More filters
Journal ArticleDOI
Analysis of Sequential Machines II
D. D. Aufenkamp,F. E. Hohn +1 more
TL;DR: Compatibility of states is analyzed by an iterative technique, rigorously established, which makes it possible to determine readily connection matrices of simpler ``compatible'' machines.