Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155294253> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2155294253 endingPage "397" @default.
- W2155294253 startingPage "386" @default.
- W2155294253 abstract "We define a new criterion which allows to separate cases when all non erasing Turing machines on {0, 1} have a decidable halting problem from cases where a universal non erasing machine can be constructed. It is the case of the number of left instructions in the machine program. In this paper we give the main ideas of the proof for both parts of the frontier result. We prove that there is a universal non-erasing Turing machine whose program has precisely 3 left instructions and that the halting problem is decidable for any non-erasing Turing machine on alphabet {0, 1}, the program of which contains at most 2 left instructions. For this latter result, we have a uniform decision algorithm." @default.
- W2155294253 created "2016-06-24" @default.
- W2155294253 creator A5031246698 @default.
- W2155294253 date "1995-01-01" @default.
- W2155294253 modified "2023-10-14" @default.
- W2155294253 title "Non-erasing turing machines: A new frontier between a decidable halting problem and universality" @default.
- W2155294253 cites W1978129078 @default.
- W2155294253 cites W2912355105 @default.
- W2155294253 doi "https://doi.org/10.1007/3-540-59175-3_104" @default.
- W2155294253 hasPublicationYear "1995" @default.
- W2155294253 type Work @default.
- W2155294253 sameAs 2155294253 @default.
- W2155294253 citedByCount "15" @default.
- W2155294253 countsByYear W21552942532012 @default.
- W2155294253 countsByYear W21552942532015 @default.
- W2155294253 crossrefType "book-chapter" @default.
- W2155294253 hasAuthorship W2155294253A5031246698 @default.
- W2155294253 hasConcept C121332964 @default.
- W2155294253 hasConcept C131671149 @default.
- W2155294253 hasConcept C153269930 @default.
- W2155294253 hasConcept C179061269 @default.
- W2155294253 hasConcept C183992945 @default.
- W2155294253 hasConcept C199360897 @default.
- W2155294253 hasConcept C29248071 @default.
- W2155294253 hasConcept C31402856 @default.
- W2155294253 hasConcept C41008148 @default.
- W2155294253 hasConcept C45374587 @default.
- W2155294253 hasConcept C62520636 @default.
- W2155294253 hasConcept C80444323 @default.
- W2155294253 hasConcept C9870796 @default.
- W2155294253 hasConceptScore W2155294253C121332964 @default.
- W2155294253 hasConceptScore W2155294253C131671149 @default.
- W2155294253 hasConceptScore W2155294253C153269930 @default.
- W2155294253 hasConceptScore W2155294253C179061269 @default.
- W2155294253 hasConceptScore W2155294253C183992945 @default.
- W2155294253 hasConceptScore W2155294253C199360897 @default.
- W2155294253 hasConceptScore W2155294253C29248071 @default.
- W2155294253 hasConceptScore W2155294253C31402856 @default.
- W2155294253 hasConceptScore W2155294253C41008148 @default.
- W2155294253 hasConceptScore W2155294253C45374587 @default.
- W2155294253 hasConceptScore W2155294253C62520636 @default.
- W2155294253 hasConceptScore W2155294253C80444323 @default.
- W2155294253 hasConceptScore W2155294253C9870796 @default.
- W2155294253 hasLocation W21552942531 @default.
- W2155294253 hasOpenAccess W2155294253 @default.
- W2155294253 hasPrimaryLocation W21552942531 @default.
- W2155294253 hasRelatedWork W1483817375 @default.
- W2155294253 hasRelatedWork W1585269885 @default.
- W2155294253 hasRelatedWork W1644181480 @default.
- W2155294253 hasRelatedWork W16982484 @default.
- W2155294253 hasRelatedWork W2177981693 @default.
- W2155294253 hasRelatedWork W2260831910 @default.
- W2155294253 hasRelatedWork W2912355105 @default.
- W2155294253 hasRelatedWork W3038380712 @default.
- W2155294253 hasRelatedWork W4224322264 @default.
- W2155294253 hasRelatedWork W4232504432 @default.
- W2155294253 isParatext "false" @default.
- W2155294253 isRetracted "false" @default.
- W2155294253 magId "2155294253" @default.
- W2155294253 workType "book-chapter" @default.