Matches in SemOpenAlex for { <https://semopenalex.org/work/W2889541538> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2889541538 abstract "Tag systems and cyclic tag systems are forms of rewriting systems which, due to the simplicity of their rewrite rules, have become popular targets for reductions when proving universality/undecidability results. They have been used to prove such results for the smallest universal Turing machines, the elementary cellular automata Rule 110, for simple instances of the Post correspondence problem and related problems on simple matrix semi-groups, and many other simple systems. In this work we compare the computational power of tag systems, cyclic tag systems and a straightforward generalization of these two types of rewriting system. We explore the relationships between the various systems by showing that some variants simulate each other in linear time via simple encodings, and that linear time simulations between other variants are not possible using such simple encodings. We also give a cyclic tag system that has only four instructions and simulates repeated iteration of the Collatz function." @default.
- W2889541538 created "2018-09-07" @default.
- W2889541538 creator A5009737906 @default.
- W2889541538 creator A5088965283 @default.
- W2889541538 date "2018-01-01" @default.
- W2889541538 modified "2023-10-03" @default.
- W2889541538 title "Generalized Tag Systems" @default.
- W2889541538 cites W1580526823 @default.
- W2889541538 cites W1978129078 @default.
- W2889541538 cites W2006301099 @default.
- W2889541538 cites W2007372548 @default.
- W2889541538 cites W2037124586 @default.
- W2889541538 cites W2050162072 @default.
- W2889541538 cites W2053756189 @default.
- W2889541538 cites W2063470502 @default.
- W2889541538 cites W2101562773 @default.
- W2889541538 cites W2134468631 @default.
- W2889541538 cites W2326418800 @default.
- W2889541538 cites W4230172941 @default.
- W2889541538 doi "https://doi.org/10.1007/978-3-030-00250-3_8" @default.
- W2889541538 hasPublicationYear "2018" @default.
- W2889541538 type Work @default.
- W2889541538 sameAs 2889541538 @default.
- W2889541538 citedByCount "0" @default.
- W2889541538 crossrefType "book-chapter" @default.
- W2889541538 hasAuthorship W2889541538A5009737906 @default.
- W2889541538 hasAuthorship W2889541538A5088965283 @default.
- W2889541538 hasConcept C111472728 @default.
- W2889541538 hasConcept C112505250 @default.
- W2889541538 hasConcept C11413529 @default.
- W2889541538 hasConcept C121332964 @default.
- W2889541538 hasConcept C134306372 @default.
- W2889541538 hasConcept C138885662 @default.
- W2889541538 hasConcept C154690210 @default.
- W2889541538 hasConcept C177148314 @default.
- W2889541538 hasConcept C183992945 @default.
- W2889541538 hasConcept C199360897 @default.
- W2889541538 hasConcept C2780586882 @default.
- W2889541538 hasConcept C29248071 @default.
- W2889541538 hasConcept C33923547 @default.
- W2889541538 hasConcept C41008148 @default.
- W2889541538 hasConcept C45374587 @default.
- W2889541538 hasConcept C62520636 @default.
- W2889541538 hasConcept C80444323 @default.
- W2889541538 hasConceptScore W2889541538C111472728 @default.
- W2889541538 hasConceptScore W2889541538C112505250 @default.
- W2889541538 hasConceptScore W2889541538C11413529 @default.
- W2889541538 hasConceptScore W2889541538C121332964 @default.
- W2889541538 hasConceptScore W2889541538C134306372 @default.
- W2889541538 hasConceptScore W2889541538C138885662 @default.
- W2889541538 hasConceptScore W2889541538C154690210 @default.
- W2889541538 hasConceptScore W2889541538C177148314 @default.
- W2889541538 hasConceptScore W2889541538C183992945 @default.
- W2889541538 hasConceptScore W2889541538C199360897 @default.
- W2889541538 hasConceptScore W2889541538C2780586882 @default.
- W2889541538 hasConceptScore W2889541538C29248071 @default.
- W2889541538 hasConceptScore W2889541538C33923547 @default.
- W2889541538 hasConceptScore W2889541538C41008148 @default.
- W2889541538 hasConceptScore W2889541538C45374587 @default.
- W2889541538 hasConceptScore W2889541538C62520636 @default.
- W2889541538 hasConceptScore W2889541538C80444323 @default.
- W2889541538 hasLocation W28895415381 @default.
- W2889541538 hasOpenAccess W2889541538 @default.
- W2889541538 hasPrimaryLocation W28895415381 @default.
- W2889541538 hasRelatedWork W1526015812 @default.
- W2889541538 hasRelatedWork W1571363926 @default.
- W2889541538 hasRelatedWork W1584319581 @default.
- W2889541538 hasRelatedWork W1846242859 @default.
- W2889541538 hasRelatedWork W1881030807 @default.
- W2889541538 hasRelatedWork W1988808695 @default.
- W2889541538 hasRelatedWork W2067935700 @default.
- W2889541538 hasRelatedWork W2138364832 @default.
- W2889541538 hasRelatedWork W2166588729 @default.
- W2889541538 hasRelatedWork W2406845908 @default.
- W2889541538 hasRelatedWork W2557666292 @default.
- W2889541538 hasRelatedWork W2884461919 @default.
- W2889541538 hasRelatedWork W2893961500 @default.
- W2889541538 hasRelatedWork W2951301602 @default.
- W2889541538 hasRelatedWork W2966812847 @default.
- W2889541538 hasRelatedWork W2978891950 @default.
- W2889541538 hasRelatedWork W3006574674 @default.
- W2889541538 hasRelatedWork W3082532717 @default.
- W2889541538 hasRelatedWork W3136454149 @default.
- W2889541538 hasRelatedWork W2182854164 @default.
- W2889541538 isParatext "false" @default.
- W2889541538 isRetracted "false" @default.
- W2889541538 magId "2889541538" @default.
- W2889541538 workType "book-chapter" @default.