Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023648920> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2023648920 endingPage "682" @default.
- W2023648920 startingPage "677" @default.
- W2023648920 abstract "A Post machine is a Turing machine which cannot both write and move on the same machine step. It is shown that the halting problem for the class of 2-state Post machines is solvable. Thus, there can be no universal 2-state Post machine. This is in contrast with the result of Shannon that there exist universal 2-state Turing machines when the machines are capable of both writing and moving on the same step." @default.
- W2023648920 created "2016-06-24" @default.
- W2023648920 creator A5022658667 @default.
- W2023648920 creator A5032562524 @default.
- W2023648920 date "1967-10-01" @default.
- W2023648920 modified "2023-10-13" @default.
- W2023648920 title "The Solvability of the Halting Problem for 2-State Post Machines" @default.
- W2023648920 cites W2004459113 @default.
- W2023648920 cites W2069980124 @default.
- W2023648920 doi "https://doi.org/10.1145/321420.321426" @default.
- W2023648920 hasPublicationYear "1967" @default.
- W2023648920 type Work @default.
- W2023648920 sameAs 2023648920 @default.
- W2023648920 citedByCount "15" @default.
- W2023648920 countsByYear W20236489202012 @default.
- W2023648920 crossrefType "journal-article" @default.
- W2023648920 hasAuthorship W2023648920A5022658667 @default.
- W2023648920 hasAuthorship W2023648920A5032562524 @default.
- W2023648920 hasBestOaLocation W20236489201 @default.
- W2023648920 hasConcept C11413529 @default.
- W2023648920 hasConcept C131671149 @default.
- W2023648920 hasConcept C137343475 @default.
- W2023648920 hasConcept C145243422 @default.
- W2023648920 hasConcept C15190523 @default.
- W2023648920 hasConcept C154945302 @default.
- W2023648920 hasConcept C167822520 @default.
- W2023648920 hasConcept C179061269 @default.
- W2023648920 hasConcept C21176728 @default.
- W2023648920 hasConcept C2777212361 @default.
- W2023648920 hasConcept C29248071 @default.
- W2023648920 hasConcept C31402856 @default.
- W2023648920 hasConcept C41008148 @default.
- W2023648920 hasConcept C45374587 @default.
- W2023648920 hasConcept C48103436 @default.
- W2023648920 hasConcept C80444323 @default.
- W2023648920 hasConceptScore W2023648920C11413529 @default.
- W2023648920 hasConceptScore W2023648920C131671149 @default.
- W2023648920 hasConceptScore W2023648920C137343475 @default.
- W2023648920 hasConceptScore W2023648920C145243422 @default.
- W2023648920 hasConceptScore W2023648920C15190523 @default.
- W2023648920 hasConceptScore W2023648920C154945302 @default.
- W2023648920 hasConceptScore W2023648920C167822520 @default.
- W2023648920 hasConceptScore W2023648920C179061269 @default.
- W2023648920 hasConceptScore W2023648920C21176728 @default.
- W2023648920 hasConceptScore W2023648920C2777212361 @default.
- W2023648920 hasConceptScore W2023648920C29248071 @default.
- W2023648920 hasConceptScore W2023648920C31402856 @default.
- W2023648920 hasConceptScore W2023648920C41008148 @default.
- W2023648920 hasConceptScore W2023648920C45374587 @default.
- W2023648920 hasConceptScore W2023648920C48103436 @default.
- W2023648920 hasConceptScore W2023648920C80444323 @default.
- W2023648920 hasIssue "4" @default.
- W2023648920 hasLocation W20236489201 @default.
- W2023648920 hasOpenAccess W2023648920 @default.
- W2023648920 hasPrimaryLocation W20236489201 @default.
- W2023648920 hasRelatedWork W2008363747 @default.
- W2023648920 hasRelatedWork W2050207280 @default.
- W2023648920 hasRelatedWork W2076861421 @default.
- W2023648920 hasRelatedWork W2149052326 @default.
- W2023648920 hasRelatedWork W2183782096 @default.
- W2023648920 hasRelatedWork W2607375585 @default.
- W2023648920 hasRelatedWork W293759077 @default.
- W2023648920 hasRelatedWork W3038380712 @default.
- W2023648920 hasRelatedWork W4282962739 @default.
- W2023648920 hasRelatedWork W2547364878 @default.
- W2023648920 hasVolume "14" @default.
- W2023648920 isParatext "false" @default.
- W2023648920 isRetracted "false" @default.
- W2023648920 magId "2023648920" @default.
- W2023648920 workType "article" @default.