Conecte-se

Bibliografias temáticas / Machine de turing / Artigos de revistas

Siga este link para ver outros tipos de publicações sobre o tema: Machine de turing.

Artigos de revistas sobre o tema "Machine de turing"

Autor: Grafiati

Publicado: 5 de outubro de 2024

Última modificação: 31 de julho de 2025

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Veja os 50 melhores artigos de revistas para estudos sobre o assunto "Machine de turing".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.

1

Daylight, Edgar Graham. "Refining Mark Burgin’s Case against the Church–Turing Thesis." Philosophies 9, no. 4 (2024): 122. http://dx.doi.org/10.3390/philosophies9040122.

Texto completo da fonte

Resumo:

The outputs of a Turing machine are not revealed for inputs on which the machine fails to halt. Why is an observer not allowed to see the generated output symbols as the machine operates? Building on the pioneering work of Mark Burgin, we introduce an extension of the Turing machine model with a visible output tape. As a subtle refinement to Burgin’s theory, we stipulate that the outputted symbols cannot be overwritten: at step i, the content of the output tape is a prefix of the content at step j, where i<j. Our Refined Burgin Machines (RBMs) compute more functions than Turing machines, bu

Estilos ABNT, Harvard, Vancouver, APA, etc.

2

Vitanyi, Paul. "Turing machine." Scholarpedia 4, no. 3 (2009): 6240. http://dx.doi.org/10.4249/scholarpedia.6240.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

3

Kurgaev, A. F., and S. N. Grygoryev. "The universal turing machine interpreter." Reports of the National Academy of Sciences of Ukraine, no. 10 (November 16, 2016): 28–34. http://dx.doi.org/10.15407/dopovidi2016.10.028.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

4

Beggs, Edwin, José Félix Costa, Bruno Loff, and John V. Tucker. "Computational complexity with experiments as oracles." Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 464, no. 2098 (2008): 2777–801. http://dx.doi.org/10.1098/rspa.2008.0085.

Texto completo da fonte

Resumo:

We discuss combining physical experiments with machine computations and introduce a form of analogue–digital (AD) Turing machine. We examine in detail a case study where an experimental procedure based on Newtonian kinematics is combined with a class of Turing machines. Three forms of AD machine are studied, in which physical parameters can be set exactly and approximately. Using non-uniform complexity theory, and some probability, we prove theorems that show that these machines can compute more than classical Turing machines.

Estilos ABNT, Harvard, Vancouver, APA, etc.

5

ROBINSON, RAPHAEL M. "MINSKY'S SMALL UNIVERSAL TURING MACHINE." International Journal of Mathematics 02, no. 05 (1991): 551–62. http://dx.doi.org/10.1142/s0129167x91000302.

Texto completo da fonte

Resumo:

Marvin L. Minsky constructed a 4-symbol 7-state universal Turing machine in 1962. It was first announced in a postscript to [2] and is also described in [3, Sec. 14.8]. This paper contains everything that is needed for an understanding of his machine, including a complete description of its operation. Minsky's machine remains one of the minimal known universal Turing machines. That is, there is no known such machine which decreases one parameter without increasing the other. However, Rogozhin [6], [7] has constructed seven universal machines with the following parameters: [Formula: see text] H

Estilos ABNT, Harvard, Vancouver, APA, etc.

6

Thiagarajan, P. S. "The Turing machine." Resonance 2, no. 7 (1997): 3–4. http://dx.doi.org/10.1007/bf02838584.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

7

ITO, AKIRA, KATSUSHI INOUE, ITSUO TAKANAMI, and YUE WANG. "THE EFFECT OF INKDOTS FOR TWO-DIMENSIONAL AUTOMATA." International Journal of Pattern Recognition and Artificial Intelligence 09, no. 05 (1995): 777–96. http://dx.doi.org/10.1142/s0218001495000328.

Texto completo da fonte

Resumo:

Recently, related to the open problem of whether deterministic and nondeterministic space (especially lower-level) complexity classes are separated, the inkdot Turing machine was introduced. An inkdot machine is a conventional Turing machine capable of dropping an inkdot on a given input tape for a landmark, but not to pick it up nor further erase it. In this paper, we introduce a finite state version of the inkdot machine as a weak recognizer of the properties of digital pictures, rather than a Turing machine supplied with a one-dimensional working tape. We first investigate the sufficient sp

Estilos ABNT, Harvard, Vancouver, APA, etc.

8

CALUDE, CRISTIAN S., and LUDWIG STAIGER. "A note on accelerated Turing machines." Mathematical Structures in Computer Science 20, no. 6 (2010): 1011–17. http://dx.doi.org/10.1017/s0960129510000344.

Texto completo da fonte

Resumo:

In this paper we prove that any Turing machine that uses only a finite computational space for every input cannot solve an uncomputable problem even when it runs in accelerated mode. We also propose two ways to define the language accepted by an accelerated Turing machine. Accordingly, the classes of languages accepted by accelerated Turing machines are the closure under Boolean operations of the sets Σ1 and Σ2.

Estilos ABNT, Harvard, Vancouver, APA, etc.

9

Macura, Wiktor K. "n-Skip Turing Machines." Complex Systems 15, no. 3 (2005): 237–44. http://dx.doi.org/10.25088/complexsystems.15.3.237.

Texto completo da fonte

Resumo:

A Turing Machine's head is limited to moving one cell in either direction on the tape for a given iteration. We investigate a form of Turing Machine where the head is allowed to move n cells in either direction. We find that such Turing Machines, named n-Skip Turing Machines, are capable of exhibiting complex behavior for simple initial conditions with two states and two colors.

Estilos ABNT, Harvard, Vancouver, APA, etc.

10

De Brito, Vasco Boavida, José Félix Costa, and Diogo Poças. "The Power of Machines That Control Experiments." International Journal of Foundations of Computer Science 33, no. 02 (2022): 91–118. http://dx.doi.org/10.1142/s0129054122500010.

Texto completo da fonte

Resumo:

We consider the experimenter (e.g. the experimental physicist) as a Turing machine — the digital component — and the experiment of measurement — the analog component — as an oracle to the Turing machine. The algorithm running in the machine abstracts the experimental method of measurement (encoding the recursive structure of experimental actions) chosen by the experimenter. In this paper we prove that the central analogue-digital complexity classes [Formula: see text], [Formula: see text] and [Formula: see text] can be characterized in terms of protocols to perform measurements controlled by s

Estilos ABNT, Harvard, Vancouver, APA, etc.

11

BRUDA, STEFAN D., and SELIM G. AKL. "ON THE NECESSITY OF FORMAL MODELS FOR REAL-TIME PARALLEL COMPUTATIONS." Parallel Processing Letters 11, no. 02n03 (2001): 353–61. http://dx.doi.org/10.1142/s0129626401000646.

Texto completo da fonte

Resumo:

We assume the multitape real-time Turing machine as a formal model for parallel real-time computation. Then, we show that, for any positive integer k, there is at least one language Lk which is accepted by a k-tape real-Turing machine, but cannot be accepted by a (k - 1)-tape real-time Turing machine. It follows therefore that the languages accepted by real-time Turing machines form an infinite hierarchy with respect to the number of tapes used. Although this result was previously obtained elsewhere, our proof is considerably shorter, and explicitly builds the languages Lk. The ability of the

Estilos ABNT, Harvard, Vancouver, APA, etc.

12

Wang, Dong-Sheng. "A local model of quantum Turing machines." Quantum Information and Computation 20, no. 3&4 (2020): 213–29. http://dx.doi.org/10.26421/qic20.3-4-3.

Texto completo da fonte

Resumo:

The model of local Turing machines is introduced, including classical and quantum ones, in the framework of matrix-product states. The locality refers to the fact that at any instance of the computation the heads of a Turing machine have definite locations. The local Turing machines are shown to be equivalent to the corresponding circuit models and standard models of Turing machines by simulation methods. This work reveals the fundamental connection between tensor-network states and information processing.

Estilos ABNT, Harvard, Vancouver, APA, etc.

13

Yashchyk, Oleksandr B. "МАШИНА ТЮРІНГА ЯК УНІВЕРСАЛЬНИЙ ВИКОНАВЕЦЬ АЛГОРИТМІВ ТА ЇЇ ЗАСТОСУВАННЯ В ПРОЦЕСІ ПОГЛИБЛЕНОГО ВИВЧЕННЯ АЛГОРИТМІЗАЦІЇ І ОСНОВ ПРОГРАМУВАННЯ СТАРШОКЛАСНИКАМИ". Information Technologies and Learning Tools 52, № 2 (2016): 10. http://dx.doi.org/10.33407/itlt.v52i2.1365.

Texto completo da fonte

Resumo:

The article discusses the importance of studying the notion of algorithm and its formal specification using Turing machines. In the article it was identified the basic hypothesis of the theory of algorithms for Turing as well as reviewed scientific research of modern scientists devoted to this issue and found the main principles of the Turing machine as an abstract mathematical model. The process of forming information competencies components, information culture and students` logical thinking development with the inclusion of the topic “Study and Application of Turing machine as Universal Alg

Estilos ABNT, Harvard, Vancouver, APA, etc.

14

Liagkou, Vasiliki, Panayotis E. Nastou, Paul Spirakis, and Yannis C. Stamatiou. "How Hard Is It to Detect Surveillance? A Formal Study of Panopticons and Their Detectability Problem." Cryptography 6, no. 3 (2022): 42. http://dx.doi.org/10.3390/cryptography6030042.

Texto completo da fonte

Resumo:

The Panopticon (which means “watcher of everything”) is a well-known prison structure of continuous surveillance and discipline studied by Bentham in 1785. Today, where persistent, massive scale, surveillance is immensely facilitated by new technologies, the term Panopticon vaguely characterizes institutions with a power to acquire and process, undetectably, personal information. In this paper we propose a theoretical framework for studying Panopticons and their detectability status. We show, based on the Theory of Computation, that detecting Panopticons, modelled either as a simple Turing Mac

Estilos ABNT, Harvard, Vancouver, APA, etc.

15

Aleksander, Igor. "From Turing to Conscious Machines." Philosophies 7, no. 3 (2022): 57. http://dx.doi.org/10.3390/philosophies7030057.

Texto completo da fonte

Resumo:

In the period between Turing’s 1950 “Computing Machinery and Intelligence” and the current considerable public exposure to the term “artificial intelligence (AI)”, Turing’s question “Can a machine think?” has become a topic of daily debate in the media, the home, and, indeed, the pub. However, “Can a machine think?” is sliding towards a more controversial issue: “Can a machine be conscious?” Of course, the two issues are linked. It is held here that consciousness is a pre-requisite to thought. In Turing’s imitation game, a conscious human player is replaced by a machine, which, in the first pl

Estilos ABNT, Harvard, Vancouver, APA, etc.

16

Welch, Philip. "Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines." Computability 10, no. 2 (2021): 159–80. http://dx.doi.org/10.3233/com-200301.

Texto completo da fonte

Resumo:

We consider how changes in transfinite machine architecture can sometimes alter substantially their capabilities. We approach the subject by answering three open problems touching on: firstly differing halting time considerations for machines with multiple as opposed to single heads, secondly space requirements, and lastly limit rules. We: 1) use admissibility theory, Σ 2 -codes and Π 3 -reflection properties in the constructible hierarchy to classify the halting times of ITTMs with multiple independent heads; the same for Ordinal Turing Machines which have On length tapes; 2) determine which

Estilos ABNT, Harvard, Vancouver, APA, etc.

17

Mélès, Baptiste. "Les langages de Turing." Intellectica. Revue de l'Association pour la Recherche Cognitive 72, no. 1 (2020): 81–110. http://dx.doi.org/10.3406/intel.2020.1947.

Texto completo da fonte

Resumo:

Si les machines de Turing sont réputées inutilisables, c'est parce qu''on prête souvent davantage attention à la rudimentaire description initiale proposée par leur inventeur qu'à son souci constant d'adapter la syntaxe de leur description aux objectifs poursuivis. Nous décrirons chacun des langages successivement adoptés par Turing en en explicitant la grammaire, en justifiant chaque innovation syntaxique et en confrontant aux déclarations d'intention de Turing sa pratique effective. L'exposition de ces langages sera également éclairée, à titre pédagogique, par la théorie moderne des langages

Estilos ABNT, Harvard, Vancouver, APA, etc.

18

Whyman, Richard. "Physical Computational Complexity and First-order Logic." Fundamenta Informaticae 181, no. 2-3 (2021): 129–61. http://dx.doi.org/10.3233/fi-2021-2054.

Texto completo da fonte

Resumo:

We present the concept of a theory machine, which is an atemporal computational formalism that is deployable within an arbitrary logical system. Theory machines are intended to capture computation on an arbitrary system, both physical and unphysical, including quantum computers, Blum-Shub-Smale machines, and infinite time Turing machines. We demonstrate that for finite problems, the computational power of any device characterisable by a finite first-order theory machine is equivalent to that of a Turing machine. Whereas for infinite problems, their computational power is equivalent to that of

Estilos ABNT, Harvard, Vancouver, APA, etc.

19

Abdelaziz, Mahmoud, Amr Badr, and Ibrahim Farag. "A Membrane Turing Machine." International Journal of Applied Information Systems 6, no. 4 (2013): 1–6. http://dx.doi.org/10.5120/ijais13-451031.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

20

Li, Jiahao, and Yinbo Zhu. "The Biomimetic Turing Machine." International Conference on Computational & Experimental Engineering and Sciences 30, no. 3 (2024): 1. http://dx.doi.org/10.32604/icces.2024.011955.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

21

Bhattacharyya, Malay. "Simulating a Turing machine." XRDS: Crossroads, The ACM Magazine for Students 18, no. 3 (2012): 43–45. http://dx.doi.org/10.1145/2090276.2090290.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

22

Molina, Abel, and John Watrous. "Revisiting the simulation of quantum Turing machines by quantum circuits." Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 475, no. 2226 (2019): 20180767. http://dx.doi.org/10.1098/rspa.2018.0767.

Texto completo da fonte

Resumo:

Yao's 1995 publication ‘Quantum circuit complexity’ in Proceedings of the 34th Annual IEEE Symposium on Foundations of Computer Science , pp. 352–361, proved that quantum Turing machines and quantum circuits are polynomially equivalent computational models: t ≥ n steps of a quantum Turing machine running on an input of length n can be simulated by a uniformly generated family of quantum circuits with size quadratic in t , and a polynomial-time uniformly generated family of quantum circuits can be simulated by a quantum Turing machine running in polynomial time. We revisit the simulation of qua

Estilos ABNT, Harvard, Vancouver, APA, etc.

23

Curtis, Mike. "Turing's Machine." Journal of Humanistic Mathematics 11, no. 1 (2021): 440. http://dx.doi.org/10.5642/jhummath.202101.27.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

24

González Fernández, Rodrigo Alfonso. "La factibilidad del niño-máquina de Turing." Sophía, no. 39 (July 14, 2025): 115–39. https://doi.org/10.17163/soph.n39.2025.03.

Texto completo da fonte

Resumo:

According to the philosophers of Artificial Intelligence (AI), Turing Machines and theImitation Game are the most important concepts proposed by Alan Turing. The Child-Machine Project, which projects learning machines via digital computers, is less known, although it is noless important. According to Turing’s project, a programmed machine needs to be a Child-Machineto turn into an adult mind, one that understands, judges, and distinguishes. In this article, I argue that Turing’s desideratum is not realizable only with algorithms. In the first section, I introduce theproblem, while in the secon

Estilos ABNT, Harvard, Vancouver, APA, etc.

25

Cabessa, Jérémie, and Hava T. Siegelmann. "The Computational Power of Interactive Recurrent Neural Networks." Neural Computation 24, no. 4 (2012): 996–1019. http://dx.doi.org/10.1162/neco_a_00263.

Texto completo da fonte

Resumo:

In classical computation, rational- and real-weighted recurrent neural networks were shown to be respectively equivalent to and strictly more powerful than the standard Turing machine model. Here, we study the computational power of recurrent neural networks in a more biologically oriented computational framework, capturing the aspects of sequential interactivity and persistence of memory. In this context, we prove that so-called interactive rational- and real-weighted neural networks show the same computational powers as interactive Turing machines and interactive Turing machines with advice,

Estilos ABNT, Harvard, Vancouver, APA, etc.

26

Nah, JeongEun. "An electrical brain, The beginning of Artificial Intelligence: Based on the movie <The Imitation Game>." Korean Association for Literacy 14, no. 3 (2023): 271–87. http://dx.doi.org/10.37736/kjlr.2023.06.14.3.06.271.

Texto completo da fonte

Resumo:

The movie ‘The Imitation Game’ deals with the story of British mathematician and cryptographer Alan Turing. During World War II, he was the protagonist who led the war to victory by deciphering Enigma, an impregnable code system. Computer science with the historical story of Alan Turing, such as the agony of a genius mathematician, curiosity about the problem that there might be a relationship between encryption and decryption, an approach to solving a fundamental problem, and teamwork with colleagues who understand and support it. This is a movie that explains the early status of the computer

Estilos ABNT, Harvard, Vancouver, APA, etc.

27

Warwick, Kevin, and Huma Shah. "The Turing Test." International Journal of Synthetic Emotions 5, no. 1 (2014): 31–45. http://dx.doi.org/10.4018/ijse.2014010105.

Texto completo da fonte

Resumo:

This paper appraises some of the prevailing ideas surrounding one of Turing's brilliant ideas, his imitation game experiment, and considers judge performance in assessing machine thinking in the light of practical Turing tests. The emphasis is not on philosophical aspects as to whether machines can think or not but rather on the nature of the discourses performed in the game. Here the authors are more concerned with the nature of human communication and attempts by machines to behave in the same way. In particular the authors look at some of the strategies that Turing suggested would not be go

Estilos ABNT, Harvard, Vancouver, APA, etc.

28

Manea, Florin. "On Turing Machines Deciding According to the Shortest Computations." Axioms 10, no. 4 (2021): 304. http://dx.doi.org/10.3390/axioms10040304.

Texto completo da fonte

Resumo:

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 other hand, the machine rejects the input word when all the shortest computations performed by the machine on that word are rejecting. We are able to show that the class of languages decided in polynomial time by such machines is PNP[log]. When we consider machines that decide a word according to the

Estilos ABNT, Harvard, Vancouver, APA, etc.

29

Lechte, John. "Photography from the Turin Shroud to the Turing Machine, Yanai Toister (2020)." Philosophy of Photography 11, no. 1 (2020): 137–41. http://dx.doi.org/10.1386/pop_00034_5.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

30

Welch, P. D. "Eventually infinite time Turing machine degrees: infinite time decidable reals." Journal of Symbolic Logic 65, no. 3 (2000): 1193–203. http://dx.doi.org/10.2307/2586695.

Texto completo da fonte

Resumo:

AbstractWe characterise explicitly the decidable predicates on integers of Infinite Time Turing machines, in terms of admissibility theory and the constructible hierarchy. We do this by pinning down ζ, the least ordinal not the length of any eventual output of an Infinite Time Turing machine (halting or otherwise); using this the Infinite Time Turing Degrees are considered, and it is shown how the jump operator coincides with the production of mastercodes for the constructible hierarchy; further that the natural ordinals associated with the jump operator satisfy a Spector criterion, and corres

Estilos ABNT, Harvard, Vancouver, APA, etc.

31

MARGENSTERN, MAURICE, and LIOUDMILA PAVLOTSKAÏA. "ON THE OPTIMAL NUMBER OF INSTRUCTIONS FOR UNIVERSAL TURING MACHINES CONNECTED WITH A FINITE AUTOMATON." International Journal of Algebra and Computation 13, no. 02 (2003): 133–202. http://dx.doi.org/10.1142/s0218196703001262.

Texto completo da fonte

Resumo:

In this paper, a new computation system is defined by coupling a finite automaton with a deterministic Turing machine with one head and one tape that is infinite in one direction only. In a first part of the paper, it is shown that there is a Turing machine with five instructions for which it is possible to devise a finite automaton such that the resulting computation is able to simulate any Turing machine. In a second part of the paper it is shown that if the Turing machine has at most four instructions, whatever the finite automaton is, the halting of the resulting computation is always deci

Estilos ABNT, Harvard, Vancouver, APA, etc.

32

Tharani, Pooja. "Model of Computation-Turing Machine." IOSR Journal of Computer Engineering 16, no. 1 (2014): 26–30. http://dx.doi.org/10.9790/0661-16122630.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

33

Suyama, A. "3P350 Autonomous DNA Turing machine." Seibutsu Butsuri 45, supplement (2005): S291. http://dx.doi.org/10.2142/biophys.45.s291_2.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

34

Hamada, Mohamed. "Turing Machine and Automata Simulators." Procedia Computer Science 18 (2013): 1466–74. http://dx.doi.org/10.1016/j.procs.2013.05.314.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

35

Copeland, B. Jack, and Richard Sylvan. "Beyond the universal Turing machine." Australasian Journal of Philosophy 77, no. 1 (1999): 46–66. http://dx.doi.org/10.1080/00048409912348801.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

36

Figueroa, Ricardo Q., Daniel A. Zamorano, Genaro J. Martínez, and Andrew Adamatzky. "CULET: Cubelet Lego Turing Machine." Proceedings of International Conference on Artificial Life and Robotics 24 (January 10, 2019): 618–21. http://dx.doi.org/10.5954/icarob.2019.gs1-3.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

37

Nirenberg, Robert M. "A practical turing machine representation." ACM SIGACT News 17, no. 3 (1986): 35–44. http://dx.doi.org/10.1145/382254.382805.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

38

Qu, Peng, Jin Yan, You-Hui Zhang, and Guang R. Gao. "Parallel Turing Machine, a Proposal." Journal of Computer Science and Technology 32, no. 2 (2017): 269–85. http://dx.doi.org/10.1007/s11390-017-1721-3.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

39

SHARMA, AJEET K., and DEBASHISH CHOWDHURY. "TEMPLATE-DIRECTED BIOPOLYMERIZATION: TAPE-COPYING TURING MACHINES." Biophysical Reviews and Letters 07, no. 03n04 (2012): 135–75. http://dx.doi.org/10.1142/s1793048012300083.

Texto completo da fonte

Resumo:

DNA, RNA and proteins are among the most important macromolecules in a living cell. These molecules are polymerized by molecular machines. These natural nano-machines polymerize such macromolecules, adding one monomer at a time, using another linear polymer as the corresponding template. The machine utilizes input chemical energy to move along the template which also serves as a track for the movements of the machine. In the Alan Turing year 2012, it is worth pointing out that these machines are "tape-copying Turing machines". We review the operational mechanisms of the polymerizer machines an

Estilos ABNT, Harvard, Vancouver, APA, etc.

40

Siomau, Michael. "Undecidable, Unrecognizable, and Quantum Computing." Quantum Reports 2, no. 3 (2020): 337–42. http://dx.doi.org/10.3390/quantum2030023.

Texto completo da fonte

Resumo:

Quantum computing allows us to solve some problems much faster than existing classical algorithms. Yet, the quantum computer has been believed to be no more powerful than the most general computing model—the Turing machine. Undecidable problems, such as the halting problem, and unrecognizable inputs, such as the real numbers, are beyond the theoretical limit of the Turing machine. I suggest a model for a quantum computer, which is less general than the Turing machine, but may solve the halting problem for any task programmable on it. Moreover, inputs unrecognizable by the Turing machine can be

Estilos ABNT, Harvard, Vancouver, APA, etc.

41

Mikkilineni, Rao. "Going beyond Church–Turing Thesis Boundaries: Digital Genes, Digital Neurons and the Future of AI." Proceedings 47, no. 1 (2020): 15. http://dx.doi.org/10.3390/proceedings2020047015.

Texto completo da fonte

Resumo:

The Church–Turing thesis deals with computing functions that are described by a list of formal, mathematical rules or sequences of event-driven actions such as modeling, simulation, business workflows, etc. All algorithms that are Turing computable fall within the boundaries of the Church–Turing thesis. There are two paths to pushing the boundaries. The first is to address the limitation in the clause “ignoring resource limitations”. The second is to search for computing models that solve problems that no ordinary Turing machine can solve using superrecursive algorithms. We argue that “structu

Estilos ABNT, Harvard, Vancouver, APA, etc.

42

Mikkilineni, Rao. "Going beyond Church–Turing Thesis Boundaries: Digital Genes, Digital Neurons and the Future of AI." Proceedings 47, no. 1 (2020): 15. http://dx.doi.org/10.3390/proceedings47010015.

Texto completo da fonte

Resumo:

The Church–Turing thesis deals with computing functions that are described by a list of formal, mathematical rules or sequences of event-driven actions such as modeling, simulation, business workflows, etc. All algorithms that are Turing computable fall within the boundaries of the Church–Turing thesis. There are two paths to pushing the boundaries. The first is to address the limitation in the clause “ignoring resource limitations”. The second is to search for computing models that solve problems that no ordinary Turing machine can solve using superrecursive algorithms. We argue that “structu

Estilos ABNT, Harvard, Vancouver, APA, etc.

43

Iriyama, Satoshi, and Masanori Ohya. "Language Classes Defined by Generalized Quantum Turing Machine." Open Systems & Information Dynamics 15, no. 04 (2008): 383–96. http://dx.doi.org/10.1142/s1230161208000262.

Texto completo da fonte

Resumo:

Ohya and Volovich proposed a quantum algorithm with chaotic amplification to solve the SAT problem, which went beyond the notion of the usual quantum algorithm. In this paper, we generalize quantum Turing machines by rewriting the usual quantum Turing automaton in terms of a channel transformation. Moreover, we define some computational classes of generalized quantum Turing machines and show that we can describe the Ohya-Volovich (OV) SAT algorithm with completely positive channels.

Estilos ABNT, Harvard, Vancouver, APA, etc.

44

Miyadera, Takayuki, and Masanori Ohya. "On Halting Process of Quantum Turing Machine." Open Systems & Information Dynamics 12, no. 03 (2005): 261–64. http://dx.doi.org/10.1007/s11080-005-0923-2.

Texto completo da fonte

Resumo:

We prove that there is no algorithm to tell whether an arbitrarily constructed Quantum Turing Machine has same time steps for different branches of computation. We, hence, cannot avoid the notion of halting to be probabilistic in Quantum Turing Machine.

Estilos ABNT, Harvard, Vancouver, APA, etc.

45

Morita, Kenichi. "A Universal Reversible Turing Machine that Directly Simulates Reversible Counter Machines." Computer Science Journal of Moldova 32, no. 3(96) (2024): 425–45. https://doi.org/10.56415/csjm.v32.22.

Texto completo da fonte

Resumo:

We construct a 1-tape 98-state 10-symbol universal reversible Turing machine (URTM(98,10)) that directly simulates reversible counter machines (RCMs). The objective of this construction is not to minimize the numbers of states and tape symbols, but to give a URTM a reasonable size whose simulating processes of RCMs are easily understood. Here, we choose RCMs as the target machines of simulation, since the class of RCMs is known to be Turing universal, and their operations are very simple. Furthermore, using the framework of RCMs in the program form (rather than the quadruple form), constructio

Estilos ABNT, Harvard, Vancouver, APA, etc.

46

Stay, Michael. "Very Simple Chaitin Machines for Concrete AIT." Fundamenta Informaticae 68, no. 3 (2005): 231–47. https://doi.org/10.3233/fun-2005-68303.

Texto completo da fonte

Resumo:

In 1975, Chaitin introduced his celebrated Omega number, the halting probability of a universal Chaitin machine, a universal Turing machine with a prefix-free domain. The Omega number's bits are algorithmically random–there is no reason the bits should be the way they are, if we define "reason" to be a computable explanation smaller than the data itself. Since that time, only two explicit universal Chaitin machines have been proposed, both by Chaitin himself. Concrete algorithmic information theory involves the study of particular universal Turing machines, about which one can state theorems w

Estilos ABNT, Harvard, Vancouver, APA, etc.

47

Beggs, Edwin, José Félix Costa, Bruno Loff, and J. V. Tucker. "Computational complexity with experiments as oracles. II. Upper bounds." Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 465, no. 2105 (2009): 1453–65. http://dx.doi.org/10.1098/rspa.2008.0412.

Texto completo da fonte

Resumo:

Earlier, to explore the idea of combining physical experiments with algorithms, we introduced a new form of analogue–digital (AD) Turing machine. We examined in detail a case study where an experimental procedure, based on Newtonian kinematics, is used as an oracle with classes of Turing machines. The physical cost of oracle calls was counted and three forms of AD queries were studied, in which physical parameters can be set exactly and approximately. Here, in this sequel, we complete the classification of the computational power of these AD Turing machines and determine precisely what they ca

Estilos ABNT, Harvard, Vancouver, APA, etc.

48

Castro, Paulo. "Lying, computers and self-awareness." Kairos. Journal of Philosophy & Science 24, no. 1 (2020): 10–34. http://dx.doi.org/10.2478/kjps-2020-0009.

Texto completo da fonte

Resumo:

Abstract From the initial analysis of John Morris in 1976 about if computers can lie, I have presented my own treatment of the problem using what can be called a computational lying procedure. One that uses two Turing Machines. From there, I have argued that such a procedure cannot be implemented in a Turing Machine alone. A fundamental difficulty arises, concerning the computational representation of the self-knowledge a machine should have about the fact that it is lying. Contrary to Morris’ claim, I have thus suggested that computers – as far as they are Turing Machines – cannot lie. Conseq

Estilos ABNT, Harvard, Vancouver, APA, etc.

49

Gulcehre, Caglar, Sarath Chandar, Kyunghyun Cho, and Yoshua Bengio. "Dynamic Neural Turing Machine with Continuous and Discrete Addressing Schemes." Neural Computation 30, no. 4 (2018): 857–84. http://dx.doi.org/10.1162/neco_a_01060.

Texto completo da fonte

Resumo:

We extend the neural Turing machine (NTM) model into a dynamic neural Turing machine (D-NTM) by introducing trainable address vectors. This addressing scheme maintains for each memory cell two separate vectors, content and address vectors. This allows the D-NTM to learn a wide variety of location-based addressing strategies, including both linear and nonlinear ones. We implement the D-NTM with both continuous and discrete read and write mechanisms. We investigate the mechanisms and effects of learning to read and write into a memory through experiments on Facebook bAbI tasks using both a feedf

Estilos ABNT, Harvard, Vancouver, APA, etc.

50

Bergstra, Jan A., and Cornelis Middelburg. "Program Algebra for Turing-Machine Programs." Scientific Annals of Computer Science XXIX, no. 2 (2019): 113–39. https://doi.org/10.7561/SACS.2019.2.113.

Texto completo da fonte

Resumo:

This paper presents an algebraic theory of instruction sequences with instructions for Turing tapes as basic instructions, the behaviours produced by the instruction sequences concerned under execution, and the interaction between such behaviours and Turing tapes provided by an execution environment. This theory provides a setting for the development of theory in areas such as computability and computational complexity that distinguishes itself by offering the possibility of equational reasoning and being more general than the setting provided by a known version of the Turing-machine model of

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!