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

1 Page

### 1.2-3solution

Course: COMP 314, Spring 2008
School: Dickinson
Rating:

Word Count: 357

#### Document Preview

solution A to 1.2(3) by Dr. Gene Chase. January 31, 2008. Version 1.0 To prove: for all strings w , G*, (wR)R = w. Let's prove it by induction on the length n of the string w. (1) First, I see that the definition of reverse is given informally on p. 17. Here's a formal definition, which--as we should expect--requires recursion to prevent our needing to use &quot;...&quot; Definition: The reverse of b,...

Register Now

#### Unformatted Document Excerpt

Coursehero >> Pennsylvania >> Dickinson >> COMP 314

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.
solution A to 1.2(3) by Dr. Gene Chase. January 31, 2008. Version 1.0 To prove: for all strings w , G*, (wR)R = w. Let's prove it by induction on the length n of the string w. (1) First, I see that the definition of reverse is given informally on p. 17. Here's a formal definition, which--as we should expect--requires recursion to prevent our needing to use "..." Definition: The reverse of b, written bR is defined as follows: 1. If b = 8 then define bR = 8. 2. If b 8 then b can be written as xa where a is of length 1 and x may or may not be 8. In that case, define bR as axR. That is, as a concatenated with the reverse of x. OK, now we can proceed with the proof, the two parts of which will use closely the two parts of the definition of reverse. 1. Base case: n=0. If w has length 0, then w = 8. By definition of reverse, 8R = 8, (2) (8R)R = 8R by substituting from equation (2) in the left hand side to get the r.h.s. (3) R R So substituting from again (2), (8 ) =8, which is what we were to prove when w = 8. 2. Inductive assumption: Assume for all k # n that if w is of length k, then (wR)R = w. Now consider a string w of length n+1. If it's of length n+1, then it's of the form ua where u is of length n and a is of length 1: w = ua. (Compare carefully what your author did on line 7 of page 18!) (4) So the right hand side of equation (1) transforms as follows: (wR)R = ((ua)R)R = ((auR)R = ((uR)Ra) = ua =w Q.E.D. Notice that we were able to prove it without knowing what the specific alphabet G was. That's not to say that it's not important, only that I proved the theorem for all alphabets G. by substitutiion from equation (4) by the second clause of the definition of reverse again by the second clause of the definition of reverse, but this time the string uR is playing the role of x in the definition. Because the length of u is n, (uR)R = u by inductive assumption. by equation (4) again.
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:

Dickinson - COMP - 314
CS314 homework 3 solutions, January 31, 2008 Here are some suggested solutions to 1.3(3, 14). 3. Here's a possible grammar, G = &lt;N,T,&lt;double&gt;, P&gt;. Of course, N and T are implied by the set of productions without your having to state them explicitly.
Dickinson - COMP - 314
Dickinson College CS 314 / MA 314 Theoretical Foundations of Computer Science Syllabus, Spring 2008 Catalogue Description &quot;314 Theoretical Foundations of Computer Science An introduction to the theory of computation. Topics include formal language th
Middle Tennessee State University - BIOL - 4130
BIOLOGY 4130/5130 - HISTOLOGY 2008 STUDY GUIDE #4Material included: Ch 19 Ch 21 Ch 20 Ch 22 Ch 23 Respiratory System Endocrine organs Urinary System Male Reproductive System Female Reproductive SystemNote: 1.This is not an assignment, and this l
FSU - EML - 3234
EML3234: Introduction to Materials Science &amp; EngineeringProfessor Eric Hellstrom and TA Michael LoSchiavoCourse Objective.Introduce the fundamental concepts of Materials Science and EngineeringYou will learn about: material structure how stru
FSU - EML - 3234
Chapter 2Lecture on 01-10-08 Revised slides 6,7,14, and added new slides 10,13 after lecture on 01-10-08Chapter 2 - 1CHAPTER 2: BONDING AND PROPERTIESISSUES ADDRESSED. What promotes bonding? What types of bonds are there? What properties ar
FSU - EML - 3234
Chapter 3 1st lecture on 01-17-08Chapter 3 The Structure of Crystalline Solids (Metals) and a glance at Amorphous Solids Why study the structure? The properties determine the microstructure!Recent work and its follow on Ch. 2 was about bondi
FSU - EML - 3234
Chapter 4Lectures begin on Jan. 29, 08 Modified slides 19, 20 on Feb. 18, 20081Chapter 4 Imperfections in Solids What is a perfect solid?2What are imperfections and why study them? Why study imperfections? They are always present They gi
FSU - EML - 3234
Chapter 5 Diffusion (atomic jumping) Why study diffusion? Equilibrium state of materials changes with alloying state and with temperature Above about half the melting point (Tm measured in K not C), there is enough vibrational energy in the latti
FSU - EML - 3234
Chapter 6Lectures begin Feb. 26, 081Chapter 6: Mechanical PropertiesISSUES TO ADDRESS. Stress and strain: What are they and why are they used instead of load and deformation? Elastic behavior: Occurs for small loads. What materials deform lea
FSU - EML - 3234
Chapter 7Lectures begin on R Mar. 6, 2008Chapter 7 Dislocations and Strengthening Mechanisms2Dislocations (Dn) in different classes of materials Metals: Dn motion easier.-non-directional bonding -close-packed directions for slip. electron c
FSU - EML - 3234
Chapter 8 - FailureLectures begin Mar. 27 or Apr. 1, 081Chapter 8: FailureISSUES TO ADDRESS. How do flaws in a material initiate failure? How is fracture resistance quantified; how do different material classes compare? How do we estimate th
FSU - EML - 3234
Chapter 9 Phase DiagramsBegin lectures on Apr. 10, 081Chapter 9: Phase Diagrams Terminology P-T diagrams for pure materials Interpretation of Composition-T phase diagrams Simple binary phase diagrams Development of equilibrium microstructu
FSU - EML - 3234
4. Strategies to maximize score on exam Comments from students' exams. Study Practice problems Write out examples on cheat sheet Study beginning a week before the test. Only study about 15 min per day. Study homework problems using solution set Go to
Middle Tennessee State University - BIOL - 4130
BIOLOGY 4130: HISTOLOGY 2008 STUDY GUIDE #1Material in included: Chapter 2 Chapter 3 Chapter 4 Chapter 5 The Cell Cytoplasm The Cell Nucleus Tissues: Concept and Classification Epithelial TissuePlease Note: This is not an assignment, and this list
Middle Tennessee State University - BIOL - 4130
BIOLOGY 4130/5130 HISTOLOGY 2008: STUDY GUIDE #3Chapter 11: Chapter 13 Chapter 14 Chapter 15 Chapter 16 Chapter 17 Chapter 18 Note: 1. Muscle Tissue - pp. 280-317 Cardiovascular System - pp. 280-317 Lymphoid System - pp. 396-441 Integumentary System
Middle Tennessee State University - BIOL - 4130
BIOLOGY 4130/5130 - HISTOLOGY 2008 STUDY GUIDE #2Material included: Chapter 6: Chapter 9: Chapter 7: Chapter 8: Chapter 10: Chapter 12: Chapter 24 Chapter 25 Connective Tissue (pp. 146-181) Lab 2: Connective Tissue Adipose Tissue (pp. 238-246) Carti
Middle Tennessee State University - BIOL - 4130
BIOLOGY 4130/5130 HISTOLOGY 2008 Lab Notebook Drawing List 3 _ 1) Lip _ 2) Parotid gland _ 3) Submandibular gland _ 4) Sublingual gland _ 5) Tongue c.s. _ 6) Taste buds _ 7) Tooth in situ _ 8) Tooth - developing _ 9) Organs of the alimentary canal _
University of West Alabama - ECON - 201
Homework #1 1. Graph 1 describes the long term trends in labor productivity in US manufacturing. Both graphs have the same variable on the horizontal axes (x-axes). In Graph 1, its vertical axis (y-axis) represents the labor productivity (output per
University of West Alabama - ECON - 201
Homework #2 1. a. To a lay person, &quot;investment&quot; particularly means financial investment, and it is the same thing as saving. For example, one uses part of his/her income to buy financial assets, such as stocks, bonds and mutual funds, and hope to yie
University of West Alabama - ECON - 201
Homework #3 1. a. According to Table A, the price of apparel has fallen by 1.8 % since September of last year. The major reason is globalization and the competition of international trade. Increasing amount of apparel and textile are imported from fo
University of West Alabama - ECON - 201
Homework #4 1. Interest rate is pro-cyclical, and it moves the same direction as the aggregate level of economy. According to the textbook, there are several reasons why interest rates are procyclical. First, inflation affects the interest rates. Fro
University of West Alabama - ECON - 201
Homework #5 1. a. Discount window is an instrument of monetary policy that allows commercial banks to borrow money from the central bank (the Fed) at discount rate. It is usually the last resort for bank money shortage and prevents bank runs. b. Lowe
Bowling Green - BIO - 204
BIO 204 Review Sheet for Exam IV CHAPTER 22 Descent with modification: A Darwinian View of Life:Fecundity- Number of offspring. Evolution- A change in relative proportions of heritable variation over a succession of generations. Intraspecific- Comp
Bowling Green - BIO - 204
BIO 204 Review Sheet for Exam IV CHAPTER 25 - PHYLOGENY AND SYSTEMATICS Note: This sheet is not meant to be a comprehensive list of topics that could be found on the exam. Chapter 25 Phylogeny and Systematics: Who was initially responsible for the r
Bowling Green - BIO - 204
BIO 204 Review Sheet for Exam IV CHAPTER 24 The Origin of Species:Speciation- The origin of an entire new species. Can be divided into: o Anagenesis- The accumulation of changes associated with the transformation of a species. o Cladogenesis- The b
Bowling Green - BIO - 204
BIO 204 Review Sheet for Final Exam CHAPTER 25 PHYLOGENY AND SYSTEMATICS What two approaches do we take when addressing questions concerning relatedness and history?What are some road-blocks/difficulties in properly linking current and extinct spec
Bowling Green - BIO - 204
BIO 204 Review Sheet for Exam IV CHAPTER 32 Animal Evolution What are the major characteristics we use to distinguish between animals and other organisms o What tissues are unique (4 different types): Bone- includes cartilage tissue Fibrous Connec
Bowling Green - BIO - 204
BIO 204 Review Sheet for Exam III CHAPTER 30 Plant Diversity II Seed plant characteristics that have led to their success: o In Bryophytes the Gametophyte is large. o In Ferns the Gametophyte is small, but still visable. o In seed plants the Gametop
Bowling Green - BIO - 204
BIO 204 Review Sheet for Exam III CHAPTER 29 Plant Diversity 1 Charophyceans- Green algae that land plants evolved from. Land plants are terrestrial plants because they are land plants and inhabit deserts, grasslands, and forests. They evolved from
Bowling Green - BIO - 204
BIO 204 Review Sheet for Exam III CHAPTERS 28 EUKARYOTES The different nutritional routes utilized by eukaryotes- Most are heterotrophs, while some are autotrophs. While few are mixotrophs- they can do both(EX. euglena). Know characters that separate
Bowling Green - BIO - 204
BIO 204 Review Sheet for Exam III CHAPTER 31 - FUNGI What major ecosystem role do fungi play- Recycle nutrients, decompose matter, food production, some medicines. Fungi are heterotrophic. Fungi are more closely related to animals than plants. Be abl
Bowling Green - BIO - 204
BIO 204 Comprehensive Review Sheet for Final Exam Exam I (Chapters 1, 12, 13, and end of 14) Chapter 1 (Intro to Scientific Exploration): Know the steps involved in the scientific method. o Research Question(Observation) o Hypothesis with a Predictio
Columbia - MATH - V1101
Columbia - MATH - V1101
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Columbia - MATH - V1102
Clemson - ECE - 222
Fall 2007ECE 222 System Programming Concepts1 of 2Lab 7 SpreadsheetIn this lab, each student is to write a prompt-driven program called prog7.c that functions as a simple spreadsheet allowing the user to enter numbers, text, or functions into
Columbia - MATH - V1102