Your SlideShare is downloading. ×
0
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Seminar on quantum automata and Languages
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Seminar on quantum automata and Languages

932

Published on

Published in: Technology
0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
932
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
18
Comments
0
Likes
1
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide
  • Contact: abhijitdoley007@rediffmail.comranjanphu1@gmail.com rekhamorang2009@gmail.com
  • Transcript

    1. Seminar onQUANTUM AUTOMATA and LANGUAGES<br />PRESENTED BY:<br />AbhijitDoley. RanjanPhukan. Rekhamoni Morang.<br />Roll No-0928027.Roll No-0928026. Roll No-0928017.<br />SEMESTER: 7th.<br />DEPARTMENT OF INFORMATION TECHNOLOGY.<br />1<br />31-Jan-11<br />
    2. 31-Jan-11<br />Quantum Automata and Languages<br />2<br />Contents<br />Introduction.<br />Bits and Qubits.<br />Brief Introduction to Classical Automata.<br />Probabilistic Automata and Stochastic Languages.<br />Quantum Automata and Quantum Languages.<br />Quantum finite-state automata (QFA).<br />QRL and Pumping lemma for QRL.<br />One-way quantum finite automata (1QFA).<br />Measure Once 1-way QFA.<br />Measure Many 1-way QFA.<br />Multi-letter 1QFA.<br />One-way quantum finite automata together with classical states (1QFAC).<br />Two-way quantum finite automata (2QFA).<br />Two-way finite automata with quantum and classical states (2QCFA).<br />1.5-way Quantum Finite Automata.<br />Quantum Push-down Automaton (QPDA).<br />Quantum context-free grammars.<br />Sequential Quantum Machines (SQM).<br />Quantum Sequential Machines (QSM)<br />Decidability and Undecidability of Quantum Automata.<br />Conclusion.<br />
    3. Introduction<br />Quantum computing is a promising research field, which touches on computer science, quantum physics and mathematics .<br />Quantum computation has received a great deal of interest in both physics and computer science in recent years.<br />Driven by the recent discovery of quantum algorithms for factoring that operate in polynomial time.<br />31-Jan-11<br />3<br />Quantum Automata and Languages<br />
    4. Introduction<br />4<br />A quantum computer is a device for computation that makes direct use of quantum mechanical phenomena, such as superposition, to perform operations on data.<br /> Quantum computers are different from traditional computers based on transistors. <br />To understand computation in a quantum context, it might be useful to translate as many concepts as possible from classical computation theory into the quantum case.<br />Simplest language classes — <br />regular languages.<br />context-free languages.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    5. Introduction<br />5<br />To do this, we define quantum finite-state and push-down automata as two special cases of Quantum Automata.<br />In this setting a formal language becomes a function that assigns quantum probabilities to words.<br />In quantum grammars, we sum over all derivations to find the amplitude of a word.<br />The corresponding languages generated by quantum grammars and recognized by quantum automata have their own properties.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    6. Evolution of Quantum Automata<br />Quantum events cannot be simulated in classical computers in feasible time.<br />So it was needed to formalize the quantum computers.<br />Quantum automata are the basic model for the quantum computers. <br />Quantum automata are built due to the problems of classical computers with certain mathematical problems.<br />31-Jan-11<br />6<br />Quantum Automata and Languages<br />
    7. Classical Computational Unit (Bits)<br />A building block of classical computational devices is a two-state system.<br /><ul><li>0 and 1</li></ul>Indeed, any system with a finite set of discrete, stable states, with controlled transitions between them will do.<br />7<br />31-Jan-11<br />Quantum Automata and Languages<br />
    8. Quantum Computational Unit (Qubits)<br />The basic unit of information in quantum computing is called the qubit.<br />Two states are labeled as |0> and |1>.<br />An object enclosed using the notation |> can be called a state, a vector or a ket.<br />8<br />31-Jan-11<br />Quantum Automata and Languages<br />
    9. Qubits (contd…)<br />A qubit can exist in the state |0> or the state |1>.<br />Can also exist in a state that is a linear combination of the states|0> and |1><br /> Superposition State. <br />A superposition state is written as<br />|ψ> = α|0> + β|1 ><br />Here α, β are complex numbers.<br />9<br />31-Jan-11<br />Quantum Automata and Languages<br />
    10. Qubits (contd…)<br />When a qubit is measured, it is only found to be in the state |0> or the state |1>.<br />|α|²: probability of finding |ψ> in state |0>.<br />|β|²: probability of finding |ψ> in state |1>.<br />Example:<br />|ψ >=1/√3 |0> +√(2/3) |1><br />probability of finding |ψ> in state |0> = | 1/√3 |²=1/3<br />probability of finding |ψ> in state |1> = | √2/√3 |²=2/3<br />10<br />31-Jan-11<br />Quantum Automata and Languages<br />
    11. Qubits (contd…)<br />31-Jan-11<br />11<br />Figure 1: Qubit System<br />Quantum Automata and Languages<br />
    12. Brief Introduction to Classical Automata<br />31-Jan-11<br />Quantum Automata and Languages<br />12<br />
    13. Alphabet, Strings & Languages <br />Alphabet(∑): Finite non-empty set of symbols.<br />Example:{0,1} is the binary alphabet.<br />String: Finite sequence of symbols chosen from some alphabet.<br />Example: 1011 is string from the alphabet {0,1}.<br />∑* denotes the set of all strings over alphabet ∑.<br />Language: A set of strings all of which are chosen from some ∑*.<br />Example: The set of even numbers.<br />13<br />31-Jan-11<br />Quantum Automata and Languages<br />
    14. Finite Automata<br /><ul><li>Collection of three things:</li></ul>A finite set of states<br />One of them is the start state and<br />Some (or none) are final states.<br />An alphabet set (∑) containing symbols to construct input strings .<br />A finite set of transitions denoting the states it goes next on accepting each letter. <br /><ul><li>Languages accepted by FA are called regular languages.</li></ul>14<br />31-Jan-11<br />Quantum Automata and Languages<br />
    15. Deterministic Finite Automata(DFA)<br />DFA is a 5-tuple (K, , , q0, F) where<br />K is a finite set of states,<br /> is a finite set of input symbols,<br />q0 is the initial state,<br />F is the set of final states, <br /> is the transition function mapping from <br />K *   K, (q1,a)= q2 means when we are in state q1 and read ‘a’ , we move to state q2.<br />31-Jan-11<br />15<br />Quantum Automata and Languages<br />
    16. Deterministic Finite Automata(DFA)<br />31-Jan-11<br />16<br />Figure 2: Deterministic Finite Automata<br />Quantum Automata and Languages<br />
    17. Non-deterministic Finite Automata(NFA)<br />NFA is a 5-tuple (Q, , , q0, F) where<br />Q is a finite set of states,<br /> is a finite set of input symbols,<br />q0 is the initial state,<br />F is the set of final states, <br /> is the transition function mapping from <br /> Q *   2Q.<br />31-Jan-11<br />17<br />Quantum Automata and Languages<br />
    18. Non-deterministic Finite Automata(NFA)<br />31-Jan-11<br />18<br />Figure 3: Non-deterministic Finite Automata<br />Quantum Automata and Languages<br />
    19. Transition Matrix<br />A Transition Matrix M of an alphabet in  accepted by a DFA with Q states is a |Q| *|Q| matrix with entries 0 or 1.<br />Ma(i,j) = 1, if (qj, a)  qi<br /> = 0, otherwise; a is an element of .<br />31-Jan-11<br />19<br />Quantum Automata and Languages<br />
    20. Transition Matrix (Example)<br />31-Jan-11<br />20<br />Quantum Automata and Languages<br />
    21. Probabilistic Automata (PA)<br />We obtain probabilistic automata if we allow fractional values in transition matrix.<br />Probabilistic Automata accepts regular language.<br />Example:<br />31-Jan-11<br />21<br />Quantum Automata and Languages<br />
    22. Quantum Automata<br />31-Jan-11<br />Quantum Automata and Languages<br />22<br />
    23. Probabilistic Automata<br />31-Jan-11<br />23<br />A probabilistic automaton is a tuple<br />A = (Q, q0, qf ,Σ, (Xa)a∈Σ) <br />Q = {1, . . . , q} is a finite set of states,<br />q0 ∈ Q is the initial state, <br />qf ⊆ Q is the set of final states, and <br />Σ is a finite alphabet. <br />Each matrix Xa is a q × q stochastic matrix: (Xa)i j is the probability of going from state i to state j when a is the input letter.<br />Quantum Automata and Languages<br />
    24. Fundamental properties of Probabilistic Automata<br />31-Jan-11<br />24<br />Each columns adds up to 1.<br />If the rows of all Xa contain exactly one 1 we obtain the model of deterministic finite automata.<br />Quantum Automata and Languages<br />
    25. Language Accepted by Probabilistic Automata<br />31-Jan-11<br />25<br />To define the language accepted by a probabilistic automaton, we need to fix a threshold η ∈ [0, 1].<br />A word w = w1 . . .wn ∈ Σ∗ is accepted if the probability of ending up in qf upon reading w is at least η.<br />A probabilistic automaton A accepts a language L with certainty if<br />Quantum Automata and Languages<br />
    26. Stochastic Languages<br />31-Jan-11<br />26<br />The set of languages recognized by probabilistic automata are called stochastic languages. <br />Let  Qaccept be the set of "accepting" or "final" states of the automaton. <br />It has a 1 at the places corresponding to elements in Qaccept, and a 0 otherwise. <br />The language recognized by a specific automaton is then defined as<br /><ul><li> Σ * is the set of all strings in the alphabet Σ.
    27. The language depends on the value of the cut-point η, normally taken to be in the range 0≤ η <1.</li></ul>Quantum Automata and Languages<br />
    28. Stochastic Languages<br />31-Jan-11<br />27<br />A language is called η-stochastic if and only if there exists some PA that recognizes the language, for fixed η.<br />A language is called stochastic if and only if there is some  0≤ η <1  for which Lη is η-stochastic.<br />A cut-point is said to be an isolated cut-point if and only if there exists a δ > 0 such that, for all s ∈ Σ∗,<br />Quantum Automata and Languages<br />
    29. Properties of Stochastic Languages<br />31-Jan-11<br />28<br />Every regular language is stochastic.<br />More strongly, every regular language is η-stochastic. <br />The general converse does not hold: there are stochastic languages that are not regular.<br />Every η-stochastic language is stochastic, for some  0 < η < 1.<br />If η is an isolated cut-point, then Lη is a regular language.<br />Quantum Automata and Languages<br />
    30. Quantum Automata (QA)<br />29<br />Quantum automata are obtained by letting the transition matrices have complex entries.<br />We also require each of the matrices to be unitary.<br />Example: Transition Matrix<br />31-Jan-11<br />Quantum Automata and Languages<br />
    31. Definition of Quantum Automata<br />30<br />A Quantum Automaton (QA) Q consists of<br />a Hilbert space H,<br />an initial state vector sinit ∈ H with |sinit|2 = 1,<br />a subspace Haccept ⊂ H and an operator Pacceptthat projects onto it,<br />an input alphabet A, and<br />a unitary transition matrix Ua for each symbol a ∈ A.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    32. Quantum Language<br />31<br />We define the quantum language recognized by the Quantum Automata Q as the function<br />fQ(w) = |sinitUwPaccept|2<br />from words in A∗ to probabilities in [0, 1].<br />We start with ‹sinit|, apply the unitary matrices Uwifor the symbols of w in order, <br />Measure the probability that the resulting state is in Haccept by applying the projection operator Paccept. <br />This is a real-time automaton since it takes exactly one step per input symbol, with no additional computation time after the word is input.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    33. Acceptance Probabilities<br />Let q1 is the starting state of the automaton, Mw|q> is a vector describing a superposition of states.<br />If the jth entry in the vector is αj then αj is the probability that the automaton reaches state qj.<br />| αj |2 is the probability that a measurement will end in state qj .<br />| ∑ qjєF αj |2 gives the probability that the automaton accepts the string w.<br />32<br />31-Jan-11<br />Quantum Automata and Languages<br />
    34. Different Classes Of Quantum Automata<br />33<br />We can then define different classes of quantum automata by restricting the Hilbert space H and the transition matrices Ua in various ways: <br />to the finite-dimensional case. <br />to an infinite memory in the form of a stack.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    35. Quantum finite-state automata<br />34<br />A quantum finite-state automaton (QFA) is a real-time quantum automaton where H, sinit, and the Ua all have a finite dimensionality n.<br />They are related to quantum computers in a similar fashion as finite automata are related to classical computers.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    36. Quantum finite-state automata<br />A QFA is a 6-tuple M =(Q, ∑, V, q0,Qacc,Qrej) where <br />Q is a finite set of states.<br />∑ is an input alphabet.<br />V is a transition function. <br />q0∈Q is a starting state.<br />Qacc⊆Q are accepting states.<br />Qrej⊆Q are sets of and rejecting states (Qacc∩Qrej=∅). <br />Qaccand Qrej, are called halting states. <br />Qnon=Q−(Qacc∪Qrej) are called non-halting states.<br />35<br />31-Jan-11<br />Quantum Automata and Languages<br />
    37. Endmarkers<br />We use κ and $ as the left and the right endmarker respectively. <br />They do not belong to ∑. <br />We call Γ= ∑ ∪ {κ; $} the working alphabet of M.<br />36<br />31-Jan-11<br />Quantum Automata and Languages<br />
    38. Computation<br />37<br />The computation of a QFA starts in the superposition |q›. <br />Thentransformations corresponding to the left endmarkerκ, the letters of the input word x and the right endmarker $ are applied. <br />The transformation corresponding to a∈Γ consists of two steps.<br />First, Vais applied. The new superposition Ψ' is Va(Ψ) where Ψ is the superposition before this step.<br />Then, Ψ' is observed with respect to Eacc; Erej; Enonwhere Eacc=span{|q›:q∈Qacc}, Erej=span{|q›: q∈Qrej}, Enon=span{|q›: q∈Qnon}.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    39. Computation<br />38<br />If the system’s state before the measurement was<br />then the measurement,<br /><ul><li> accepts Ψ'with probability pa=∑αi2,
    40. rejects with probability pr= ∑βj2
    41. continues the computation with probability pc= ∑γk2 i.e. applies transformations corresponding to next letters. </li></ul>31-Jan-11<br />Quantum Automata and Languages<br />
    42. Recognition of languages and QRL<br />39<br />We will say that an automaton recognizes a language L with probability p (p>½) if it accepts any word x ∈ L with probability ≥ p and rejects any word x ∈ L with probability ≥ p.<br />A quantum regular language (QRL) is a quantum language recognized by a QFA.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    43. The pumping lemma for QRLs<br />Theorem: If f is a QRL, then for any word w and any Є> 0, there is a k such that |f(uwkv) − f(uv)| < Є for any words u, v. <br />Moreover, if f’s automaton is n-dimensional, there is a constant c such that k < (cЄ)−n.<br />40<br />31-Jan-11<br />Quantum Automata and Languages<br />
    44. Types Of QFA<br />One-way quantum finite automata (1QFA)<br />tape heads move one cell only to right at each evolution. <br />Two-way quantum finite automata (2QFA)<br />tape heads are allowed to move towards right or left, or to be stationary.<br />41<br />31-Jan-11<br />Quantum Automata and Languages<br />
    45. One-way quantum finite automata (1QFA)<br />42<br />Proposed by Moore and Crutchfield.<br />Represent a theoretical model for a quantum computer with finite memory.<br />Does not allow intermediate measurements, except to decide whether to accept or reject the input.<br />Allows the full range of operations permitted by the laws of quantum physics, subject to a space constraint.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    46. Definition of One-way quantum finite automata<br />1-way QFA is a 6-tuple M = (Q,∑, δ, q0,Qacc,Qrej) where <br />Q is a finite set of states <br />∑ is an input alphabet<br />δ is a transition function<br />q0 ∈ Q is a starting state <br />Qacc ⊂ Q are accepting states <br />Qrej⊂ Q are rejecting states<br />43<br />31-Jan-11<br />Quantum Automata and Languages<br />
    47. One-way quantum finite automata<br />The states in Qacc and Qrejare called halting states.<br />The states in Qnon = Q − (Qacc ∪ Qrej) are called non-halting states. <br />¢ and $ are used as the left and the right endmarker respectively. <br />The working alphabet of M is Γ = ∑ ∪ {¢, $}.<br />δ: Q×Γ×Q×{0,1}C is the transition function.<br />44<br />31-Jan-11<br />Quantum Automata and Languages<br />
    48. Example (1QFA)<br />45<br />We use a one letter alphabet ∑ = {a}. <br />The state space is Q = {q0, q1, qacc, qrej} with<br />the set of accepting states Qacc = {qacc} and <br />the set of rejecting states Qrej = {qrej}. <br />the starting state is q0.<br />The transition function can be specified in two ways:<br />by specifying δ or <br />by specifying Vxfor all letters x ∈ Γ.<br />Both methods are equivalent: all Vx are determined by δ.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    49. Example (contd…)<br />46<br /><ul><li> Defining by Vx:
    50. Defining by δ :</li></ul>δ(q0, a, q0) =½<br />δ(q0, a, q1) =½<br />δ (q0, a, qacc) = 0<br />δ (q0, a, qrej) =1/√2<br />31-Jan-11<br />Quantum Automata and Languages<br />
    51. Example (contd…)Working steps of the automaton:<br />47<br />The automaton starts in |q0›. Then, Va is applied, giving<br /> ½ |q0›+ ½ |q1›+ 1/√2 |qrej›. Two outcomes are possible. <br />With probability (1/√2)2 = ½, a rejecting state is observed, the word is rejected and the computation terminates. <br />Otherwise with probability ½ , a non-halting state is observed and the superposition collapses to ½ |q0›+ ½ |q1›.In this case, the computation continues.<br /> The word ends and the transformation V$ corresponding to the right endmarker $ is done. It maps the superposition to ½ |qrej› + ½ |qacc›. With probability (½)2 = ¼, the rejecting state qrej is observed. With probability ¼, the accepting state qacc is observed.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    52. Example (contd…)<br />48<br />Probability of accepting and rejecting:<br />The total probability of accepting is ¼.<br />The total probability of rejecting is ½ + ¼ = ¾.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    53. Languages Accepted by 1-way QFA<br />All languages recognized by 1-way QFAs are regular.<br />There is a regular language that cannot be recognized by a 1-way QFA with probability ½+є for any є > 0.<br />It was generalized by Brodsky and Pippenger.<br />49<br />31-Jan-11<br />Quantum Automata and Languages<br />
    54. Advantages & Disadvantages of 1QFA<br />50<br />Advantages:<br />Quantum superposition offers some computational advantages on probabilistic superposition.<br />Quantum automata can be exponentially more space efficient than deterministic or probabilistic automata.<br />Disadvantages:<br />Due to limitation of memory, it is sometimes impossible to simulate deterministic automata by quantum automata.<br />Since it is reversible, so it is unable to recognize some regular languages.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    55. Types of 1QFA<br />51<br />The acceptance capability of a 1-way QFA depends on the measurements that the QFA performs during the computation.<br />Two models of 1-way QFAs that differ in the type of measurement that they perform during the computation:<br />Measure Once 1-way QFA<br />Measure Many 1-way QFA<br />31-Jan-11<br />Quantum Automata and Languages<br />
    56. Measure Once 1-way QFA<br />Introduced by Moore and Crutchfield.<br />It is a 5-tuple (Q, , , q0, Qacc) where Qaccis the set of accepting states.<br />The transition function is defined as<br /> : Q xx Q  C[0,1]<br /> that represents the probability that flows from state q to state q′ upon reading symbol σє∑.<br />Measurement is performed after the whole input string is read.<br />The language accepted by MO-1QFA is regular language.<br />52<br />31-Jan-11<br />Quantum Automata and Languages<br />
    57. Measure Many 1-way QFA<br />Introduced by Kondacs and Watrous.<br />It is a 7-tuple (Q, , , q0, Qacc, Qrej, Qnh) where Qrej is the set of rejecting states and Qnh = Q – Qacc - Qrej<br />The transition function is defined as<br /> : Q xx Q  C[0,1]<br />Measurement is performed after each input symbol is read.<br />More complex than Measure Once 1-way QFA.<br />The language accepted by MM-1QFA is regular language.<br />53<br />31-Jan-11<br />Quantum Automata and Languages<br />
    58. Operation of MM 1QFA<br />54<br />After every transition M measures its configuration with respect to the three subspaces that corresponding to the three subsets Qnon, Qacc, and Qrej: <br />Enon = Span( { |q› | q ∈ Qnon} ),<br />Eacc = Span( { |q› | q ∈ Qacc} ), <br />Erej = Span( { |q› | q ∈ Qrej} ). <br />If the configuration of M is in Enon then the computation continues,<br />If the configuration is in Eacc then M accepts, <br />Otherwise it rejects. <br />31-Jan-11<br />Quantum Automata and Languages<br />
    59. Language Accepted<br />Measure-many model is more powerful than the measure-once model, where the power of a model refers to the acceptance capability of the corresponding automata.<br />MM-1QFA can accept more languages than MO-1QFA.<br />Both of them accept proper subsets of regular languages. <br />55<br />31-Jan-11<br />Quantum Automata and Languages<br />
    60. Comparison of MO-1QFA and MM-1QFA<br />MO-1QFA<br />MM-1QFA<br />Initiated by Moore and Crutchfield.<br />There is only one measurement for computing each input string, performing after reading the last symbol.<br />Two results: acceptance and rejection.<br />Initiated by Kondacs and Watrous.<br />Measurement is performed after reading each symbol, instead of only the last symbol.<br />Three results: acceptance, rejection and continuation.<br />56<br />31-Jan-11<br />Quantum Automata and Languages<br />
    61. Multi-letter 1QFA<br />Proposed by A. Belovs, A. Rosmanis, J. Smotrovs.<br />Multiple reading heads are present.<br />A k-letter 1QFA is not limited to see the just-incoming input letter, but can see several earlier received letters as well.<br />Quantum state transition which the automaton performs at each step depends on the last k letters received.<br />In the simplest form k =1, it reduces to an MO-1QFA.<br />Any given k-letter QFA can be simulated by some (k + 1)-letter QFA, but the contrary does not hold.<br />57<br />31-Jan-11<br />Quantum Automata and Languages<br />
    62. Definition of k-letter 1QFA<br />58<br />A k-letter QFA A is defined as a 5-tuple <br /> A = (Q,Qacc, |ψ0›,∑, μ), where <br />Q is a set of states, <br />Qacc ⊆ Q is the set of accepting states, <br />|ψ0› is the initial unit state that is a superposition of the states in Q, <br />∑ is a finite input alphabet, and<br /> μ is a function that assigns a unitary transition matrix Uw on C|Q| for each string w ∈ ({Λ} ∪ ∑)k, where |Q| is the cardinality of Q.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    63. Equivalence of Multi-letter 1QFA<br />59<br />Let us consider, a k1-letter QFA A1 and a k2-letter QFA A2.<br />A1 and A2 are equivalent if and only if they are (n1+n2)4+k−1-equivalent, <br />where n1 and n2 are the numbers of states of A1 and A2, respectively.<br />k = max(k1, k2).<br />Two multi-letter QFAs over the same input alphabet are n-equivalent if and only if the accepting probabilities of A1 and A2 are equal for the input strings of length not more than n.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    64. Language accepted by Multi-letter 1QFA<br />60<br />Can accept some regular languages not acceptable by MO-1QFA and MM-1QFA.<br />Accept a proper subset of regular languages.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    65. Hierarchy of multi-letter QFAs and some relations<br />61<br />j-letter QFA are strictly more powerful than i-letter QFAs for 1 ≤ i < j.<br />Let us denote the languages accepted by MO-1QFAs, MM-1QFAs, and multi-letter QFAs, denoted by L(MO), L(MM), and L(QFA*), respectively, then<br />L(MO) ⊆ L(MM) ∩ L(QFA*), where ⊆ may be proper.<br />L(MM) ∪ L(QFA*) is a proper subset of all regular languages.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    66. One-way quantum finite automata together with classical states (1QFAC)<br />62<br />1QFA accepts only subsets of regular languages with bounded error.<br />In 1QFAC <br />the component of classical states together with their transformations is added<br />the choice of unitary evolution of quantum states at each step is closely related to the current classical state.<br />So the classical element is preserved in this quantum device.<br />As MO-1QFA , 1QFAC performs only one measurement for computing each input string, doing so after reading the last symbol.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    67. One-way quantum finite automata together with classical states (1QFAC)<br />A 1QFAC A is defined by a 9-tuple <br />A= (S,Q,∑, Γ, s0, q0,δ ,U,M) where:<br />∑ is a finite set of input alphabet.<br />Γ is a finite set of output alphabet.<br />S is a finite set of classical states.<br />Q is a finite set of quantum states.<br />s0 is an element of S (the initial classical state).<br />q0the initial quantum state.<br />δ : S × ∑ S is the classical transition function.<br />U = {Usσ}sЄS,σЄ∑where Usσ: H(Q)  H(Q) is a unitary operator for each s and σ (the quantum transition operator at s and σ).<br />M= {Ms}sЄS where each Ms is a projective measurement over H(Q) with outcomes in Γ (the measurement operator at s).<br />63<br />31-Jan-11<br />Quantum Automata and Languages<br />
    68. Computation in 1QFAC<br />64<br />At start up, automaton is in an initial classical state and in an initial quantum state.<br />By reading the first input symbol, <br />the classical transformation results in a new classical state as current state. <br />the initial classical state together with current input symbol assigns a unitary transformation to process the initial quantum state, leading to a new quantum state as current state.<br />Similar process for next input symbols read.<br />Continues to operate until the last input symbol has been scanned.<br />According to the last classical state, a measurement is assigned to perform on the final quantum state, producing a result of accepting or rejecting the input string.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    69. Diagrammatic Representation<br />65<br />Figure 4: 1QFAC dynamics as an acceptor of language<br />31-Jan-11<br />Quantum Automata and Languages<br />
    70. Language Accepted by 1QFAC<br />1QFAC accepts only regular languages.<br />Can accept same language with essentially less number of states than DFA.<br />It accepts some languages that cannot be accepted by any MO-1QFA and MM-1QFA as well as multi-letter 1QFA.<br />For any prime number m ≥ 2, there exists a regular language whose <br />minimal DFA needs O(m) states, <br />that can not be accepted by the 1QFA,<br />but there exists 1QFAC accepting it with only constant classical states and O(log(m)) quantum basis states.<br />66<br />31-Jan-11<br />Quantum Automata and Languages<br />
    71. Equivalence of 1QFAC<br />67<br />Any two 1QFAC A1 and A2 over the same input alphabet ∑ are equivalent iff<br /> their probabilities for accepting any input string are equal.<br />Two 1QFAC over the same input alphabet ∑ are k-equivalent iff<br />their probabilities for accepting any input string do not differ more than k at each string.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    72. Two-way quantum finite automata (2QFA)<br />2-way QFA is a 6-tuple M = (Q,∑, δ, q0,Qacc,Qrej) where <br />Q is a finite set of states <br />∑ is an input alphabet<br />δ is a transition function<br />q0 ∈ Q is a starting state <br />Qacc ⊂ Q are accepting states <br />Qrej⊂ Q are rejecting states<br />68<br />31-Jan-11<br />Quantum Automata and Languages<br />
    73. Two-way quantum finite automata<br />The states in Qacc and Qrejare called halting states.<br />The states in Qnon = Q − (Qacc ∪ Qrej) are called non-halting states. <br />¢ and $ are used as the left and the right endmarker respectively. <br />The working alphabet of M is Γ = ∑ ∪ {¢, $}.<br />δ: Q×Γ×Q×{-1,0,1}C is the transition function.<br />Tape head can move towards right, left or remain stationary.<br />69<br />31-Jan-11<br />Quantum Automata and Languages<br />
    74. Language Accepted by 2-way QFA <br />Can accept all regular languages with certainty.<br />Also accepts some non-regular languages within linear time.<br />70<br />31-Jan-11<br />Quantum Automata and Languages<br />
    75. Disadvantage of 2QFA<br />71<br />It allows superposition where the head can be in multiple positions simultaneously. <br />To implement such a machine, we need at least O(log n) qubits to store the position of the head (where n is the length of the input).<br />31-Jan-11<br />Quantum Automata and Languages<br />
    76. Two-way finite automata with quantum and classical states (2QCFA)<br />Proposed by Ambainis and Watrous.<br />It has both quantum states and classical states.<br />2QCFA is simpler to implement than 2QFA, since the moves of tape heads are classical.<br />Solves the problem of 2QFA, by having the size of the quantum part does not depend on the length of the input.<br />72<br />31-Jan-11<br />Quantum Automata and Languages<br />
    77. Two-way finite automata with quantum and classical states (2QCFA)<br />73<br />We may describe a 2qcfa as a classical 2-way finite automaton that has access to a fixed size quantum register, upon which it may perform quantum transformations and measurements.<br />It has two transfer functions:<br />One specifies unitary operator or measurement for the evolution of quantum states.<br />The other describes the evolution of classical part of the machine, including the classical internal states and the tape head.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    78. Formal Definition of 2QCFA<br />A 2QCFA is specified by a 9-tuple M = (Q, S, ∑, θ, δ, q0, s0, Sacc, Srej), where <br />Q and S are finite state sets (quantum states and classical states, respectively). <br />∑ is a finite alphabet. <br />θ and δ are functions that specify the behavior of M. <br />q0 ∈ Q is the initial quantum state.<br /> s0 ∈ S is the initial classical state.<br />Sacc, Srej⊆ S are the sets of (classical) accepting states and rejecting states, respectively. <br />Γ=∑ ∪ {¢, $} are the tape alphabet of M, where ¢ and $ are the left end-marker and right end-marker, respectively. <br />74<br />31-Jan-11<br />Quantum Automata and Languages<br />
    79. Transition Functions<br />Function θ specifies the evolution of the quantum portion of the internal state, for each pair (s, σ) ∈ S.<br />Function δ specifies the evolution of the classical part of M and the tape head.<br />δ is defined so that the tape head <br />never moves left when scanning the left end-marker ¢ and <br />never moves right when scanning the right end-marker $.<br />75<br />31-Jan-11<br />Quantum Automata and Languages<br />
    80. Languages Recognized By 2QCFA<br />A 2QCFA recognizes all regular languages. <br />Hence it is more powerful than 1QFA.<br />A 2QCFA recognizes some context free languages also.<br />Hence it is more powerful than a DFA.<br />76<br />31-Jan-11<br />Quantum Automata and Languages<br />
    81. Example <br />77<br />Let us consider the two languages: <br />Lpal= {x ∈ {a, b}∗ | x = xR} (the language consisting of all palindromes over the alphabet {a, b}) and <br />Leq= {anbn | n ∈ N}. <br />No probabilistic 2-way finite automaton can recognize Lpalin any amount of time.<br />No classical 2-way finite automaton can recognize Leq in polynomial time.<br />But there exists<br />an exponential time 2qcfa recognizing Lpal,<br />a polynomial time 2qcfa recognizing Leq. <br />Thereby giving two examples where 2qcfa’s are more powerful than classical 2pfa’s.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    82. 1.5-way Quantum Finite Automata<br />78<br />An intermediate form of QFA.<br />Developed by Amano and Iwama.<br />Tape heads are allowed to move right or to be stationary.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    83. Improved Constructions Of Mixed State Quantum Automata<br /><ul><li>Quantum finite automata with mixed states are proved to be super-exponentially more concise rather than quantum finite automata with pure states.
    84. It was proved earlier by A. Ambainis and R. Freivalds that quantum finite automata with pure states can have an exponentially smaller number of states than deterministic finite automata recognizing the same language.
    85. Quantum finite automata with mixed states are no more super-exponentially more concise than deterministic finite automata. It was not known whether the super-exponential advantage of quantum automata is really achievable.</li></ul>79<br />31-Jan-11<br />Quantum Automata and Languages<br />
    86. Quantum Push-down Automaton (QPDA)<br />80<br />A quantum push-down automaton (QPDA) is a real-time quantum automaton where H is the tensor product of <br />a finite-dimensional space Q, which is called the control state, <br />an infinite-dimensional stack space Σ,<br />It is also required that sinit is infinite-dimensional and superposition of a finite number of different initial control and stack states.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    87. Formal definition of QPDA<br />A quantum pushdown automaton (QPDA) is a 7-tuple A = (Q,∑, T, q0,Qa,Qr, δ) where<br />Q is a finite set of states <br />∑ is a finite input alphabet <br />T is a stack alphabet.<br /> q0 ∈ Q an initial state. <br />Qa ⊂ Q, Qr ⊂ Q of accepting and rejecting states respectively, with Qa∩Qr= ∅<br />δ : Q × Γ × ∆ × Q × {↓,->} × ∆∗ C[0,1], where <br />Γ = ∑ ∪ {#, $} is the input tape alphabet of A and #, $ are end-markers not in ∑, <br />∆= T ∪ {Z0} is the working stack alphabet of A .<br />Z0is the stack base symbol<br />{↓,->} is the set of directions of input tape head.<br />81<br />31-Jan-11<br />Quantum Automata and Languages<br />
    88. Quantum Push-down Automaton (QPDA)<br />82<br />Let q1, q2 ∈ Q are control states and σ1, σ2 ∈ T∗ are stack states. <br />The transition amplitude ‹(q1,σ1)| Ua |(q2, σ2)› can be nonzero only if <br />tσ1 = σ2, <br />σ1 = tσ2, or <br />σ1 = σ2 for some t ∈ T.<br />So, transitions can only push or pop single symbols on or off the stack or leave the stack unchanged. <br />For acceptance the QPDA end in both an accepting control state and with an empty stack. i.e.<br />Haccept = Qaccept ⊗ {∈} for some subspace Qaccept⊂ Q.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    89. Example of QPDA<br />83<br />Figure 5: Quantum Pushdown Automata<br />31-Jan-11<br />Quantum Automata and Languages<br />
    90. Language Accepted by QPDA<br />Every regular language is recognizable by some QPDA.<br />Can also recognize some languages that are not recognizable by QFA.<br />Languages accepted by QPDA are called Quantum Context free languages(QCFL).<br />84<br />31-Jan-11<br />Quantum Automata and Languages<br />
    91. Quantum grammars<br />A quantum grammar G consists of two alphabets V and T , the variables and terminals, an initial variable I ∈ V , and a finite set P of productions α -> β, where α ∈ V∗and β ∈ (V ∪ T )∗. <br />Each production in P has a set of complex amplitudes ck(α -> β) for 1 ≤ k ≤ n, where n is the dimensionality of the grammar.<br />85<br />31-Jan-11<br />Quantum Automata and Languages<br />
    92. Quantum context-free grammars<br />A quantum grammar is context-free if only productions where α is a single variable v have nonzero amplitudes.<br />A quantum context-free language (QCFL) is one generated by some quantum context-free grammar.<br />A quantum language is context-free if and only if it is recognized by a generalized QPDA.<br />86<br />31-Jan-11<br />Quantum Automata and Languages<br />
    93. Quantum context-free grammars<br />Two quantum grammars G1 and G2 are equivalent if they generate the same quantum language, f1(w) = f2(w) for all w.<br />A quantum context-free grammar is in Greibach normal form if only productions of the form v -> aγ where a ∈ T and γ ∈ V∗can have nonzero amplitudes, i.e. every product β consists of a terminal followed by a (possibly empty) string of variables.<br />87<br />31-Jan-11<br />Quantum Automata and Languages<br />
    94. Closure properties of QCFLs<br />88<br />Lemma 1: <br /> If f is a QCFL and g is a QRL, then fg is a QCFL.<br />Proof: <br />We simply form the tensor product of the two automata. <br />If f and g have finite-dimensional state spaces Q and R, construct a new QPDA with control states Q⊗R, transition matrices U′a = Ufa ⊗Uga and accepting subspace H′ accept = Qaccept ⊗ Raccept ⊗ {∈}.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    95. Closure properties of QCFLs<br />Lemma 2:<br />If f and g are QCFLs, then f + g is a QCFL.<br />Proof:<br />Suppose the grammars generating f and g have m and n dimensions, variables V and W, and initial variables I and J.<br />We will denote their amplitudes by cfk and cgk.<br />Then create a new grammar with m+ n dimensions, variables V ∪ W ∪ {K}, and initial variable K, with the productions K -> I and K ->J allowed with amplitudes ck = 1.<br />Other productions are allowed with ck = cfk for 1 ≤ k ≤ m and ck = cgk−m for m + 1 ≤ k ≤ m + n. <br />This grammar generates f + g.<br />89<br />31-Jan-11<br />Quantum Automata and Languages<br />
    96. Sequential Quantum Machines (SQM)<br />A SQM is a 5-tuple M=(S, s0, I, O, ∂), where <br />S is a finite set of internal states,<br />s0∈S is the start state,<br />I and O are finite input and output alphabets, respectively, and <br />∂ : I× S × O × S  C is a transition amplitude function, satisfying ∑y, t∂(x,s,y,t) ∂(x,s',y,t)* = ∂s,s' for every x∈I; s,s‘ ∈ S. <br />The symbol * stands for complex conjugation and<br /> ∂( x, s, y, t) is interpreted as the transition amplitude that SQM M prints y and enters state t after scanning x in the current state s.<br />90<br />31-Jan-11<br />Quantum Automata and Languages<br />
    97. Sequential Quantum Machines<br />Sequential quantum machines (SQMs)was considered by Gudder (2000).<br />Factorizable and strongly factorizable SQMs were also proposed.<br />91<br />31-Jan-11<br />Quantum Automata and Languages<br />
    98. Factorizable SQMs<br />An SQM M = (S, s0, I,O, ) is factorizable if there exist some functions<br /> ∂1 : I × S × O -> C and<br /> ∂2 : I × S × S -> C<br /> such that for any (x, s, y, t) ∈ I × S × O × S,<br /> ∂(x, s, y, t) = ∂1 (x, s, y) ∂2(x, s, t).<br />92<br />31-Jan-11<br />Quantum Automata and Languages<br />
    99. Strongly Factorizable SQMs<br />An SQM M is strongly factorizable if<br /> ∂(x, s, y, t) = ∂1 (x, s, y) ∂2(x, s, t).<br /> ∑y | ∂1 (x, s, y) |2 = 1, <br /> ∑t ∂2(x, s, t) ∂2(x, s', t)∗ = ∂s,s‘ for every x ∈ I , and any s, s'∈ S.<br />93<br />31-Jan-11<br />Quantum Automata and Languages<br />
    100. Quantum Sequential Machines (QSM)<br />A QSM is 5-tuple M=(S, ηi0 , I, O, {A(y | x) : y ∈ O, x ∈ I}),<br /> where S={s1, s2,……., sn}is a finite set of internal states; <br />ηi0 =(0…1…0)T is a degenerate stochastic column vector of n dimension, that is, the i0th entry is 1;<br /> I and O are input and output alphabets, respectively; <br />A(y|x) is an n × n matrix satisfying<br /> ∑y∈OA(y|x)A(y|x)T=I<br /> for any x ∈ I, where the symbol T denotes Hermitian conjugate operation and I is unit matrix.<br />
    101. Stochastic Sequential Machines (SSM)<br />A SSM is a 4 tupleM= (S, I,O, {A(y|x)}) where<br /> S, I and O are finite sets (the internal states, inputs, and outputs,respectively), and<br /> {A(y|x)} is a finite set containing |I| × |O| square matrices of order |S|<br /> such that aij (y|x)≥0 for all i and j , and<br /> ∑y∈O∑|S|j=1 aij (y|x) = 1,<br /> where A(y|x) = [aij (y|x)], and |I |, |O|, and |S| mean the cardinality of set I , O, and S, respectively.<br />
    102. Decidability and Undecidability of Quantum Automata.<br />96<br />A language is said to be decidable if there exists a quantum automaton that halts on all the input words of that language.<br />A language is said to be undecidableifthere exists no algorithm by which any quantum automaton fails to halt on some input words of that languages.<br />31-Jan-11<br />Quantum Automata and Languages<br />
    103. Example of Undecidable Problem About Quantum Automata<br />For a quantum automaton A, ValA(w) is the probability that on any given run of A on the input word w, w is accepted by A. <br />The languages recognized by the automata A with non-strict threshold λ are<br />L≥ = {w : ValA(w) ≥ λ}<br />There is no algorithm that can decide for a given automaton A whether if L≥ is empty.<br />97<br />31-Jan-11<br />Quantum Automata and Languages<br />
    104. Conclusion<br />A quantum finite automaton is a theoretical model for a quantum computer with a finite memory.<br />QFA can recognize all regular languages if arbitrary intermediate measurements are allowed.<br />Quantum automata can recognize several languages not recognizable by the corresponding classical model.<br />1QFAC can accept some languages with essentially less number of states than DFA, but no MO-1QFA or MM-1QFA or multi-letter 1QFA can accept these languages.<br />2QFA is more powerful than 1QFA.<br />QPDA can accept all regular languages and some non-regular languages.<br />98<br />31-Jan-11<br />Quantum Automata and Languages<br />
    105. References<br />Cristopher Moore and James P. Crutchfield “Quantum Automata and Quantum Grammars” (1997) [4-17].<br />AndrisAmbainisandArnolds Kikusts “Quantum Finite Automata” (2000) [1-5].<br />Alex Brodsky and Nicholas Pippenger “Characterizations of 1-Way Quantum Finite Automata” (2008) [1-4].<br />MaratsGolovkins “Quantum Pushdown Automata” (2001) [1-9].<br />AndrisAmbainis and John Watrous “Two-way finite automata with quantum and classical states” (2008) [1-3].<br />DaowenQiu “Characterization of Sequential Quantum Machines” (2001) [1-4].<br />Vincent D. Blondel, Emmanuel Jeandel, Pascal Koiran, NatachaPortier“Decidable And Undecidable Problems About Quantum Automata” (2003) [1-2].<br />99<br />31-Jan-11<br />Quantum Automata and Languages<br />
    106. THANK YOU<br />100<br />31-Jan-11<br />Quantum Automata and Languages<br />

    ×