Artikel
Lizenziert
Nicht lizenziert
Erfordert eine Authentifizierung
Properties of systems of defining relations for automata
-
I. S. Grunskii
Veröffentlicht/Copyright:
1. Oktober 2004
We suggest a canonical system of defining relations for finite everywhere defined output-less automata. We construct a procedure to pass from an arbitrary finite system of defining relations to a canonical one and, as a corollary, a procedure to check whether a finite system of pairs of words is a defining system for a given automaton or not. We also suggest a procedure to pass from a traversal of all arcs of the automaton graph to a system of defining relations and vice versa.
Published Online: 2004-10-01
Published in Print: 2004-10-01
Copyright 2004, Walter de Gruyter
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Artikel in diesem Heft
- Analysis of randomised rounding for integer programs
- Homomorphic relations of algebras with a scheme of operators
- On the connection between the eigen-vectors of weighted graphs and their subgraphs
- The asymptotic behaviour of the complexity of the interval search on the Boolean cube in the class of balanced trees
- Properties of systems of defining relations for automata
- Random free trees and forests with constraints on multiplicities of vertices
- On the complexity of Boolean functions with small number of ones
- A linear in memory non-exhaustive algorithm to solve a two-dimensional interval search problem
Artikel in diesem Heft
- Analysis of randomised rounding for integer programs
- Homomorphic relations of algebras with a scheme of operators
- On the connection between the eigen-vectors of weighted graphs and their subgraphs
- The asymptotic behaviour of the complexity of the interval search on the Boolean cube in the class of balanced trees
- Properties of systems of defining relations for automata
- Random free trees and forests with constraints on multiplicities of vertices
- On the complexity of Boolean functions with small number of ones
- A linear in memory non-exhaustive algorithm to solve a two-dimensional interval search problem
