Accedi

Bibliografie tematiche / Machine de turing / Articoli di riviste

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Machine de turing.

Articoli di riviste sul tema "Machine de turing"

Autore: Grafiati

Pubblicato: 5 ottobre 2024

Ultima modifica: 31 luglio 2025

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-50 articoli di riviste per l'attività di ricerca sul tema "Machine de turing".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi gli articoli di riviste di molte aree scientifiche e compila una bibliografia corretta.

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

2

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

6

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

13

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

15

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

23

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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,

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

33

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

40

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!