# Register now to access 7 million high quality study materials (What's Course Hero?) Course Hero is the premier provider of high quality online educational resources. With millions of study documents, online tutors, digital flashcards and free courseware, Course Hero is helping students learn more efficiently and effectively. Whether you're interested in exploring new subjects or mastering key topics for your next exam, Course Hero has the tools you need to achieve your goals.

33 Pages

### lecture4

Course: CS 411, Fall 2009
School: University of San...
Rating:

Word Count: 1034

#### Document Preview

Theory CS411-2007F-04 Automata Non-Determinisitic Finite Automata David Galles Department of Computer Science University of San Francisco 04-0: Non-Determinism A Deterministic Finite Automatas transition function has exactly one transition for each state/symbol pair A Non-Deterministic Finite Automata can have 0, 1 or more transitions for a single state/symbol pair Example: L = {w {a, b} : w starts with a}...

Register Now

#### Unformatted Document Excerpt

Coursehero >> California >> University of San Francisco >> CS 411

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
Theory CS411-2007F-04 Automata Non-Determinisitic Finite Automata David Galles Department of Computer Science University of San Francisco 04-0: Non-Determinism A Deterministic Finite Automatas transition function has exactly one transition for each state/symbol pair A Non-Deterministic Finite Automata can have 0, 1 or more transitions for a single state/symbol pair Example: L = {w {a, b} : w starts with a} Regular expression? 04-1: NFA Example Example: L = {w {a, b} : w starts with a} a(a+b)* a,b 0 a 1 04-2: NFA Example Example: L = {w {a, b} : w starts with a} a(a+b)* a,b 0 a 1 What happens if a b is seen in state q0 ? The machine crashes, and does not accept the string 04-3: NFA Example Example: L = {w {a, b} : w contains the substring aa} Regular Expression? 04-4: NFA Example Example: L = {w {a, b} : w contains the substring aa} (a+b)*aa(a+b)* a,b 0 a 1 a a,b 2 What happens if a a is seen in state q0 ? 04-5: NFA Example Example: L = {w {a, b} : w contains the substring aa} (a+b)*aa(a+b)* a,b 0 a 1 a a,b 2 What happens if a a is seen in state q0 ? Stay in state q0 , or go on to state q1 Multiple Computational Paths (board example) 04-6: NFA Example Example: L = {w {a, b} : w contains the substring aa} a,b 0 a 1 a a,b 2 (q0, ) (q1, ) (q1, baa) crash reject reject reject (q0, abaa) (q0, baa) (q0,aa) (q0, a) (q1, a) (q2, ) accept Does this machine accept abaa? 04-7: NFA Acceptance If there is any computational path that accepts a string, then the machine accepts the string Two ways to think about NFAs: Magic Oracle, which always picks the correct path to take Try all possible paths 04-8: NFA Example Example: L = {w {a, b} : w contains the substring aa} a,b 0 a 1 a a,b 2 If a string contains aa, will there be a computational path that accepts it? If a string does not contain aa, will there be a computational path that accepts it? 04-9: NFA Denition Difference between a DFA and an NFA DFA has exactly only transition for each state/symbol pair : (K ) K NFA has 0, 1 or more transitions for each state/symbol pair 04-10: NFA Denition Difference between a DFA and an NFA DFA has exactly only transition for each state/symbol pair Transition function: : (K ) K NFA has 0, 1 or more transitions for each state/symbol pair Transition relation: ((K ) K) 04-11: NFA Denition A NFA is a 5-tuple M = (K, , , s, F ) K Set of states Alphabet : (K ) K is a Transition relation s K Initial state F K Final states 04-12: Fun with NFA Create an NFA for: All strings over {a, b} that start with a and end with b 04-13: Fun with NFA Create an NFA for: All strings over {a, b} that start with a and end with b a,b 0 a 1 b 3 (example compuational paths for ababb, abba, bbab) 04-14: Fun with NFA Create an NFA for: All strings over {0, 1} that contian 0110 or 1001 04-15: Fun with NFA Create an NFA for: All strings over {0, 1} that contian 0110 or 1001 0,1 0 0 1 1 1 1 1 1 0,1 0 3 1 1 0 1 0 1 04-16: -Transitions consumes transition no input NFA (with transitions) for (ab)*(aab)* a 1 1 b a 1 b a 1 1 04-17: -Transitions Create an NFA (with -transitions) for: All strings over {a, b, c} that are missing at least one letter. For example, aabba, cbbc, ccacc L, while abbc L 04-18: -Transitions Create an NFA (with -transitions) for: All strings over {a, b, c} that are missing at least one letter. For example, aabba, cbbc, ccacc L, while abbc L 0 1 a,b 2 b,c 3 a,c abcb, bbab, abbab, abc 04-19: Yet More Formalism -closure -closure(q) = set of all states that can be reached following zero or more -transitions from state q. 04-20: -closure b 4 a c -closure examples 0 a 3 1 2 b 5 6 a (quick review: What is L[M]?) 04-21: -closure b 4 a c -closure examples 0 a 3 1 2 b 5 6 a L[M] = {a, aa, ba, ca, aba} 04-22: -closure b 4 a c -closure examples 0 a 3 1 2 b 5 6 a -closure(q0 ) = -closure(q3 ) = -closure(q2 ) = -closure(q5 ) = 04-23: -closure b 4 a c -closure examples 0 a 3 1 2 b 5 6 a -closure(q0 ) = {q0 , q1 , q4 , q5 } -closure(q3 ) = {q3 , q4 , q5 } -closure(q2 ) = {q2 , q6 } -closure(q5 ) = {q5 } 04-24: -closure Sets -closure -closure(q) = set of all states that can be reached following zero or more -transitions from state q. Can extend -closure to a set of states -closure(S) = {A : q S -closure(q) = A} 04-25: NFA Denition (revised) A DFA is a 5-tuple M = (K, , , s, F ) K Set of states Alphabet : (K ( {})) K is a Transition relation s K Initial state F K Final states 04-26: NFA M Binary relation M : What machine M yields in one step M (K ) (K ) M = {((q1 , aw), (q2 , w)) : q1 , q2 KM , w , a M {}, ((q1 , a), q2 ) M } M Binary relation : Transitive, reexive closure of M M 04-...

Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

Penn State - STM - 5066
Team 6 DP3 Cost Analysis Materials Cost: 1. The base cost of our sensor equipment and materials was found to be \$110,000.00. This was found by adding the separate costs of our sensory equipment with the DefendIR camera costing \$98,600.00, and the UV camer
Columbia - CS - 4706
&quot;Essential Attributes of the Concept of Charisma&quot;by George P. Boss Presented by Chen-Yung HsuWhat is Charisma? A term which in popular usage describes the personal appeal of an extraordinary individual Derived from a Greek word meaning &quot;divine gift&quot; Us
Calvin - C - 260
ATMcfw_w in (0 + 1)* : n0(w) = n1(w) 0 1/ input alphabet, note such comments are permitted at the end of the line0 1 B / tape alphabet1/ number of tapes2 / number of tracks on tape 01 / tape 0 is 1-way infiniteq0/ the initial stateq5 / final st
Midwestern State University - C - 0542
C0542ADGA DAIRY GOAT SCORE CARD(Ideals of type and breed characteristics must be considered in using this card.)Pts. Pts. Possible AwardedBASED ON ORDER OF OBSERVATION General Appearance: Attractive individually revealing vigor; femininity with a harm
Bus Ad 239B Spring 2003 Solutions to Problem Set 21. This solution is revised, to correct a computational error, and to emphasize a point that several students misunderstood: we need to construct ^ ^ B fom B , and this needs to be done so that B is a sta
Utah - U - 0400737
PREPARING FOR THE ORAL PRESENTATION Your opening statements are very important and easy to master. Teel the judge what is exciting and unique about your project. If you had a special or personal reason for selecting this project, explain it. Convince the
Caltech - GE - 128
Ge/Ch 128 - Cosmochemistry Solutions to problem set #1 1. Can the existence of diatomic molecules in the interstellar medium be explained by the disruption of larger grains alone (from stellar mass loss)? We want to compare the observed mass input (from s
Berkeley - SUNSITE - 006
Fig. 3 PCR amplification of sub-microgram amounts of genomic DNA. a, Eight serial dilutions containing 128, 64, 32, 16, 8, 4, 2, and I ng of sample AA DNA were amplified by 25 cycles. One half of the amplification product (64 to 0.5 ng) was applied
UCCS - ECE - 2610
Spectrum RepresentationChapter3(3.1) Extending the investigation of Chapter 2, we now consider signals/waveforms that are composed of multiple sinusoids having different amplitudes, frequencies, and phases x ( t ) = A0 +k=1 Ak cos ( 2fk t + k ) NN
Rochester - PHY - 121
Physics 121, Formula Sheet Geometry/Trigonometry:Final Exam1 3 sin ( 30 ) = 2 1 cos ( 45 ) = 2 sin ( 45 ) = 2 1 cos ( 60 ) = sin ( 60 ) = 2 cos ( 30 ) =1 2 1 2 2 1 3 2tan ( 30 ) =1 3 3tan ( 45 ) = 1 tan ( 60 ) = 3\$1 ' cos &amp; ! &quot; # ) = sin (# ) %2 (
Berkeley - ISCHOOL - 0412
Berkeley - ISCHOOL - 0412
Berkeley - ISCHOOL - 0412
Duke - CPS - 049
3/27/07 Chapter 8 in the text book Problems arise People tried to sue Google because of privacy rights Privacy vs. the right to know 1. What should be keep private and what information should be able to be access? 2. People actually have no control over w
Penn State - RAS - 5092
Richie Sherrock April 2, 2007 Assignment #7 First and foremost, there shall not be any illegal activity received or sent threw this corporations email. Further more, this corporation may in fact look threw any employees email and at any time if felt that
Berkeley - ISCHOOL - 0412
Berkeley - ISCHOOL - 0412
UCSB - BREN - 219
Concepts: Chemistry Chemical elements e.g. stoichiometry of E. coliESM219 F07 Macromolecules Class meeting 2 Polysaccharides: polymers of sugars Lipids: polymers of fatty acids Nucleic acids: polymers of nucleotides Proteins: polymers of amino acids
Wisconsin Milwaukee - CHEM - 41402
Chemistry 414-02 - Biochemistry Spring 2009When and where: Tuesday/Thursday from 11:00 AM to 12:20 PM in Millington 211 Instructor: Lisa M. Landino Office/Phone: ISC 1052, 221-2554 Email: lmland@wm.edu Office Hours: Tuesday 2:00-3:00 PM, Wednesday 2:30-3
Washington University in St. Louis - CS - 551
CS 551A Robotic Manipulators 1. Geometry to calibrate and apply a sheet of light measurement systemSpring 2004 Exercise #5A sheet of light from a horizontally aimed source, with the sheet vertical, is aimed perpendicular to the side of a pickup table. A
Penn State - CS - 101
CMPSC 101 - Ch. 1 Worksheet #4Name Nicholas Robin1. Write a declaration statement that declares a double variable named salary. Double salary =0.0;2. Write an assignment statement that assigns the value 30000.56 to a variable named salary. Salary = 300
UCF - COP - 3503
The Change Problem&quot;The Change Store&quot; was an old SNL skit (a pretty dumb one.) where they would say things like, &quot;You need change for a 20? We'll give you two tens, or a ten and two fives, or four fives, etc.&quot; If you are a dorky minded CS 2 student, you m
Kent State - MATH - 31011
MATH 31011 Fall 2007 Midterm 1 - Solutions 1. (15 points) Give a numerical value for P (10, 3)11 5P (10, 3)11 5=10 9 8 5! 5! 120 10 9 8 5! 6! = = = 11! 11 10 9 8 7 11 7 772. (17 points) There are 7 points marked on two parallel lines: 4 on one and 3
U. Houston - CS - 6360
A New Page Table for 64-bit Address SpacesM. Talluri, M. D. Hill, Y. A. Kalidi Computer Science Department University of Wisconsin Madison, WI Sun Microsystems Laboratories Mountainview, CAPrograms' memory usage doubles every one or two years. Most proc
Rochester - CSC - 256
Operating Systems2/9/2005Introduction to Nachos: Our ObjectiveKernel AssignmentsProvide a basic understanding of the structure of Nachosnot a replacement of your own practice and learningJump start you on Programming Assignment #3CS 256/456 Dept. o
Arizona - CHEM - 3261
University of Arizona Chemistry DepartmentChem 326Grading Scheme Spectrophotometric Analysis of DristanThe lab report is worth 150 points. The point assignments are as follows: (Use the results from Method 1 to assign accuracy points.)Pre-lab Accuracy
Colorado State - ECE - 303
Colorado State University, Ft Collins EE 303: Applied Probability Fall Semester, 2003 Midterm #2 Nov 13, 2003 3:35pm-4:50pm, Clark A 202Open book, notes, calculators, etcName: EE: ECE:1. (20) 2. (20) 3. (20) 4. (20) 5. (20)Total: (100)11(20) Skills
TCNJ - ELEC - 471
Fall Semester, 2003Electrical &amp; Computer Engineering School of Engineering THE COLLEGE OF NEW JERSEY1Fall Semester, 2003Electrical &amp; Computer Engineering School of Engineering THE COLLEGE OF NEW JERSEY2Fall Semester, 2003Electrical &amp; Computer Engin
UCSB - BREN - 203
9/22/2005ESM 203: The End of Earth System Science for Environmental ManagementJeff Dozier &amp; Tom Dunne Fall 2007The Object of the CourseThe course is dedicated to the proposition that there is value to the environmental manager and the citizen in under
Georgia Tech - ECE - 4006
Gigabit Ethernet Design ECE 4006C Spring 2003Group 7 Presentation #2 Jed EatonJanuary 23rd, 2003Progress Report First Lab Session: Decipher Rx layout. Familiarized with lab tools. Important safety tips. Built and TestedReceiver Board Reasonable ey
Dallas - HTV - 041000
The Design and Evaluation of Interleaved Authentication for Filtering False Reports in Multipath Routing WSNsYoutao Zhang a, , Jun Yang b , Hai T Vu c , Yizhi Wu da bComputer Science Department, University of Pittsburgh, Pittsburgh, PA 15260Electrical
San Diego State - AE - 430
Homework 7: AE430, Aircraft Propulsion SystemsNovember 15, 2007 Due: November 27, 2007, beginning of classProblem 1: 6.2 Problem 2: 6.4 Problem 3: A jet operates at an altitude of 10,000 m (Ta=223oK, pa=0.26 atm, =1.4) at a Mach no. of 1.7. The engine m
North Texas - DK - 002
Asynchronous Transfer ModeInstructor Mr. Roy Jolly. By Devender KasturiOverview Introduction Why ATM? ATM Implementation example. Business &amp; Profits ATM Switch Conclusions Questions and Suggestions04/25/09 University of North Texas 2Introduction ATM
Stanford - CS - 348
Ray Tracer System Design &amp; lrt Overviewcs348b Matt PharrOverviewof lrt Designinterfaces, classes Main General issues in rendering system architecture/design Foundation for ideas in remaining lectures Design trade-offscs348bMatt Pharr, Spring 2003K
Wisconsin Milwaukee - MATH - 490
Dimensions: Dimension is the unit of certain type of physical quantity. Example: the dimension of variable t (time) is second or hour, the dimension of variable L (length) is meter or foot, and the dimension of parameter N (carrying capacity) is million p
Kean - ID - 1400
Introduction: The Electronic Toll Collection (ETC) is a technology that permits vehicles to pay highway tolls electronically. E-Z Pass is the nation's first toll collection system. This automation has replaced live attendants at toll stations that collect
Western Kentucky University - TXT - 102
Jerusalem Holy Site a Tense Crossroads AgainAugust 29, 2003 By JAMES BENNET JERUSALEM, Aug. 28 - Quietly but insistently, the Israeliauthorities have pried open to non-Muslims the man-madeplateau here that is one of the world's tinderboxes, thesymbo
UAB - EDT - 300
ChapterEightTest versionaPart I Answer each of the following questions by choosing the best answer. _1. Selecting the Landscape orientation option in the Page Setup dialog box a) b) c) d) _2. changes the order of the rows in the spreadsheet. changes the
Caltech - EE - 126
EE/Ma 126a Lecture 10 October 22, 2004 Copyright c 2004 by R. J. McEliece Outline Discrete Memoryless Channels. Capacity of DMC's How to Compute C1Discrete Memoryless Channel=Stochastic Matrix1 2 Q= . . . m 1 q1,1 q2,1 . . . qm,12 q1,2 q2,2 . . . q
Maryland - LECTURE - 311
CounterCounter increments an unsigned binary value from 0 to N Consider a T flip-flop with hardwired input of 1:The behavior can be represented by a timing diagram:Value of Q toggles at each positive clock edge. Notice that if the clock period is t, th
UCF - DA - 465415
#Some colors I've found to work very nicely.dodgerblue - A nice light blue color.firebrick - A nice redish color.SeaGreen3 - A nice light green color.#You can find a list of supported colors on *nix in the# rgb.txt file located:#On most Linux/BSD OS
Pittsburgh - SIS - 2110
TELCOM 2110 - Today's Lecture Week 9 - 30 October 2000 Reading: Chapter 4 &amp; 12 Network Traffic Priorities Congestion &amp; Ethernet Tools to Measure Network Load Load Balancing Capacity TheoryWeek 9Telcom 21101Network Traffic PrioritiesWeek 9Telcom 21
Cal Poly Pomona - IME - 301
STUDY TIME ANALYSISBY : MINA KHAIRZADAProblem : Balancing the hours spent for studying for four classes. Hypothesis: I think I spend to many hours studying for my math and statistics classes and that leads me to get behind in the other two classes that
UMass (Amherst) - PSYC - 315
Cognitive PsychologyDefine it! (For your mother.)Precursors to Cognitive PsychologyPScience of the mind / of knowledge / of thinking PStudy of learning, memory, attention, language comprehension, thinking, deciding, reasoning,. PHow we process (remembe
Delaware - CIS - 667
CISC 667 Intro to Bioinformatics (Fall 2005) Molecular Biology A PrimerWhat is Life Three kingdoms The Cell thoeryCentral Dogma Genetic code Transcription TranslationCISC667, F05, Lec2, LiaoOrganisms: three kindoms of life - eukaryotes, eubacteria,
Wright State - P - 730
/* * xwindow.c */#include &lt;X11/Xlib.h&gt;#include &lt;X11/Xutil.h&gt;/* Following typedef is compatible with SR's linecoords rec */typedef struct cfw_int x1, y1, x2, y2; linecoords;typedef struct cfw_Display *display;Window window;GC gc; xwindow;
Texas A&M - UNIT - 422
DISCUSSION UNIT 2. ADAPTING TO CHANGING WORLDSCompiled Messages 9/19/05Topic: Unit 2 Subject: Q2.1 Intelligence-How? Date: September 4, 2005 12:44 PM Author: Packard, Jane Q2.1 From a proximate perspective, what are four types of intelligent behavior in
Cedarville - CS - 4810
Software Requirements DocumentDIGLOG SimulatorApprovals: Team Member Team Member Team Member _ _ _ Date: Date: Date _ _ _Document History: 9/27/05 Initial Draft 10/6/05 Revision incorporating Dr. Shompers comments from initial draft.1Table of Content
Dallas - OR - 6201
OPRE 6201 : Quiz 1 on 21 June 2004This is an open textbook and open lecture notes exam. You may use a calculator although leaving quantities in fractional forms is perfectly acceptable and preferable. Do not forget to dene any variables you introduce. Un
Carnegie Mellon - MTMEETING - 0703
Transferbased MT with Strong Decoding for a Miserly Data ScenarioAlon Lavie Language Technologies Institute Carnegie Mellon UniversityJoint work with: Stephan Vogel, Kathrin Probst, Erik Peterson, Ari Font Llitjos, Lori Levin, Rachel Reynolds, Jaime Car
Yale - RP - 269
STATE YEAR DISTRICT ABAJRA QBAJRA YBAJRA AMAIZE QMAIZE YMAIZE AJOWAR RAJASTHAN 1990 AJMER 84679 41672 492 40080 28052 700 119598 RAJASTHAN 1990 JAIPUR 323193 329964 1021 16159 15537 962 34191 RAJASTHAN 1990 SIKAR 269846 139601 517 102 142 1392 23 RAJASTHA
Skidmore - HI - 202
Political 753715 715672 672640 640616 616578 578534 534509 509 504 501 496 494 493 486 482474 471 456 451450 449 447 443 433 431 421 409 396 392 390 388 378 376367 375 367 Romulus NumaPompilius TullusHostilius AncusMarcius TarquiniusPriscus ServiusTullius
CSU East Bay - MANAGEMENT - 6110
CALIFORNIA STATE UNIVERSITY, EAST BAY DEPARTMENT OF STATISTICS Management 6110 Business and Economic Forecasting FALL 2007 Lecture: Tuesday 6:30-10:00, A&amp;E 239 Instructor: Prof. Eric A. Suess Office: NSc 229 Phone: 885-3879 e-mail: eric.suess@csueastbay.e
UCSB - BREN - 206
MULTIVARIATE STATISTICS A collection of techniques to help us understand patterns in and make predictions with large datasets with many variables Ordination: find a (hopefully small) number of composite variables that capture most of the variability amon
Penn State - CXC - 508
Slide 1FlowManager 3D-PIV Theory of stereoscopic PIV Dantec Dynamics 3D-PIV software Application example: 3D-PIV in an automotive wind tunnel(used as example through the slide show)Slide 2Fundamentals of stereo visionDisplacement seen from left Dis
Iowa State - CPRE - 583
i UR b R e X W IU TR Q IU dQ I e Q d W b R e X W e Q IU sXQ Q eW H s ` b T u rQU i I ` e eW d ` X W IU TR Q I H 'wPPahASvVaFYAaPhV9PdhyUxwvtshYqdphgUafPcbaYVSP2G E 2A) 8! 3E &amp; \$ &quot;! B 3 0 1 8! 1 4 1 ( &amp; \$ &quot;! 9AFB AA)'%#9 DCA 2&quot;@09#27653 20 %)'%# 5 4#Y i|i
UCSB - BREN - 282
Bren School of Environmental Science &amp; Management 3rd Assignment Industrial Ecology ESM282 _ Supply Loops &amp; Material Flow AnalysisThe deadline for this assignment is Tuesday, 18 November 2008, 9:40am. Please submit hard copies of your answers. You are en
Penn State - IST - 5005
&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?&gt; &lt;Error&gt;&lt;Code&gt;NoSuchKey&lt;/Code&gt;&lt;Message&gt;The specified key does not exist.&lt;/Message&gt;&lt;Key&gt;22a2b8595baf1f5a3eb8fcefa9f050bfe899f892.doc&lt;/Key&gt;&lt;RequestId&gt;4 32B7590BB894B05&lt;/RequestId&gt;&lt;HostId&gt;j15XBSyQstT9MB0VInqv436OZqI9AVFM
Maryland - ENCE - 425
Sidewalk and Bus Stop DesignPresented by: Dan Feinblum 5/9/01 ENCE 667Project Overview Consultants Working For Delaware Department of Transportation (DelDOT) Work in Churchmans Crossing Area 3-5 Years for All Design and Construction Design New Sidewalk
UMass (Amherst) - BIEP - 540
1Unit 3 Populations and SamplesSelf Evaluation Quiz1.Consider the following population comprised of N=5 individuals. The variable measured is the grams of dietary fat consumed in a 24 hour period as determined via a food diary: PERSON 1 2 3 4 5 FAT(g)
Penn State - ERE - 100
METBD 050 Logic FunctionsExcel has to ability to make decisions as well as perform calculations. The IF() function is used for making decisions. The syntax of the IF function is=IF(Logical_test,Value_if_true,Value_if_false)Where, Logical_test is any va