Filters
Question type

There is no limit to the amount of ____________________ available on a Turing machine.

Correct Answer

verifed

verified

Discuss the ways in which a Turing machine does or does not satisfy the requirement that an algorithm be a well-ordered collection.

Correct Answer

verifed

verified

The Turing machine must know which opera...

View Answer

The ____ states that if there exists an algorithm to do a symbol manipulation task, then there exists a Turing machine to do that task.


A) Church-Turing thesis
B) Church-Alan theorem
C) Church-Zimmerman thesis
D) Alan-Zimmerman thesis

E) All of the above
F) B) and C)

Correct Answer

verifed

verified

A

The proof by ____ approach assumes that a specific Turing machine does exist and then shows that this assumption leads to an impossible situation.


A) contradiction
B) inference
C) deduction
D) impossibility

E) None of the above
F) A) and D)

Correct Answer

verifed

verified

A formal basis for mathematical proofs guarantees the presence of intuitive statements.

A) True
B) False

Correct Answer

verifed

verified

The Turing machine contains two separate units, one for input and one for output.

A) True
B) False

Correct Answer

verifed

verified

Prototypes are an important way of studying many physical and social phenomena._________________________

A) True
B) False

Correct Answer

verifed

verified

Models can only give us information about existing phenomena.

A) True
B) False

Correct Answer

verifed

verified

What do we require any computing agent to be able to do?

Correct Answer

verifed

verified

It must be able to all of the following: •Accept input. •Store information in and retrieve it from memory. •Take actions according to algorithm instructions; the choice of what action to take may depend on the present state of the computing agent, as well as on the input item presently being processed. •Produce output.

A formal basis for proofs might allow for ____ theorem-proving.


A) unsolvable
B) mechanical
C) indisputable
D) observable

E) B) and C)
F) A) and D)

Correct Answer

verifed

verified

The symbols for a Turing machine must come from a finite set of symbols called the tape ____.


A) alphabet
B) placeholder
C) blank
D) palette

E) B) and C)
F) None of the above

Correct Answer

verifed

verified

We assumed that there was a Turing machine that could solve the halting problem, and this assumption led to a(n) ____.


A) computable problem
B) impossible situation
C) unsolved problem
D) complex solution

E) B) and D)
F) C) and D)

Correct Answer

verifed

verified

What are four characteristics of the model of a physical or social phenomenon?

Correct Answer

verifed

verified

A model of such a phenomenon:
•Captures ...

View Answer

State ____ is always the start-up state of the Turing machine.


A) 0
B) 1
C) L
D) R

E) B) and C)
F) B) and D)

Correct Answer

verifed

verified

Each individual Turing machine instruction describes an operation that is ____________________, requiring no additional explanation, and any Turing machine is able to carry out the operation described.

Correct Answer

verifed

verified

A Turing machine ____ is a collection of instructions that allow a Turing machine to carry out a certain task.


A) program
B) sequence
C) algorithm
D) tape

E) None of the above
F) A) and B)

Correct Answer

verifed

verified

Describe in detail what a Turing machine includes.

Correct Answer

verifed

verified

A Turing machine includes a (conceptual)...

View Answer

The term unary means that we will use ____ symbol(s) .


A) one
B) two
C) three
D) four

E) C) and D)
F) A) and B)

Correct Answer

verifed

verified

The bit inverter Turing machine should have two states._________________________

A) True
B) False

Correct Answer

verifed

verified

An extra bit, called a(n) ____, can be attached to the end of a string of bits.


A) state bit
B) odd parity bit
C) inverted bit
D) sentinel bit

E) B) and D)
F) All of the above

Correct Answer

verifed

verified

B

Showing 1 - 20 of 49

Related Exams

Show Answer