screen-shot XXXXXXXXXXat XXXXXXXXXX5scg2kqu.png screen-shot XXXXXXXXXXat XXXXXXXXXXenwhlvu0.png screen-shot XXXXXXXXXXat XXXXXXXXXXoy1o12dv.png screen-shot XXXXXXXXXXat XXXXXXXXXXlrggf4l1.png...

1 answer below »
Hi there,I would like some help on a test on August 16th at 9:00 PST so 9:30 IST. There will be around 21 questions. I can pay extra for an expert to be available from 9:00-12:00 PST. Is this request possible?


screen-shot-2021-07-27-at-213452-5scg2kqu.png screen-shot-2021-07-27-at-213505-enwhlvu0.png screen-shot-2021-07-27-at-213522-oy1o12dv.png screen-shot-2021-07-27-at-213539-lrggf4l1.png screen-shot-2021-07-27-at-213555-fei5xqrr.png screen-shot-2021-07-27-at-213606-azsggalz.png tutorial-2-solutions-l004mijn.pdf CSC 320 Tutorial 2 1. Prove that regular languages are closed under complement. 2. Give the formal specification of a DFA for the following languages: (a) ?1 = {? ∈ {?, ?}∗ | ? ?? ??? ?????? ??? ?? (??+)∗} (b) ?2 = {? ∈ {0, 1}∗ | ? ℎ?? ?????ℎ ?? ????? 3 ??? ??? ?ℎ??? ?????? ?? 0} (c) ?3 = {0}∗ over Σ = {0} 3. Design and NFA state diagram for the following language: {? ∈ {0, 1}∗ | ? ???????? 00 ?? 11 ?? ? ?????????} 4. Consider the following state diagram: (a) Is the string 0011 accepted by this state machine? How about 1100? (b) What is the language of this machine? Introduction to the Theory of Computation This is an electronic version of the print textbook. Due to electronic rights restrictions, some third party content may be suppressed. Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. The publisher reserves the right to remove content from this title at any time if subsequent rights restrictions require it. For valuable information on pricing, previous editions, changes to current editions, and alternate formats, please visit www.cengage.com/highered to search by ISBN#, author, title, or keyword for materials in your areas of interest. Copyright 2012 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s). Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it. http://www.cengage.com/highered In t ro duc t ion to th e Th eo ry o f OMPU TATIOC N T H I R D E D I T I O N M I C H A E L S I P S E R Australia • Brazil • Japan • Korea • Mexico • Singapore • Spain • United Kingdom • United States Copyright 2012 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s). Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it. Introduction to the Theory of Computation, Third Edition Michael Sipser Editor-in-Chief: Marie Lee Senior Product Manager: Alyssa Pratt Associate Product Manager: Stephanie Lorenz Content Project Manager: Jennifer Feltri-George Art Director: GEX Publishing Services Associate Marketing Manager: Shanna Shelton Cover Designer: Wing-ip Ngan, Ink design, inc Cover Image Credit: @Superstock © 2013 Cengage Learning ALL RIGHTS RESERVED. No part of this work covered by the copy- right herein may be reproduced, transmitted, stored or used in any form or by any means graphic, electronic, or mechanical, including but not limited to photocopying, recording, scanning, digitizing, tap- ing, Web distribution, information networks, or information storage and retrieval systems, except as permitted under Section 107 or 108 of the 1976 United States Copyright Act, without the prior written permission of the publisher.States Copyright Act, without the prior written permission of the publisher. Library of Congress Control Number: 2012938665 ISBN-13: 978-1-133-18779-0 ISBN-10: 1-133-18779-X Cengage Learning 20 Channel Center Street Boston, MA 02210 USA Cengage Learning is a leading provider of customized learning solu- tions with office locations around the globe, including Singapore, the United Kingdom, Australia, Mexico, Brazil, and Japan. Locate your local office at: international.cengage.com/region Cengage Learning products are represented in Canada by Nelson Education, Ltd. For your lifelong learning solutions, visit www.cengage.com Cengage Learning reserves the right to revise this publication and make changes from time to time in its content without notice. The programs in this book are for instructional purposes only. They have been tested with care, but are not guaranteed for any particular intent beyond educational purposes. The author and the publisher do not offer any warranties or representations, nor do they accept any liabilities with respect to the programs. Printed in the United States of America 1 2 3 4 5 6 7 8 16 15 14 13 12 For product information and technology assistance, contact us at Cengage Learning Customer & Sales Support, 1-800-354-9706 For permission to use material from this text or product, submit all requests online at cengage.com/permissions Further permissions questions can be emailed to [email protected] Copyright 2012 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s). Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it. http://www.cengage.com mailto:[email protected] To Ina, Rachel, and Aaron Copyright 2012 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s). Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it. Copyright 2012 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s). Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it. C O N T E N T S Preface to the First Edition xi To the student . . . . . . . . . . . . . . . . . . . . . . . . . . . xi To the educator . . . . . . . . . . . . . . . . . . . . . . . . . . xii The first edition . . . . . . . . . . . . . . . . . . . . . . . . . . xiii Feedback to the author . . . . . . . . . . . . . . . . . . . . . . xiii Acknowledgments . . . . . . . . . . . . . . . . . . . . . . . . . xiv Preface to the Second Edition xvii Preface to the Third Edition xxi 0 Introduction 1 0.1 Automata, Computability, and Complexity . . . . . . . . . . . . . 1 Complexity theory . . . . . . . . . . . . . . . . . . . . . . . . . 2 Computability theory . . . . . . . . . . . . . . . . . . . . . . . 3 Automata theory . . . . . . . . . . . . . . . . . . . . . . . . . . 3 0.2 Mathematical Notions and Terminology . . . . . . . . . . . . . . 3 Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Sequences and tuples . . . . . . . . . . . . . . . . . . . . . . . 6 Functions and relations . . . . . . . . . . . . . . . . . . . . . . 7 Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 Strings and languages . . . . . . . . . . . . . . . . .
Answered 20 days AfterJul 27, 2021

Answer To: screen-shot XXXXXXXXXXat XXXXXXXXXX5scg2kqu.png screen-shot XXXXXXXXXXat XXXXXXXXXXenwhlvu0.png...

Swapnil answered on Aug 16 2021
134 Votes
1
    Circle T for true an d F for false for each the following statements.
    a
    The language of the regular expression (0*1*)*000(0U1)* consists of all strings of )’s and 1’s with exactly one substring of three consecutive )’s.
    
    T
    b
    Ther
e exist context-free grammars that produce languages that are not regular.
    
    F
    C
    The empty string equals the empty set.
    
    T
    D
    If language L is Turing-recognizable but not decidable, then L must not be Turing-recognizable.
    
    F
    E
    If there exists a reduction from language L to the language ATM then L is not Turing-recognizable.
    
    F
    F
    If A<=m B and A is decidable, then B is decidable,
    
    T
    G
    If A<=p B, then A<=m B.
    
    T
    H
    If there exists a NTM M that solves CLIQUE in polynomial time, then P = NP.
    
    F
    I
    All intractable problems are decidable.
    
    T
    J
    SAT polynomial time reduces to every language L in the class NP.
    
    T
    2
    Consider the finite automata M = (Q, , Σ, δ, q0, {q0, q3}), with d-transitions d(q0, a) = q1, d(q1,b) = q1, d(q1,c) = q2, d(q2,a) = q3, d(q2,b) = q2, and d(q2, c) = q2.
    A
    What is L(M)?
    
    M = (Q, Σ, δ, q0, {q0, q3}), where:
Q = {q0, q1, q2, q3}
Σ = {a, b}
δ = {(q0, a, q2),
(q0, b, q1),
(q1, a, q2),
(q1, b, q3),
(q2, a, q2),
(q2, b, q1),
(q3, a, q2),
(q3, b, q3)}
L(M) = {q3}
    B
    Is L(M) finite? Justify.
    
    
M = {q0, q1, q2, q3}
Σ = {a, b}
δ = {(q0, a, q1),
(q0, b, q3),
(q1, a, q3),
(q1, b, q2),
(q2, a, q0),
(q2, b, q3),
(q3, a, q3),
(q3, b, q3)}
L(M) = {q2}
    C
    Is M a DFA? Justify.
    
    

    3
    Let D = {w|w contains even number of a’s and an odd number of b’s and no substring ab}. Design a DFA with five states that recognizes D.
    
    Consider the language D = {w|w contains an even number of a’s and an odd number of b’s and does not contain the substring ab}.
The language D can be described simply as follows D={w|w contains an odd number of b’s followed by even number of a’s}.
Let M be the DFA with five states that recognizes the language D. The state diagram of M is as follows:
The language accepts the strings like {b,baa, bbbaaa,….}. The string b is accepted by the language because, it contains the odd number of b’s (1) followed by even number of a’s (0).
Now, the language D can be expressed as combination of following two languages D1 ans D2. 
D1 = {w|w contains odd number of b’s}
D2 = {w|w contains odd number of a’a
D = D1oD2
R1 be the regular expression...
SOLUTION.PDF

Answer To This Question Is Available To Download

Related Questions & Answers

More Questions »

Submit New Assignment

Copy and Paste Your Assignment Here