4 - Theory of Computation Flashcards
What does the term algorithm mean?
An algorithm is a sequence of steps that can be followed to complete a task and that can be completed in finite time.
What does a double circle indicate in a FSA?
Accepting state.
Explain the functionality of the * metacharacter when it is used in a regular expression.
Zero or more of the preceding value.
Explain the functionality of the ? metacharacter when it is used in a regular expression.
Zero or one of the preceding value.
Describe the significance of the Halting problem for commutation.
The Halting problem demonstrates that there are some problems that cannot be solved by a computer.
What is the question posed by the by the Halting problem?
Is it possible in general to write a program that can tell, given any program and its inputs, and without running the program, whether the given program with its given inputs will halt?
Why is it not possible to create a Turing machine that solves the Halting problem?
The Halting problem is non-computable
What is a finite state machine?
It is a model of computation
What is a Turing machine
A hypothetical machine capable of solving any problem that can be represented algorithmically
What does a Turing machine define
defines the limits of computers
What are the components of a Turing machine. (5)
An infinitely long tape divided into squares/ finite alphabet of symbols/ A read/write head/ finite set of states and a set of transition rules
What does “|” mean in a finite state machine
Acts as a break point to show input on the left out put on the right
What is the Universal Turning Machine
A Turing machine that can execute other Turing machines by stimulating their behavior.
What are the two parts of the Turing machine instruction
Data and standard description
What is the standard description of a turing machine
describes the turing machine that is being inputted allowing the UTM to accurately interpret the turing machine
what is a regular expression?
A compact notation that can describe a set of strings that make up a regular language.
What is the significance of a Universal Turing machine to the theory of computation?
it is possible for a single machine to compute anything that is computable.
What 2 ways can we measure complexity
time complexity/ space complecity