Código QR (código de barras bidimensional)

On Turing Machines Deciding According to the Shortest Computations

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 only if one of its shortest possible computations on that word is accepting; on the ot...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Florin Manea
Formato: Artigo
Idioma:Inglês
Publicado em: MDPI AG 2021-11-01
coleção:Axioms
Assuntos:
Acesso em linha:https://www.mdpi.com/2075-1680/10/4/304
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!