Matches in SemOpenAlex for { <https://semopenalex.org/work/W1876120655> ?p ?o ?g. }
- W1876120655 endingPage "490" @default.
- W1876120655 startingPage "463" @default.
- W1876120655 abstract "Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of universality that applies to arbitrary discrete time symbolic dynamical systems. Universality of a system is defined as undecidability of a model-checking problem. For Turing machines, counter machines and tag systems, our definition coincides with the classical one. It yields, however, a new definition for cellular automata and subshifts. Our definition is robust with respect to initial condition, which is a desirable feature for physical realizability.We derive necessary conditions for undecidability and universality. For instance, a universal system must have a sensitive point and a proper subsystem. We conjecture that universal systems have infinite number of subsystems. We also discuss the thesis according to which computation should occur at the 'edge of chaos' and we exhibit a universal chaotic system." @default.
- W1876120655 created "2016-06-24" @default.
- W1876120655 creator A5006354562 @default.
- W1876120655 creator A5037929944 @default.
- W1876120655 creator A5073875709 @default.
- W1876120655 date "2006-12-01" @default.
- W1876120655 modified "2023-09-23" @default.
- W1876120655 title "Decidability and Universality in Symbolic Dynamical Systems" @default.
- W1876120655 cites W1489043874 @default.
- W1876120655 cites W1496937667 @default.
- W1876120655 cites W1509579779 @default.
- W1876120655 cites W1545211217 @default.
- W1876120655 cites W1563982778 @default.
- W1876120655 cites W1576428618 @default.
- W1876120655 cites W1583275894 @default.
- W1876120655 cites W1593993808 @default.
- W1876120655 cites W1881958520 @default.
- W1876120655 cites W1884366842 @default.
- W1876120655 cites W1964191518 @default.
- W1876120655 cites W1970278892 @default.
- W1876120655 cites W1979684610 @default.
- W1876120655 cites W1986976921 @default.
- W1876120655 cites W1991903325 @default.
- W1876120655 cites W1993024264 @default.
- W1876120655 cites W1998538686 @default.
- W1876120655 cites W2010513324 @default.
- W1876120655 cites W2015774971 @default.
- W1876120655 cites W2050076818 @default.
- W1876120655 cites W2057137378 @default.
- W1876120655 cites W2061970672 @default.
- W1876120655 cites W2065597356 @default.
- W1876120655 cites W2065771184 @default.
- W1876120655 cites W2093964259 @default.
- W1876120655 cites W2108365750 @default.
- W1876120655 cites W2117832390 @default.
- W1876120655 cites W2126160338 @default.
- W1876120655 cites W2129722831 @default.
- W1876120655 cites W2131486716 @default.
- W1876120655 cites W2164189437 @default.
- W1876120655 cites W2164846953 @default.
- W1876120655 cites W2177218873 @default.
- W1876120655 cites W2202870442 @default.
- W1876120655 cites W2244050465 @default.
- W1876120655 cites W2611511037 @default.
- W1876120655 cites W2912318510 @default.
- W1876120655 cites W2913459036 @default.
- W1876120655 cites W3122402243 @default.
- W1876120655 cites W3144756211 @default.
- W1876120655 cites W601494766 @default.
- W1876120655 cites W932081378 @default.
- W1876120655 hasPublicationYear "2006" @default.
- W1876120655 type Work @default.
- W1876120655 sameAs 1876120655 @default.
- W1876120655 citedByCount "15" @default.
- W1876120655 countsByYear W18761206552012 @default.
- W1876120655 countsByYear W18761206552014 @default.
- W1876120655 countsByYear W18761206552015 @default.
- W1876120655 countsByYear W18761206552016 @default.
- W1876120655 countsByYear W18761206552018 @default.
- W1876120655 countsByYear W18761206552022 @default.
- W1876120655 crossrefType "journal-article" @default.
- W1876120655 hasAuthorship W1876120655A5006354562 @default.
- W1876120655 hasAuthorship W1876120655A5037929944 @default.
- W1876120655 hasAuthorship W1876120655A5073875709 @default.
- W1876120655 hasConcept C112505250 @default.
- W1876120655 hasConcept C11413529 @default.
- W1876120655 hasConcept C118615104 @default.
- W1876120655 hasConcept C121332964 @default.
- W1876120655 hasConcept C153269930 @default.
- W1876120655 hasConcept C183992945 @default.
- W1876120655 hasConcept C2776378722 @default.
- W1876120655 hasConcept C29248071 @default.
- W1876120655 hasConcept C33923547 @default.
- W1876120655 hasConcept C35527583 @default.
- W1876120655 hasConcept C41008148 @default.
- W1876120655 hasConcept C45374587 @default.
- W1876120655 hasConcept C62520636 @default.
- W1876120655 hasConcept C79379906 @default.
- W1876120655 hasConcept C80444323 @default.
- W1876120655 hasConceptScore W1876120655C112505250 @default.
- W1876120655 hasConceptScore W1876120655C11413529 @default.
- W1876120655 hasConceptScore W1876120655C118615104 @default.
- W1876120655 hasConceptScore W1876120655C121332964 @default.
- W1876120655 hasConceptScore W1876120655C153269930 @default.
- W1876120655 hasConceptScore W1876120655C183992945 @default.
- W1876120655 hasConceptScore W1876120655C2776378722 @default.
- W1876120655 hasConceptScore W1876120655C29248071 @default.
- W1876120655 hasConceptScore W1876120655C33923547 @default.
- W1876120655 hasConceptScore W1876120655C35527583 @default.
- W1876120655 hasConceptScore W1876120655C41008148 @default.
- W1876120655 hasConceptScore W1876120655C45374587 @default.
- W1876120655 hasConceptScore W1876120655C62520636 @default.
- W1876120655 hasConceptScore W1876120655C79379906 @default.
- W1876120655 hasConceptScore W1876120655C80444323 @default.
- W1876120655 hasIssue "4" @default.
- W1876120655 hasOpenAccess W1876120655 @default.
- W1876120655 hasRelatedWork W1565611252 @default.
- W1876120655 hasRelatedWork W1580526823 @default.