Author: Yehoshafat Give'on
Publisher:
ISBN:
Category :
Languages : en
Pages : 28
Book Description
In this paper the author formulates the categorical theory of abstract automata. Two immediate basic problems are posed. First, one wonders how restricted the study of abstract automata is when one confines himself to those properties which are formulated by means of the notions of category theory only. This is a mathematical question whose answer should be proved. The author proves the completeness of the categorical study of abstract automata for a wide class of input monoids, a class which includes all types of monoids employed in the theory of finite automata. In order to get this result, a general representation theorem for abstract automata is derived. The second question is psychological. How well does the categorical study of automata suit our intuitions and our problems. The answers to such a problem is not a matter of proof. The development presented in this paper has convinced the author of the potentiality of this new approach toward automata. Thus, this paper serves as a prelude to a series of papers which will exploit homological and categorical algebra methods for the sake of a mathematical theory of automata. (Author).
Toward a Homological Algebra of Automata I: 1. the Representation and Completeness Theorem for Categories of Abstract Automata
Author: Yehoshafat Give'on
Publisher:
ISBN:
Category :
Languages : en
Pages : 28
Book Description
In this paper the author formulates the categorical theory of abstract automata. Two immediate basic problems are posed. First, one wonders how restricted the study of abstract automata is when one confines himself to those properties which are formulated by means of the notions of category theory only. This is a mathematical question whose answer should be proved. The author proves the completeness of the categorical study of abstract automata for a wide class of input monoids, a class which includes all types of monoids employed in the theory of finite automata. In order to get this result, a general representation theorem for abstract automata is derived. The second question is psychological. How well does the categorical study of automata suit our intuitions and our problems. The answers to such a problem is not a matter of proof. The development presented in this paper has convinced the author of the potentiality of this new approach toward automata. Thus, this paper serves as a prelude to a series of papers which will exploit homological and categorical algebra methods for the sake of a mathematical theory of automata. (Author).
Publisher:
ISBN:
Category :
Languages : en
Pages : 28
Book Description
In this paper the author formulates the categorical theory of abstract automata. Two immediate basic problems are posed. First, one wonders how restricted the study of abstract automata is when one confines himself to those properties which are formulated by means of the notions of category theory only. This is a mathematical question whose answer should be proved. The author proves the completeness of the categorical study of abstract automata for a wide class of input monoids, a class which includes all types of monoids employed in the theory of finite automata. In order to get this result, a general representation theorem for abstract automata is derived. The second question is psychological. How well does the categorical study of automata suit our intuitions and our problems. The answers to such a problem is not a matter of proof. The development presented in this paper has convinced the author of the potentiality of this new approach toward automata. Thus, this paper serves as a prelude to a series of papers which will exploit homological and categorical algebra methods for the sake of a mathematical theory of automata. (Author).
Toward a Homological Algebra of Automata IV
Author: Yehoshafat Give'on
Publisher:
ISBN:
Category : Algebra, Homological
Languages : en
Pages : 142
Book Description
Publisher:
ISBN:
Category : Algebra, Homological
Languages : en
Pages : 142
Book Description
Technical Abstract Bulletin
Author:
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 684
Book Description
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 684
Book Description
Toward a Homological Algebra of Automata
Author: Yehoshafat Give'on
Publisher:
ISBN:
Category :
Languages : en
Pages : 115
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 115
Book Description
Research in Progress
Author:
Publisher:
ISBN:
Category : Military research
Languages : en
Pages : 1194
Book Description
Publisher:
ISBN:
Category : Military research
Languages : en
Pages : 1194
Book Description
Scientific and Technical Aerospace Reports
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 1158
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 1158
Book Description
Government-wide Index to Federal Research & Development Reports
Author:
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 720
Book Description
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 720
Book Description
LANGUACE AND AUTOMATA
Author: ARTHUR W. BURKS
Publisher:
ISBN:
Category :
Languages : en
Pages : 14
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 14
Book Description
U.S. Government Research & Development Reports
Author:
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 434
Book Description
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 434
Book Description
Automata and Algebras in Categories
Author: Jirí Adámek
Publisher: Springer Science & Business Media
ISBN: 9780792300106
Category : Mathematics
Languages : en
Pages : 498
Book Description
Monograph( based very largely upon results original to the Czechoslovakian authors) presents an abstract account of the theory of automata for sophisticated readers presumed to be already conversant in the language of category theory. The seven chapters are punctuated at frequent intervals by exampl
Publisher: Springer Science & Business Media
ISBN: 9780792300106
Category : Mathematics
Languages : en
Pages : 498
Book Description
Monograph( based very largely upon results original to the Czechoslovakian authors) presents an abstract account of the theory of automata for sophisticated readers presumed to be already conversant in the language of category theory. The seven chapters are punctuated at frequent intervals by exampl