Scribd Logo
Upload

Welcome to Scribd!

  • 36-Design of Turing Machines-Sample Ques & Ans-27-03-2023

    Uploaded by

    Adit Kaushal
    14 views11 pages
    The document describes the design of 4 Turing machines. The first accepts the language of strings with equal numbers of a's, b's and c's. The second accepts strings where a word is followed by the same word in reverse. The third accepts strings with m a's followed by n b's, n c's and m d's. The fourth accepts strings where a word is equal to its reverse. Each design includes a state diagram depicting the machine's behavior.

    Original Description:

    Original Title

    36-Design of Turing machines-Sample Ques & Ans-27-03-2023

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document describes the design of 4 Turing machines. The first accepts the language of strings with equal numbers of a's, b's and c's. The second accepts strings where a word is followed by the same word in reverse. The third accepts strings with m a's followed by n b's, n c's and m d's. The fourth accepts strings where a word is equal to its reverse. Each design includes a state diagram depicting the machine's behavior.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    14 views11 pages

    36-Design of Turing Machines-Sample Ques & Ans-27-03-2023

    Uploaded by

    Adit Kaushal
    The document describes the design of 4 Turing machines. The first accepts the language of strings with equal numbers of a's, b's and c's. The second accepts strings where a word is followed by the same word in reverse. The third accepts strings with m a's followed by n b's, n c's and m d's. The fourth accepts strings where a word is equal to its reverse. Each design includes a state diagram depicting the machine's behavior.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 11

    BCSE304L:Theory of Computation

    Design of Turing Machine Examples

    Jyothimon C
    Assistant Professor
    School of Computer Science and Engineering
    Vellore Institute of Technology

    March 22, 2023

    JYOTHIMON C BCSE304L-TOC March 22, 2023 1 / 11


    Contents

    1 Design of Turing Machines

    JYOTHIMON C BCSE304L-TOC March 22, 2023 2 / 11


    Design of Turing Machines

    1. Design a Turing machine that accepts the L = { an b n c n | n ≥ 1}

    JYOTHIMON C BCSE304L-TOC March 22, 2023 3 / 11


    b, b, L
    Y,Y,L
    a, a, R b, b, R a, a, L
    Y,Y,R Z, Z, R Z, Z, L

    a, X , R b, Y , R c, Z , L
    start q0 q1 q2 q3

    Y,Y,R
    X,X,R

    Y,Y,R q4

    Z, Z, R
    B, B, R
    q5 q6

    Z, Z, R

    JYOTHIMON C BCSE304L-TOC March 22, 2023 4 / 11


    ID of TM

    The following shows the Instantaneous Description (ID) for the string
    ”aabbcc”

    q0 aabbcc ⊢ Xq1 abbcc ⊢ Xaq1 bbcc ⊢ XaYq2 bcc ⊢ XaYbq2 cc ⊢ XaYbq2 cc


    ⊢ XaYbq3 Zc ⊢ XaYq3 bZc ⊢ Xaq3 YbZc ⊢ Xq3 aYbZc ⊢ q3 XaYbZc ⊢
    Xq0 aYbZc ⊢ XXq1 YbZc ⊢ XXYq1 bZc ⊢ XXYYq2 Zc ⊢ XXYYZq2 c ⊢
    XXYYZq3 Z ⊢ XXYYq3 ZZ ⊢ XXYq3 YZZ ⊢ XXq3 YYZZ ⊢ Xq3 XYYZZ ⊢
    XXq0 YYZZ ⊢ XXYq4 YZZ ⊢ XXYYq4 ZZ ⊢ XXYYq5 ZZ ⊢ XXYYZq5 Z ⊢
    XXYYZZq6

    JYOTHIMON C BCSE304L-TOC March 22, 2023 5 / 11


    Design of Turing machines

    2. Design a TM for the language L ={wcw | w ∈ {a, b}∗ }.

    JYOTHIMON C BCSE304L-TOC March 22, 2023 6 / 11


    B, B, R b, b, L
    q8 q7 Y,Y,R Y,Y,L
    a, a, R a, a, L
    Y,Y,R b, b, R Y,Y,R c, c, L

    a, X , R c, c, R a, Y , L
    start q0 q1 q2 q3

    b, X , R
    X,X,R

    q4 a, a, R
    b, b, R

    X,X,R c, c, R

    q5 Y,Y,R

    b, Y , L

    q6 b, b, L Y , Y , L
    a, a, L c, c, L
    JYOTHIMON C BCSE304L-TOC March 22, 2023 7 / 11
    Design of Turing machines

    3. Design a TM for the language L ={am b n c n d m | m, n ≥ 1}.

    JYOTHIMON C BCSE304L-TOC March 22, 2023 8 / 11


    Y,Y,R Z, Z, R

    B, B, R Y,Y,R
    q7 q6 q5
    c, c, R Y,Y,L
    Y,Y,R c, c, L
    Z, Z, R b, b, R b, b, L

    a, X , R d, Y , L
    start q0 q1 q2

    b, W , R X,X,R

    q3 Z, Z, R
    W,W,R
    b, b, R

    C, Z, L

    q4 b, b, L
    Z, Z, L

    JYOTHIMON C BCSE304L-TOC March 22, 2023 9 / 11


    Design of Turing machines

    4. Design a TM for the language L ={ww R | w ∈ {a, b}∗ }.

    JYOTHIMON C BCSE304L-TOC March 22, 2023 10 / 11


    B, B, R
    q8 q7 Y,Y,R
    a, a, R b, b, L
    Y,Y,R b, b, R a, a, L
    Y,Y,L
    a, X , R B, B, L a, Y , L
    start q0 q1 q2 q3

    b, X , R
    X,X,R

    q4 a, a, R
    b, b, R

    Y,Y,L
    X,X,R
    B, B, L

    q5

    b, Y , L

    q6 b, b, L
    a, a, L
    JYOTHIMON C BCSE304L-TOC March 22, 2023 11 / 11

    You might also like