7COM1078 Computational Algorithms and Paradigms.

7COM1078 Computational Algorithms and Paradigms - University of Hertfordshire

Problem 1

The Quantum Programming Paradigm has been in existence now for more than twenty years with quantum based languages based on the imperative, functional and concurrent approaches to solving problems

a) Compare and contrast the concept of information processing employing bits, cbits, qubits and logic gates for Turing and quantum Turing based machines.

b) The quantum teleportation protocol using EPR and classical channels is now an essential ingredient in the successful development of quantum based networks. Draw, with explanation, the circuit used in the teleportation protocol. The following code is taken from the quantum based LanQ program for the teleportation protocol. Explain what is meant by the given code indicating which part of the circuit the code relates to.

Problem 2

The functional paradigm has been described as one response to the challenge of developing alternative models to the imperative paradigm for dealing with different types of problem. Examples of such problems may be found in natural language processing, rule based systems, theorem proving and symbolic computation.

The foundation of the functional paradigm is the ? - calculus developed by Alonzo Church in 1941.

Using an example of your own describe how either Lisp or Haskell could be used to accomplish a task incorporating conditionals and recursion.