Automata on Gauss Words
نویسندگان
چکیده
In this paper we investigate the computational complexity of knot theoretic problems and show upper and lower bounds for planarity problem of signed and unsigned knot diagrams represented by Gauss words. Due to the fact the number of crossing in knots is unbounded, the Gauss words of knot diagrams are strings over infinite (unbounded) alphabet. For establishing the lower and upper bounds on recognition of knot properties we study these problems in a context of automata models over infinite alphabet.
منابع مشابه
On Descriptional Complexity of the Planarity Problem for Gauss Words
In this paper we investigate the descriptional complexity of knot theoretic problems and show upper bounds for planarity problem of signed and unsigned knot diagrams represented by Gauss words. Since a topological equivalence of knots can involve knot diagrams with arbitrarily many crossings then Gauss words will be considered as strings over an infinite (unbounded) alphabet. For establishing t...
متن کاملPlanarity of Knots, Register Automata and LogSpace Computability
In this paper we investigate the complexity of planarity of knot diagrams encoded by Gauss words, both in terms of recognition by automata over infinite alphabets and in terms of classical logarithmic space complexity. As the main result, we show that recognition of planarity of unsigned Gauss words can be done in deterministic logarithmic space and by deterministic register automata. We also d...
متن کاملUNIFORM AND SEMI-UNIFORM TOPOLOGY ON GENERAL FUZZY AUTOMATA
In this paper, we dene the concepts of compatibility between twofuzzy subsets on Q, the set of states of a max- min general fuzzy automatonand transitivity in a max-min general fuzzy automaton. We then construct auniform structure on Q, and dene a topology on it. We also dene the conceptof semi-uniform structures on a nonempty set X and construct a semi-uniformstructure on the set of states of ...
متن کاملThe Common Structure of the Curves Having a Same Gauss Word
Gauss words are finite sequences of letters associated with self-intersecting closed curves in the plane. (These curves have no “triple” self-intersection). These sequences encode the order of intersections on the curves. We characterize, up to homeomorphism, all curves having a given Gauss word. We extend this characterization to the n-tuples of closed curves having a given n-tuple of words, t...
متن کاملPii: S0166-5316(00)00060-2
The compositional representation of a Markov chain using Kronecker algebra, according to a compositional model representation as a superposed generalized stochastic Petri net or a stochastic automata network, has been studied for a while. In this paper we describe a Kronecker expression and associated data structures, that allows to handle nets with synchronization over activities of different ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009