Online Library TheLib.net » Universal Theory of Automata: A Categorical Approach
cover of the book Universal Theory of Automata: A Categorical Approach

Ebook: Universal Theory of Automata: A Categorical Approach

00
27.01.2024
0
0



Content:
Front Matter....Pages N2-6
Introduction....Pages 7-14
Unified Representation of Automata....Pages 15-31
Some Problems in Automata Theory....Pages 32-45
General Concepts of Reduction, Minimization and Realization....Pages 46-58
Behavior of Automata in Closed Categories: The Deterministic Case....Pages 59-81
Reduction and Minimization of Automata in Closed Categories....Pages 82-95
Behavior of Automata in Pseudoclosed Categories: The Nondeterministic Case....Pages 96-117
Reduction and Minimization of Automata in Pseudoclosed Categories....Pages 118-139
Power Automata....Pages 140-149
Initial Automata....Pages 150-169
Scoop Minimization....Pages 170-189
Structure Theory of Automata....Pages 190-214
Appendix: Basic Notions of Category Theory....Pages 215-227
Back Matter....Pages 228-241



Content:
Front Matter....Pages N2-6
Introduction....Pages 7-14
Unified Representation of Automata....Pages 15-31
Some Problems in Automata Theory....Pages 32-45
General Concepts of Reduction, Minimization and Realization....Pages 46-58
Behavior of Automata in Closed Categories: The Deterministic Case....Pages 59-81
Reduction and Minimization of Automata in Closed Categories....Pages 82-95
Behavior of Automata in Pseudoclosed Categories: The Nondeterministic Case....Pages 96-117
Reduction and Minimization of Automata in Pseudoclosed Categories....Pages 118-139
Power Automata....Pages 140-149
Initial Automata....Pages 150-169
Scoop Minimization....Pages 170-189
Structure Theory of Automata....Pages 190-214
Appendix: Basic Notions of Category Theory....Pages 215-227
Back Matter....Pages 228-241
....
Download the book Universal Theory of Automata: A Categorical Approach for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen