FAQ Database Discussion Community

## Can I use stack in Turing Machine?

finite-automata,automata,turing-machines,automata-theory
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

java,binary,turing-machines
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

turing-machines,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

complexity-theory,time-complexity,turing-machines
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...

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?

loops,logic,proof,turing-machines,halting-problem
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

turing-machines
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]

algorithm,turing-machines,np,np-hard,turing-complete
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

algorithm,math,turing-machines
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

computation-theory,turing-machines,np-complete,np,decidable
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. ...