AbstractWe present three possible approaches to a homology theory of automata. Two of these require the state to possess a tolerance. This permits us to proceed by analogy with either the simplicial or the cubical theories of the topological category. The third approach describes a homology theory of automata as such.Fixed simplex theorems are stated. It is suggested that homology theory might be used to classify automata
monoidal categories are a natural setting to study automata automata based on actions, languages are...
This book is an introduction to the homology theory of topological spaces and discrete groups, focus...
Automata Theory is part of computability theory which covers problems in computer systems, software,...
AbstractWe present three possible approaches to a homology theory of automata. Two of these require ...
http://deepblue.lib.umich.edu/bitstream/2027.42/5082/5/bac2732.0001.001.pdfhttp://deepblue.lib.umich...
http://deepblue.lib.umich.edu/bitstream/2027.42/5083/5/abj3763.0005.001.pdfhttp://deepblue.lib.umich...
Studying a system that evolves with time through its geometry is the main purpose of directed algebr...
AbstractA lattice-valued relation, lvr for short, from a set X to a set Y is a function from the Car...
Let A = (Q, X, δ) be an X-automaton, with Q its state set. For a subset B ⊆ Q, the source of B is de...
Higher-dimensional automata constitute a very expressive model for concurrent systems. In this pape...
AbstractThe state spaces of machines admit the structure of time. A homotopy theory respecting this ...
We extend the treatment of algebra automata to automata employing algebras over arbitrary theories. ...
Concepts of reduction and minimization are formulated in a general setting inorder to unify and clas...
We construct labeling homomorphisms on the cubical homology of higher-dimensional automata and show...
Abstract. Higher dimensional automata, i.e. labelled precubical sets, model concurrent systems. We i...
monoidal categories are a natural setting to study automata automata based on actions, languages are...
This book is an introduction to the homology theory of topological spaces and discrete groups, focus...
Automata Theory is part of computability theory which covers problems in computer systems, software,...
AbstractWe present three possible approaches to a homology theory of automata. Two of these require ...
http://deepblue.lib.umich.edu/bitstream/2027.42/5082/5/bac2732.0001.001.pdfhttp://deepblue.lib.umich...
http://deepblue.lib.umich.edu/bitstream/2027.42/5083/5/abj3763.0005.001.pdfhttp://deepblue.lib.umich...
Studying a system that evolves with time through its geometry is the main purpose of directed algebr...
AbstractA lattice-valued relation, lvr for short, from a set X to a set Y is a function from the Car...
Let A = (Q, X, δ) be an X-automaton, with Q its state set. For a subset B ⊆ Q, the source of B is de...
Higher-dimensional automata constitute a very expressive model for concurrent systems. In this pape...
AbstractThe state spaces of machines admit the structure of time. A homotopy theory respecting this ...
We extend the treatment of algebra automata to automata employing algebras over arbitrary theories. ...
Concepts of reduction and minimization are formulated in a general setting inorder to unify and clas...
We construct labeling homomorphisms on the cubical homology of higher-dimensional automata and show...
Abstract. Higher dimensional automata, i.e. labelled precubical sets, model concurrent systems. We i...
monoidal categories are a natural setting to study automata automata based on actions, languages are...
This book is an introduction to the homology theory of topological spaces and discrete groups, focus...
Automata Theory is part of computability theory which covers problems in computer systems, software,...