FRINK Linked Data Fragments server

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

• W3135149898 endingPage "105030" @default.
• W3135149898 startingPage "105030" @default.
• W3135149898 abstract "It is well known that one-tape Turing machines running in linear time are no more powerful than finite automata; namely they recognize exactly the class of regular languages. We prove that it is not decidable if a one-tape machine runs in linear time, even if it is deterministic and restricted to use only the portion of the tape that initially contains the input. This motivates the introduction of a constructive variant of one-tape machines, called a weight-reducing machine, and the investigation of its properties. We focus on the deterministic case. In particular, we show that, paying a polynomial size increase only, each weight-reducing machine can be turned into a halting one that runs in linear time. Furthermore each weight-reducing machine can be converted into equivalent nondeterministic and deterministic finite automata by paying an exponential and doubly-exponential increase in size, respectively. These costs cannot be reduced in the worst case." @default.
• W3135149898 created "2021-03-15" @default.
• W3135149898 creator A5029400752 @default.
• W3135149898 creator A5040360969 @default.
• W3135149898 creator A5047122119 @default.
• W3135149898 creator A5062954968 @default.
• W3135149898 date "2023-06-01" @default.
• W3135149898 modified "2023-09-27" @default.
• W3135149898 title "Weight-reducing Turing machines" @default.
• W3135149898 cites W1984391920 @default.
• W3135149898 cites W2004379655 @default.
• W3135149898 cites W2029872977 @default.
• W3135149898 cites W2044633287 @default.
• W3135149898 cites W2046523441 @default.
• W3135149898 cites W2087008115 @default.
• W3135149898 cites W2168431435 @default.
• W3135149898 cites W3134046426 @default.
• W3135149898 cites W4212878790 @default.
• W3135149898 cites W850465257 @default.
• W3135149898 doi "https://doi.org/10.1016/j.ic.2023.105030" @default.
• W3135149898 hasPublicationYear "2023" @default.
• W3135149898 type Work @default.
• W3135149898 sameAs 3135149898 @default.
• W3135149898 citedByCount "0" @default.
• W3135149898 crossrefType "journal-article" @default.
• W3135149898 hasAuthorship W3135149898A5029400752 @default.
• W3135149898 hasAuthorship W3135149898A5040360969 @default.
• W3135149898 hasAuthorship W3135149898A5047122119 @default.
• W3135149898 hasAuthorship W3135149898A5062954968 @default.
• W3135149898 hasBestOaLocation W31351498981 @default.
• W3135149898 hasConcept C112505250 @default.
• W3135149898 hasConcept C11413529 @default.
• W3135149898 hasConcept C118615104 @default.
• W3135149898 hasConcept C120665830 @default.
• W3135149898 hasConcept C121332964 @default.
• W3135149898 hasConcept C131671149 @default.
• W3135149898 hasConcept C134306372 @default.
• W3135149898 hasConcept C151376022 @default.
• W3135149898 hasConcept C153269930 @default.
• W3135149898 hasConcept C154945302 @default.
• W3135149898 hasConcept C167822520 @default.
• W3135149898 hasConcept C176181172 @default.
• W3135149898 hasConcept C192209626 @default.
• W3135149898 hasConcept C199360897 @default.
• W3135149898 hasConcept C2777212361 @default.
• W3135149898 hasConcept C2778701210 @default.
• W3135149898 hasConcept C29248071 @default.
• W3135149898 hasConcept C311688 @default.
• W3135149898 hasConcept C33923547 @default.
• W3135149898 hasConcept C41008148 @default.
• W3135149898 hasConcept C45374587 @default.
• W3135149898 hasConcept C48415503 @default.
• W3135149898 hasConcept C80444323 @default.
• W3135149898 hasConcept C98045186 @default.
• W3135149898 hasConceptScore W3135149898C112505250 @default.
• W3135149898 hasConceptScore W3135149898C11413529 @default.
• W3135149898 hasConceptScore W3135149898C118615104 @default.
• W3135149898 hasConceptScore W3135149898C120665830 @default.
• W3135149898 hasConceptScore W3135149898C121332964 @default.
• W3135149898 hasConceptScore W3135149898C131671149 @default.
• W3135149898 hasConceptScore W3135149898C134306372 @default.
• W3135149898 hasConceptScore W3135149898C151376022 @default.
• W3135149898 hasConceptScore W3135149898C153269930 @default.
• W3135149898 hasConceptScore W3135149898C154945302 @default.
• W3135149898 hasConceptScore W3135149898C167822520 @default.
• W3135149898 hasConceptScore W3135149898C176181172 @default.
• W3135149898 hasConceptScore W3135149898C192209626 @default.
• W3135149898 hasConceptScore W3135149898C199360897 @default.
• W3135149898 hasConceptScore W3135149898C2777212361 @default.
• W3135149898 hasConceptScore W3135149898C2778701210 @default.
• W3135149898 hasConceptScore W3135149898C29248071 @default.
• W3135149898 hasConceptScore W3135149898C311688 @default.
• W3135149898 hasConceptScore W3135149898C33923547 @default.
• W3135149898 hasConceptScore W3135149898C41008148 @default.
• W3135149898 hasConceptScore W3135149898C45374587 @default.
• W3135149898 hasConceptScore W3135149898C48415503 @default.
• W3135149898 hasConceptScore W3135149898C80444323 @default.
• W3135149898 hasConceptScore W3135149898C98045186 @default.
• W3135149898 hasLocation W31351498981 @default.
• W3135149898 hasLocation W31351498982 @default.
• W3135149898 hasLocation W31351498983 @default.
• W3135149898 hasLocation W31351498984 @default.
• W3135149898 hasLocation W31351498985 @default.
• W3135149898 hasLocation W31351498986 @default.
• W3135149898 hasOpenAccess W3135149898 @default.
• W3135149898 hasPrimaryLocation W31351498981 @default.
• W3135149898 hasRelatedWork W1662891443 @default.
• W3135149898 hasRelatedWork W2075449032 @default.
• W3135149898 hasRelatedWork W2077948888 @default.
• W3135149898 hasRelatedWork W2101153990 @default.
• W3135149898 hasRelatedWork W2144557478 @default.
• W3135149898 hasRelatedWork W2169625092 @default.
• W3135149898 hasRelatedWork W2414546088 @default.
• W3135149898 hasRelatedWork W2465024128 @default.
• W3135149898 hasRelatedWork W3135149898 @default.
• W3135149898 hasRelatedWork W1483438220 @default.
• W3135149898 hasVolume "292" @default.
• W3135149898 isParatext "false" @default.

• next