FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2133710868> ?p ?o ?g. }

• W2133710868 endingPage "77" @default.
• W2133710868 startingPage "50" @default.
• W2133710868 abstract "Several techniques for the experimental investigation of the computing power of various formal models, from cellular automata to Turing machines, have been proposed by S. Wolfram with his NKS (New Kind of Science). Visual complexity indicators reveal the ‘internal shapes’ of computations, and may expose constant, periodic, nested/fractal, pseudo-random, and even more sophisticated dynamics. In this paper we investigate visual complexity indicators for process algebra. With its emphasis on reactive, continuously observable behavior, as opposed to input/output behavior, process algebra might appear as an ideal candidate for NKS-style investigations; however, this formal model is in some sense more elaborate than the simple formalisms addressed in NKS, and poses specific problems, such as the presence of both events and states, and the explosive nature of nondeterminism. We consider a set of process algebraic operators and prove its Turing universality by showing that they can emulate any elementary cellular automaton, including n. 110, which is itself universal. The correctness of the emulation is supported by an original visual indicator, which is then used for exploring various subclasses of algebraic expressions and their emergent features. Based on this indicator, and even by restricting to deterministic computations, we have detected and measured, by a data compression technique, the emergence of randomness in a subclass of expressions which is provably not universal. Besides providing a suggestive visualization of the relative strengths of operator subsets, we believe that results of this type, both of theoretical and of experimental nature, are desirable in light of one of the key NKS conjectures, according to which random-like behavior would be a witness of computational universality." @default.
• W2133710868 created "2016-06-24" @default.
• W2133710868 creator A5011918138 @default.
• W2133710868 date "2007-05-01" @default.
• W2133710868 modified "2023-09-24" @default.
• W2133710868 title "Behavioral complexity indicators for process algebra: The NKS approach" @default.
• W2133710868 cites W1489043874 @default.
• W2133710868 cites W1503456243 @default.
• W2133710868 cites W1503973138 @default.
• W2133710868 cites W1908424597 @default.
• W2133710868 cites W1972478730 @default.
• W2133710868 cites W1978260428 @default.
• W2133710868 cites W1981663184 @default.
• W2133710868 cites W1988879351 @default.
• W2133710868 cites W2013672985 @default.
• W2133710868 cites W2048924606 @default.
• W2133710868 cites W2076466818 @default.
• W2133710868 cites W2109585055 @default.
• W2133710868 cites W2120926795 @default.
• W2133710868 cites W2121372686 @default.
• W2133710868 cites W2128932399 @default.
• W2133710868 cites W3124439491 @default.
• W2133710868 cites W3144368627 @default.
• W2133710868 cites W1947051403 @default.
• W2133710868 doi "https://doi.org/10.1016/j.jlap.2007.02.004" @default.
• W2133710868 hasPublicationYear "2007" @default.
• W2133710868 type Work @default.
• W2133710868 sameAs 2133710868 @default.
• W2133710868 citedByCount "0" @default.
• W2133710868 crossrefType "journal-article" @default.
• W2133710868 hasAuthorship W2133710868A5011918138 @default.
• W2133710868 hasConcept C105795698 @default.
• W2133710868 hasConcept C125112378 @default.
• W2133710868 hasConcept C136119220 @default.
• W2133710868 hasConcept C161771561 @default.
• W2133710868 hasConcept C202444582 @default.
• W2133710868 hasConcept C33923547 @default.
• W2133710868 hasConcept C41008148 @default.
• W2133710868 hasConcept C80444323 @default.
• W2133710868 hasConceptScore W2133710868C105795698 @default.
• W2133710868 hasConceptScore W2133710868C125112378 @default.
• W2133710868 hasConceptScore W2133710868C136119220 @default.
• W2133710868 hasConceptScore W2133710868C161771561 @default.
• W2133710868 hasConceptScore W2133710868C202444582 @default.
• W2133710868 hasConceptScore W2133710868C33923547 @default.
• W2133710868 hasConceptScore W2133710868C41008148 @default.
• W2133710868 hasConceptScore W2133710868C80444323 @default.
• W2133710868 hasIssue "1" @default.
• W2133710868 hasLocation W21337108681 @default.
• W2133710868 hasOpenAccess W2133710868 @default.
• W2133710868 hasPrimaryLocation W21337108681 @default.
• W2133710868 hasRelatedWork W138317454 @default.
• W2133710868 hasRelatedWork W1987949650 @default.
• W2133710868 hasRelatedWork W2045490848 @default.
• W2133710868 hasRelatedWork W2090649758 @default.
• W2133710868 hasRelatedWork W2095174088 @default.
• W2133710868 hasRelatedWork W2331592954 @default.
• W2133710868 hasRelatedWork W2332694326 @default.
• W2133710868 hasRelatedWork W2913338188 @default.
• W2133710868 hasRelatedWork W3036399271 @default.
• W2133710868 hasRelatedWork W4249089511 @default.
• W2133710868 hasVolume "72" @default.
• W2133710868 isParatext "false" @default.
• W2133710868 isRetracted "false" @default.
• W2133710868 magId "2133710868" @default.
• W2133710868 workType "article" @default.