scispace - formally typeset
Journal ArticleDOI

The synthesis of an abstract automaton with respect to an event which can be represented by it on an electronic digital machine

A.A. Stognii
- 01 Jan 1962 - 
- Vol. 1, Iss: 3, pp 623-627
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

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.
Related Papers (5)