Encodings of Turing machines in linear logic
Sign Up to like & getrecommendations! Published in 2020 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129520000109
Abstract: Abstract The Sweedler semantics of intuitionistic differential linear logic takes values in the category of vector spaces, using the cofree cocommutative coalgebra to interpret the exponential and primitive elements to interpret the differential structure. In… read more here.
Keywords: linear logic; machines linear; semantics; encodings turing ... See more keywords
On Turing Machines Deciding According to the Shortest Computations
Sign Up to like & getrecommendations! Published in 2021 at "Axioms"
DOI: 10.3390/axioms10040304
Abstract: In this paper we propose and analyse from the computational complexity point of view several new variants of nondeterministic Turing machines. In the first such variant, a machine accepts a given input word if and… read more here.
Keywords: machine; turing machines; word; computations turing ... See more keywords