FAQ Database Discussion Community

Can I use stack in Turing Machine?

I am trying to design a Turing Machine that accepts the language L = {w | anb2n} where ∑ = {a, b}. For example machine accepts the input : "aabbbb" but does not accept the "aabb" My code is below about that language ; #include <iostream> #include <string> using namespace...

Turing Machine Binary Counter

I decided for practice that I would create a binary counter simulating the methodology of a Turing Machine. To be specific, I plan to emulate the first example from this: (https://www.cl.cam.ac.uk/projects/raspberrypi/tutorials/turing-machine/four.html) Then I will go farther to create more for my machine! My adaption to this example is that I...

What are the six basic primitives in Turing Complete

I am listening the edX lesson, and the professor stresses that every machine able to perform those six basic primitives can be called Turing Complete. But what are the six basic primitives?

Running time of a program on deterministic and non-deterministic Turing machine

I've found the following statement: If a program P for Non Deterministic Turing Machine solves a decision problem in time limited by a polynomial p(S), where S-size of input, then it can be run on a Deterministic Turing Machine, and the solution will be found in time limited in time...

Adding program doesn't work

I'm trying to write a simple binary adding program in Python (I know Python can do it already, I'm just doing it to practice basic computing concepts). I got it to work pretty well, the only thing that is weird is that when one of the numbers is longer than...

Why do we need to use the negation part in Turing's Halting Proof?

For instance, let's say I have this Turing machine, H, which tells us whether or not a program and input will halt. Let's say we call H on itself. It has to give an answer, so if it prints out "does not halt" then didn't it technically halt to print...

Turing Machine Arrow Definition

Does anyone know the exact definition of '=>', '<=' and '<=>' in the context of Turing Machines? Googling failed to provide me with the answer! To put it into context, here's a theorem / proof. _ Theorem A language L is decidable <=> both L and L' are Turing-recognisable. Proof:...

Some inference about NP [closed]

this is my first question on this site. I‌ recently, study on NP. I have some confusion about this Topic, and want to propose my inference and some one verify me. I) each NP problem can be solved in Exponential Time. II) if P=NP then NP=NP-Complete. III) Problem of factorization...

Specifying members of a given sequence with a Turing Machine

One question I came across was, given a binary sequence a_0, ..., a_{n-1} how many transitions does it take such that when given a non-negative integer i it outputs a_i if i < n and 0 otherwise. You can assume the input starts with a 1 unless i is 0....

NP and 3-SAT and One Facts

any expert could help me why this sentence is True? if L ∈ NP and L ≤p 3−SAT (i.e: reduce L to 3-SAT in poly time) then L is NP-Complete. ...