Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022078713> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2022078713 endingPage "105" @default.
- W2022078713 startingPage "98" @default.
- W2022078713 abstract "A (one tape, deterministic) Turing Machine is f ( n ) ink bounded if the machine changes a symbol of its work tape at most f ( n ) times while processing an input of length n . The result of our paper is the construction of an “ink efficient” universal machine which, for any f ( n ) ink bounded machine M and input x , can simulate the processing of M on x or detect that M is looping infinitely on input x . The universal machine requires O ( f ( n ) 1+ ϵ ink for this simulation, where e is an arbitrarily small positive number. As a corollary we establish that for ink-constructable g : For any ϵ > 0, if inf n →∞ ( f ( n ) 1+ ge / g ( n )) = 0 then there is a language in INK( g(n) ) not in INK( f(n) )." @default.
- W2022078713 created "2016-06-24" @default.
- W2022078713 creator A5023154427 @default.
- W2022078713 date "1981-02-01" @default.
- W2022078713 modified "2023-09-29" @default.
- W2022078713 title "An improved simulation result for ink-bounded turing machines" @default.
- W2022078713 cites W1817451992 @default.
- W2022078713 cites W2004471951 @default.
- W2022078713 cites W2041195445 @default.
- W2022078713 doi "https://doi.org/10.1016/0022-0000(81)90023-4" @default.
- W2022078713 hasPublicationYear "1981" @default.
- W2022078713 type Work @default.
- W2022078713 sameAs 2022078713 @default.
- W2022078713 citedByCount "2" @default.
- W2022078713 crossrefType "journal-article" @default.
- W2022078713 hasAuthorship W2022078713A5023154427 @default.
- W2022078713 hasBestOaLocation W20220787132 @default.
- W2022078713 hasConcept C109693293 @default.
- W2022078713 hasConcept C11413529 @default.
- W2022078713 hasConcept C114614502 @default.
- W2022078713 hasConcept C118615104 @default.
- W2022078713 hasConcept C131671149 @default.
- W2022078713 hasConcept C134306372 @default.
- W2022078713 hasConcept C2780012671 @default.
- W2022078713 hasConcept C28490314 @default.
- W2022078713 hasConcept C29248071 @default.
- W2022078713 hasConcept C33923547 @default.
- W2022078713 hasConcept C34388435 @default.
- W2022078713 hasConcept C41008148 @default.
- W2022078713 hasConcept C45374587 @default.
- W2022078713 hasConceptScore W2022078713C109693293 @default.
- W2022078713 hasConceptScore W2022078713C11413529 @default.
- W2022078713 hasConceptScore W2022078713C114614502 @default.
- W2022078713 hasConceptScore W2022078713C118615104 @default.
- W2022078713 hasConceptScore W2022078713C131671149 @default.
- W2022078713 hasConceptScore W2022078713C134306372 @default.
- W2022078713 hasConceptScore W2022078713C2780012671 @default.
- W2022078713 hasConceptScore W2022078713C28490314 @default.
- W2022078713 hasConceptScore W2022078713C29248071 @default.
- W2022078713 hasConceptScore W2022078713C33923547 @default.
- W2022078713 hasConceptScore W2022078713C34388435 @default.
- W2022078713 hasConceptScore W2022078713C41008148 @default.
- W2022078713 hasConceptScore W2022078713C45374587 @default.
- W2022078713 hasIssue "1" @default.
- W2022078713 hasLocation W20220787131 @default.
- W2022078713 hasLocation W20220787132 @default.
- W2022078713 hasOpenAccess W2022078713 @default.
- W2022078713 hasPrimaryLocation W20220787131 @default.
- W2022078713 hasRelatedWork W1039927666 @default.
- W2022078713 hasRelatedWork W122520599 @default.
- W2022078713 hasRelatedWork W1519919954 @default.
- W2022078713 hasRelatedWork W1829299902 @default.
- W2022078713 hasRelatedWork W2008300589 @default.
- W2022078713 hasRelatedWork W2022078713 @default.
- W2022078713 hasRelatedWork W2120797099 @default.
- W2022078713 hasRelatedWork W2169825513 @default.
- W2022078713 hasRelatedWork W2416593802 @default.
- W2022078713 hasRelatedWork W26370300 @default.
- W2022078713 hasVolume "22" @default.
- W2022078713 isParatext "false" @default.
- W2022078713 isRetracted "false" @default.
- W2022078713 magId "2022078713" @default.
- W2022078713 workType "article" @default.