# 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.

9 Pages

### 320_21

Course: CS 320, Summer 2009
School: Virgin Islands
Rating:

Word Count: 414

#### Document Preview

the Prove following languages are contextfree by designing contextfree grammars which generate them: L1 = {an bm : n m, n, m 0} 1 n m n m Hint: L = {a b : n &lt; m} {a b : n &gt; m} L2 = { c u c v c : |u|=|v|, u, v {a, b}* } Announcements: Assignment #4 is posted: Due Wed. July 9 Tutorial today: contextfree grammars, discussion of questions from the midterm (in particular, 1(a), 1(c) and...

Register Now

#### Unformatted Document Excerpt

Coursehero >> Other International >> Virgin Islands >> CS 320

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.
the Prove following languages are contextfree by designing contextfree grammars which generate them: L1 = {an bm : n m, n, m 0} 1 n m n m Hint: L = {a b : n < m} {a b : n > m} L2 = { c u c v c : |u|=|v|, u, v {a, b}* } Announcements: Assignment #4 is posted: Due Wed. July 9 Tutorial today: contextfree grammars, discussion of questions from the midterm (in particular, 1(a), 1(c) and 3(b) students tended to provide solutions to these more complex than necessary). No tutorial or class Tuesday July 1 (Reading break/Canada Day). Academic drop deadline for courses starting week of May 5: June 26. Contextfree grammars and regular languages. More examples of contextfree languages. All regular languages are contextfree and a subclass of contextfree languages (those with regular contextfree grammars) are regular. Which rules below are not in the correct form to correspond to a regular contextfree grammar? 1. S A B 2. S B b 3. S a A 4. S aaaA 5. B b 6. B [0 or more terminals] then [at most one nonterminal] 1. S A S B 2. Aa 3. A 4. A aaa bb Theorem: If L is regular, then L is contextfree. Proof: A contextfree grammar can be constructed from a DFA for L. Definition: A regular contextfree grammar is a contextfree grammar where each has rule its righthand side equal to an element of * ({} ( V ) ) [0 or more terminals] then [at most one nonterminal] Our proof constructs a regular contextfree grammar. Theorem: If L has a regular contextfree grammar, then L is a regular language. Proof: A NDFA can be constructed that accepts the language that the regular contextfree grammar generates. Note: this is in the text as Exercise 3.1.10. Given the regular contextfree grammar G=(V, , R, S) construct a NDFA M = (K, , , s, F) where K= (V ) { f }, s= S, F = { f } For each rule T u R with u *, RV, add a transition (T, u, R) to . For each rule Tu with u in *, add a transition (T, u, f) to . Side...

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:

East Los Angeles College - ES - 153
ES153 PSpice Lecture 5Aims/Objectives: Introduce the basic principles of the simulation of electronic circuits using Behavioural representations, via `netlists', in MSDL. Bring the PSpice section of the course to a conclusion. Lecture Summary/Overv
East Los Angeles College - RIBIK - 9000
Engineering and Physical Sciences Research Polaris House, North Star Avenue, Swindon, Wiltshire, United Kingdom SN2 1ET Telephone +44 (0) 1793 444000. Internet http:/www.epsrc.ac.ukINDIVIDUAL GRANT REVIEW FORMGrant Reference Organisation GR/R12831
Allan Hancock College - HBAB - 2002313
Passed by both Houses New South WalesHome Building Amendment (Insurance)Bill 2002Contents
East Los Angeles College - PX - 437
Outline1. Before Exoplanets 1. Detecting exoplanets1. Direct imaging 2. Reflex Motion of Star 1. Transiting exoplanets1. Planet Formation 1. Extra-Terrestial LifePX437 EXOPLANETSPlanetary transitsSherwood observatoryPX437 EXOPLANETSFirs
East Los Angeles College - PX - 431
PX431 Structure and Dynamics of SolidsPART 2:Defects and DisorderDiane Holland P160 d.holland@warwick.ac.uk2. Defects and disorder (10L) crystal defects point, line and planar defects; dislocations and mechanical behaviour point defects and
East Los Angeles College - PX - 424
Groups Group 1 BACKHOUSE Daniel (SPB) BARNES David J (VMN) BECKETT Peter (SMD) BEECROFT Paul D (JR) BENTON Owen J (GB) BROWN Luke A (TJG) Group 2 BENTON Jack B (SMD) BULLOCK James R (MGD) CARTER Philip J (VMN) CHERRY Peter J (MEN) CONWAY Ulric (JS) C
East Los Angeles College - PX - 389
PX389 Cosmology Problems 3 1. Consider (for sake of realism!) a universe where Friedmann's first equation is dominated by cold matter and dark energy alone, &amp; 2 8 G m 8 G S + . = S 3 3 (a) Explain how the respective mass densities expected to d
East Los Angeles College - PX - 272
coupled OceanAtmosphere General/Global Circulation Models~100km horizontal res'n; Finer (~2) for ocean than atmosphere. ~20 layers atmosphere; ~20 layers ocean. Geography inevitably coarse. &quot;Regionalisation&quot;: redo simulation of one region only (e.g.
East Los Angeles College - WEEK - 272
coupled OceanAtmosphere General/Global Circulation Models~100km horizontal res'n; Finer (~2) for ocean than atmosphere. ~20 layers atmosphere; ~20 layers ocean. Geography inevitably coarse. &quot;Regionalisation&quot;: redo simulation of one region only (e.g.
East Los Angeles College - PX - 272
PX272 revision summaryMain topics: THE UNIVERSITY OF WARWICKSecond Year Examinations: Summer 2006 Evidence of Warming Physics Paper 7 GLOBAL WARMINGAtmospheric Greenhouse effect Key figures: Forcing and Feedbacks Answer TWO questions. Scenarios a
East Los Angeles College - WEEK - 272
PX272 revision summaryMain topics: THE UNIVERSITY OF WARWICKSecond Year Examinations: Summer 2006 Evidence of Warming Physics Paper 7 GLOBAL WARMINGAtmospheric Greenhouse effect Key figures: Forcing and Feedbacks Answer TWO questions. Scenarios a
East Los Angeles College - PX - 388
1(C) The Bloch EquationsC_I Classical Physics: Precession of Transverse Magnetisation What does classical physics tell us about the behaviour of a magnetic moment in a magnetic field? = S dS /dt = [A3] [C1] = B d /dt =[C2] [C3]For a gene
East Los Angeles College - HANDOUTS - 388
1(C) The Bloch EquationsC_I Classical Physics: Precession of Transverse Magnetisation What does classical physics tell us about the behaviour of a magnetic moment in a magnetic field? = S dS /dt = [A3] [C1] = B d /dt =[C2] [C3]For a gene
East Los Angeles College - PX - 389
PX311 Relativistic Cosmology Problems 3 1. Estimate the Schwarzschild Radius for a mass equal to that of the sun, and compare your answer to the actual radius of the sun. 30 8 Input data: M s = 2.0 0 kg and Rs = 7.0 10 m . 2. [This question is fidd
East Los Angeles College - PH - 130
Meaning and CommunicationGuy Longworth g.longworth@mac.comMeaning and Communication Book for this course: Paul Grice Studies in the Way of Words Please buy itMeaning and Communication Reading for this lecture: Chapter 1 &quot;Prolegomena&quot;Meanin
East Los Angeles College - PH - 130
Meaning and CommunicationGuy Longworth g.longworth@mac.comMeaning and Communication Reading for this time: P. Grice, &quot;Meaning&quot;, chapter 14 of Studies in the Way of Words.RecapWe can use language in order to communicate things. Grice points to
Allan Hancock College - ESIPO - 8220022002
The legislation that is being viewed is valid for Sessional. Electricity Supply Industry Pricing Order 2002 (S.R. 2002, No. 143)- CONTENTS Electricity Supply Industry Pricing Order 200
East Los Angeles College - PH - 121
Issues in PhilosophyGuy Longworth g.longworth@mac.comQuine, the analytic and the synthetic1. Some historical background 1. Quine's argument1.Quine's positive proposal1.Grice and Strawson's responseQuine, the analytic and the syntheticB
Allan Hancock College - ESICAR - 20072007
The legislation that is being viewed is valid for Sessional. Electricity Supply Industry (Price Control) Amendment Regulations 2007 (S.R. 2007, No. 87)-- CONTENTS
East Los Angeles College - PH - 121
the fabric of the worldIf x is part of the fabric of the world x characterisable independently of us = characterisable independently of effects on us but, Values are intrinsically action-guiding so, Values cannot be part of the fabric of the world.
East Los Angeles College - PH - 250
Philosophy of Mind II Course Handbook: Spring 2008Lecturer: Matthew Soteriou Email: m.j.soteriou@warwick.ac.uk Time and Place There will be one lecture a week: Thursday 2-3pm (S0.09) In addition, there will be one seminar a week (starting week 2): T
East Los Angeles College - PH - 318
Business Ethics PH318 Lecture 4 Introduction In our discussion of ethical theory so far there has been an assumption that we are dealing with individuals. The theories each have their own notion of what it is to be a person to whom the theories apply
East Los Angeles College - PH - 318
Business Ethics PH318 Lecture Three Naturalism Aristotle Hume Utilitarianism (but not all Consequentialism Anti-naturalism Plato Kant Rawls and Contractualism&lt;-&gt; Free Market Theory Introduction If we start with the same picture that we used last we
East Los Angeles College - PH - 318
Business Ethics PH318 Lecture 7 Discrimination Introduction Discrimination in general is about being able to identify or isolate certain characteristics. We talk about the ability to discriminate colour or pitch, or about people being discriminating
East Los Angeles College - PH - 331
For Week 8 discussions on Tuesday 18th: Does public choice represent a successful invasion by economists into the discipline of economics? Has this been good or bad for either discipline?Think about this for the second hour of discussion. Has `homo
Neumont - EN - 1966
Supreme Court of Canada City of Saint John v. Irving Oil Co. Ltd., [1966] S.C.R. 581 Date: 1966-06-28 The City of Saint John Appellant; and Irving Oil Company Limited Respondent.1966: May 30, 31; 1966: June 28. Present: Abbott, Martland, Judson, Rit
Neumont - CSC - 1966
Supreme Court of Canada City of Saint John v. Irving Oil Co. Ltd., [1966] S.C.R. 581 Date: 1966-06-28 The City of Saint John Appellant; and Irving Oil Company Limited Respondent.1966: May 30, 31; 1966: June 28. Present: Abbott, Martland, Judson, Rit
W. Alabama - CS - 856
CSCF / Jason Testart have set up a small labfor people to use for this course (and only for this course).Thanks very much to Jason and to CSCF for setting this up.It can be used for development and testing for your assignmentbut is also intende
East Los Angeles College - PH - 304
PH304: Textual Studies 2008-2009 Seminar Outline Terms 1 and 2 Mon 16-18:00 H3.03 Wed 11-12:00 R2.41 Term 1 Plato Phaedrus Augustine Confessions Goethe Faust I &amp; II Term 2 Kierkegaard Either / Or O'Connor Collected StoriesFrom a conceptual point of
East Los Angeles College - PROJECTS - 200708
A metabolic cause for osteoarthritis in obese patients?Supervisor: Dr Philip McTernanDavid Metcalfe Warwick Medical School, University of Warwick, CV4 7ALThis work was supported by the Undergraduate Research Scholarship Scheme1. Introduction
East Los Angeles College - PROJECTS - 200708
Investigating the local environment of calcium in biological systems: synthesis and characterisation of two model compounds by solid state NMR Natalie Ellis andDanielle LaurencinDepartment of physics, University of Warwick, Coventry In this projec
W. Alabama - CS - 798
Extraction of Axis OpenBT Bluetooth StackCS 798 Software Architecture Ryan Bannon Alvin Chin Faryaaz Kassam Andrew Roszko http:/www.swen.uwaterloo.ca/~mrbannon/cs798 1 Motivation What is Bluetooth? Conceptual Architecture Concrete Archi
W. Alabama - ECE - 454
CORBA Example Overview This tutorial covers how to build the classic &quot;Hello World&quot; program as a distributed application with a single operation that returns a string to be printed.1. 2. 3. 4. 5. The client application invokes the sayHello() operati
W. Alabama - ECE - 454
Remote Procedure Call RPC implements a logical client-to-server communications system designed specifically for the support of network applications. RPC allows network applications to use specialized kinds of procedure calls designed to hide the
W. Alabama - ECE - 454
Servlet &quot;Binder&quot; (1)import java.io.*; import javax.servlet.*; import javax.servlet.http.*; import java.util.*; import java.net.*; public class Binder extends HttpServlet { public String getServletInfo() { return &quot;A simple servlet&quot;; } public void doG
East Los Angeles College - BS - 918
Introduction to Microarray Data AnalysisReferences for microarray analysis: 1. 1. 1. Leung and Cavalieri. 2003. Fundamentals of cDNA microarray data analysis. Trends in Genetics 19: 649-659 Hegde et al. (2000) A concise guide to cDNA microarray ana
W. Alabama - ECE - 355
Process MeNtOR 3.o Uni-SEPProcess MeNtOR 3Version: Print Date: Release Date: Release State: Approval State: Approved by: Prepared by: Reviewed by: Path Name: File Name:1.0 10/4/2005 10:06:00 PM Initial/Core/Final Draft/Approved6e0d1cc92b9efb5
W. Alabama - ECE - 453
Process MeNtOR 3.o Uni- SEPProcess MeNtOR 3Version: Print Date: Release Date: Release State: Approval State: Approved by: Prepared by: Reviewed by: Path Name: File Name:1.0 11/1/2005 08:54:00 AM Initial/Core/Final Draft/Approved0a004385f7bce9
W. Alabama - ECE - 355
University of WaterlooMidterm Examination E&amp;CE 355 Software Engineering (Sample Solutions) 26/10/2005Instructor Kostas KontogiannisThis exam has four questions, and is marked out of 110. The examination is 90 minutes long. This is a closed book
W. Alabama - ECE - 250
regionmatches int string int int tests if two string regions are equalreplace char char returns a new string resulting from replacing alloccurrences of oldChar in this string with newChar tin nitoptpottoppotsstopspottops
W. Alabama - ECE - 250
CASE 1=File Path: /u/kostas/COURSES/ECE250/PROJECT3File Name: input-p3-1.txtNumber of vowels : 150Number of consonents: 88Same words found: the : 20 times a : 60 times for : 20 times In : 10 times in : 30 timesCASE 2=
W. Alabama - ECE - 454
Hi everyone,Please find below the chapters/sections you should be responsible for the ECE 454 midterm.Chapter 1 Sections 1.1 - 1.5 Points of emphasis: Definitions/Challenges of Distributed Systems, (section 1.4)Chapter 2 Sections 2.
W. Alabama - ECE - 250
err errs et or ore ret rets rest rest rest rest rests roe roes rot roterotes rots thisIsaverylongworddesignedtobreakyourcode tee tees test teststo toe toes tore tort tot tots tress trot trots set sets so sorts sore sortsot sots store
W. Alabama - ECE - 250
some thoughts on plato's workthe publication in mr. bohn's serial library of the excellent translations of plato which we esteem one of the chief benefits the cheap press has yielded gives us an occasion to take hasti
W. Alabama - ECE - 355
ECE 355 Design Patterns Tutorial Part 2(based on slides by Ali Razavi)Presented by Igor Ivkoviiivkovic@swen.uwaterloo.caAgenda Design Patterns Abstract Factory o Singleton o Faade o Observer o Strategy o Summary and References2Abstract Fa
W. Alabama - ECE - 355
ECE 355: Software EngineeringTraditional Analysis and Modeling Approaches Lectures notes by Instructor: Krzysztof Czarnecki1Three main views of the traditional approach (Structured Analysis) Process/functional view: Data flow diagrams Data str
East Los Angeles College - BS - 914
ReviewThe PaperBacterial Gene Regulation in Diauxic and Non-Diauxic GrowthAtul Narang, Sergei S. Pilyugin, Journal of Theoretical Biology (2006), doi:10.1016/j.jtbi.2006.08.007OverviewBacteria grown in a batch culture with two growth limiting f
W. Alabama - ECE - 355
ECE 355: Software Engineering CHAPTER 2Unit 4 (Part 1)Presentation material based on past ECE 355 notes by Prof. K. Czarneszki.1Course outline Unit 1: Software Engineering Basics Unit 2: Process Models and Software Life Cycles Unit 3: Softw
W. Alabama - PSCI - 331
Ethics in the Public Service (Cont'd)November 21st, 2006Public Service Ethics importance of the public service ethicsregime ethics and the context of the Sponsorship Scandal ethics and the Gomery RecommendationsEthics and the Context of the
W. Alabama - PSCI - 102
Post-Secondary Education in Canada and the United StatesMarch 4, 2002National Stereotypes Canada and the United States &quot;Canada.is a more class-aware, elitist, law-abiding, statist, collectivity-oriented, and particularistic (group-oriented) so
W. Alabama - AFM - 372
CHAPTER 20: RAISING CAPITAL-EQUITYTopics: 20.1 20.7 20.2-20.5 20.6 Background Venture Capital Initial Public Offerings Rights Offerings1Background The procedures for selling debt and equity securities are basically the same-we will focus o
W. Alabama - AFM - 372
CHAPTER 14: CORPORATE FINANCING DECISIONS AND MARKET EFFICIENCYTopics: 14.1 Differences between investment and financing decisions 14.2 What is market efficiency? 14.3 Types of market efficiency 14.4, 14.6 Empirical evidence 14.8 Implications
East Los Angeles College - EN - 263
LANARK: READING NOTES Each section suggests a theme; each has a preamble, (usually) examples, and questions; none of these are exhaustive Page refs to Canongate Classics edition Doubling One of the reasons Lanark was so rapidly taken up was that it c
W. Alabama - AFM - 372
Chapter 31: Financial Distress 31.3 Financial distress frequently can serve as firm's &quot;early warning&quot; sign for trouble. Thus, it can be beneficial since it may bring about new organizational forms and new operating strategies. 31.5 There are many pos
W. Alabama - AFM - 372
Put-call parity example 2 Several years ago, the Australian firm Bond Corporation sold some land that it owned near Rome for \$110 million and as a result boosted its reported earnings for that year by \$74 million. The next year it was revealed that
W. Alabama - AFM - 372
2. Retractable bonds allow the investor to redeem the bond at par or allow the bond to remain outstanding until maturity. a. These bonds are called puttable bonds, why? b. What is the underlying asset? What is the exercise price? c. When will the opt
W. Alabama - CHEM - 323
MAN vs. MACHI NENeurochips a new way of I ntegrationUniversity of Waterloo - Analytical Instrumentation Chem 323 Dr.KaranassiosAnnie RaditsisThe Problembuilding an interface that combines biology and technologyPROs Operates electrically, s
W. Alabama - CHEM - 323
What is Magnetic Resonance Imaging and How Does it Work ?By Aneta ChmielewskiWhat is MRI ? Magneticresonance imaging (MRI) is an imaging technique used primarily in medical settings to produce high quality images of the inside of the human bod
Neumont - EN - 1967
Supreme Court of Canada Steinberg's Limite v. Comit Paritaire de l'alimentation au dtail, Rgion de Montral et al., [1968] S.C.R. 163 Date: 1967-12-18 Steinberg's Limite Applicant; and Comit Paritaire De L'alimentation Au Dtail, Rgion De Montral Respo
Neumont - CSC - 1967
Supreme Court of Canada Steinberg's Limite v. Comit Paritaire de l'alimentation au dtail, Rgion de Montral et al., [1968] S.C.R. 163 Date: 1967-12-18 Steinberg's Limite Applicant; and Comit Paritaire De L'alimentation Au Dtail, Rgion De Montral Respo
W. Alabama - CS - 746
Part 5. Permission Rules for TwoLevel SystemsControlling access (visibility or scope) of static references. Analogous to &quot;private&quot; in C/C+/Java. 1TwoLevel Systems (Overview)Two levels (not counting root) &quot;Modules&quot; contain resources