2 Pages

prac_sol

Course: PERSONAL 303, Fall 2009
School: Michigan
Rating:
 
 
 
 
 

Word Count: 399

Document Preview

Midterm Practice Solutions Posted Feb. 16 2005 1. a) xxax b) abxx 2. a) Base case: 0 25 = 0 Recursion clause: (x + 1) 25 = x 25 + 25 This one line () is a complete answer to the question. b) The induction goes most smoothly if you do it on the number of concatenations of elements of {aa} that form the given member of {aa} . Base case: The number of concatenations is 0, then x is the empty string. On the empty...

Register Now

Unformatted Document Excerpt

Coursehero >> Michigan >> Michigan >> PERSONAL 303

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.
Midterm Practice Solutions Posted Feb. 16 2005 1. a) xxax b) abxx 2. a) Base case: 0 25 = 0 Recursion clause: (x + 1) 25 = x 25 + 25 This one line () is a complete answer to the question. b) The induction goes most smoothly if you do it on the number of concatenations of elements of {aa} that form the given member of {aa} . Base case: The number of concatenations is 0, then x is the empty string. On the empty string, F1 remains in q0 , which is not a final state of F1 . Induction step: Induction assumption:Say that every string x in {aa} that is formed by n or fewer concatenations of elements of aa is not accepted by F1 . Say that x is formed by the concatenation of n+1 instances of aa. Since 0 < n + 1, there must be strings y {aa} and y = aa, such that x = y y . Since y is formed with n concatenations of aa, it is not accepted by F1 , by the induction assumption. If y is the empty string, then x = aa. F1 enters q1 upon reading a, and then enters q2 upon reading the final a. q2 is not a final state of F1 , so the computation is unsuccessful. y If is not the empty string, then F1 leaves q0 when it reads the first a and there is no transition that can bring it back to q0 . q1 is a final state, and since y is not accepted by F1 , F1 must finish reading y in q2 . Now F1 has only y = aa to read. Since F1 begins reading aa in q2 , it will begin by reading a and moving into q1 , and then reading a again and moving into q2 , terminating in q2 , which is not a final state. So x is not accepted by F1 . This completes the inductive step, and hence the proof. 3. { q0 , a, q1 , q1 , a, q2 , q2, a, q1 } are the transitions, q0 , q1 and q2 are the states, with q0 and q1 th...

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:

University of Illinois, Urbana Champaign - CS - 475
Give a counterexample to show that the following construction fails to prove the class of context-free languages is closed under star: Let A be a CFL that is generated by the CFG G = (V, , R, S). Add the new rule S SS and call the resulting grammar
University of Illinois, Urbana Champaign - CS - 475
CS 475Homework 4 (due 04/23/09 in class)Spring 2009CS 475:Formal Models of Computation Homework 41. [10 points] Consider a variant of a PDA, called a queue-machine, which is an NFA with a queue instead of a stack. A queue is a data structure w
Virginia Tech - USA - 1928
Cannon: Our Appeal Against Expulsion [Dec. 1928]1Our Appeal Against Expulsion from the Communist Party.Speech Delivered at a Plenum of the Central Executive Committee, Dec. 17, 1928. by James P. CannonFirst published in The Militant, January 1,
Michigan - ECE - 460
Solution To Quiz 8 Given the system with G(s) H(s) = K (s-8) (s-11) -(s+5) (s+10)Open loop poles at 5, -10 Open loop zeros at +8, +11 The rules (as shown on your sheet) say: Rule 1 There are 2 branches (since there are 2 poles and 2 zeros) Rule 2
UH Clear Lake - CSCI - 3033
Figure 9-3Figure 9-5Figure 9-11Figure 9-19Figure 9-21Figure 8-6Figure 8-7Figure 10-1Figure 10-2Figure 10-3Figure 10-7
Berkeley - ASTRO - 00173904
Source Contamination: 0.00E+00 +/- 0.0E+00 cts/s
Michigan - UNIT - 605
CHANG, Deb Task 3a: Assessment-based School Reform DiscussionArticles I found: http:/www.pbs.org/wgbh/pages/frontline/shows/schools/testing/theme.html was very interesting to me because it provided perspective from the teachers, principals and su
Virgin Islands - MECH - 141
Engineering Fundamentals I: Lecture #12 6.6 Frames &amp; Machines. Frames and machines are two common types of structures that have at least one multiforce member. Recall that trusses have nothing but two-force members. Frames: stationary structures
Michigan - UNIT - 662
TRENDSAppreciative Inquiry at 20: Questioning David CooperriderProof is in the positive.Cooperrider: Organizations are centers ofhuman relationships, and thus are linked to an infinite array of strengths. I was greatly influenced by the work of
University of Illinois, Urbana Champaign - ECE - 598
ECE 598JS Section JS Time 12:30SPRING 2009 Room 245 ELInstructor J. Schutt-AineTextbook W. Dally and J. Poulton, Digital Systems Engineering, Cambridge University Press, 1998. Grading Policy Homework Project Participation40% of total 40% of t
Berkeley - ASTRO - 00173904
Spectra Extracted from tstart=39.500 tstop=117.500(Trigger Time, GPS=819230613.000000, Redshift, z=0.0)Power-Law Model FitNorm@15keV 8.3017e-03 (6.2059e-03 1.0714e-02)alpha -1.4174 (-1.6252 -1.2099)Energy Fluence (15-350 keV) 2.1098e-06 (1.854
Berkeley - ASTRO - 00173904
#file=swbz_15-350lc.txt dt=0.47 tstart=39.500 tstop=117.500#t90 dt90 t50 dt50 rt90 drt90 rt50 drt50 rt45 drt45 tav dtav tmax dtmax trise dtrise tfall dtfall cts cts_err pk_rate dpk_rate band 66.270 6.726 27.730 5.730 21.150
Virgin Islands - MECH - 410
8. An Introduction to Pro/MANUFACTURING(for Release 2001) This tutorial is prepared for the technical elective and graduate course MECH410/520 ComputerAided Design, as an extension to the Tutorials to Pro/ENGINEER CAD/CAE/CAM System. A brief introdu
University of Illinois, Urbana Champaign - CS - 591
&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;b3405a6dc1b9577a0e60a485f3869a3eb6b1df96.ppt&lt;/Key&gt;&lt;RequestId&gt;2 48748E302FBBA59&lt;/RequestId&gt;&lt;HostId&gt;vBO1RyT9LcS4hGM3Q4BivlBlbRx
St. Francis IL - INFO - 465
&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;d1142d3e84c3abbd95bd7109b0467c05198e8d4a.doc&lt;/Key&gt;&lt;RequestId&gt;F 5E54ADB0E653608&lt;/RequestId&gt;&lt;HostId&gt;OXnBylKV3+f/YsL1tL2wCf68FM0
University of Illinois, Urbana Champaign - GE - 423
Application ReportSLAA302 May 2006Ultra-Low-Power 27-MHz Wireless Mouse Reference DesignRandy Wu. AEC MSP430 ProductsABSTRACT The Texas Instruments (TI) MSP430 is a family of microcontrollers typically used in many high-performance low-power
University of Illinois, Urbana Champaign - GE - 423
Application ReportSLAA202A June 2007Implementing IrDA With The MSP430Melisa Nunez-Arzuaga and Andreas Dannenberg ABSTRACT The development of wireless communications has occurred rapidly throughout the past decade. One of the standards used is th
University of Illinois, Urbana Champaign - GE - 423
Application ReportSLAA287 December 2005Li-Ion Battery Charger solution using the MSP430Harman Grewal. MSP430 ProductsABSTRACT Rechargeable batteries are now widely used as the power supply source in many portable electronic equipments such as
University of Illinois, Urbana Champaign - GE - 423
Application ReportSLLA175 October 2005Ultra-Low Power TV IR Remote Control TransmitterNeal Brenner . AEC MSP430 ProductsABSTRACT This application report describes how to create a low cost and low power IR remote control featuring the new MSP43
University of Illinois, Urbana Champaign - GE - 320
SIMULINK simulation 1) Load MATLAB 2) Load Simulink by typing &quot;simulink&quot; on MATLAB's prompt 3) Create a new model by going to File-&gt;New-&gt;Model (This will be done on the Simulink Library Browser window) 4) To set the simulation time go to Simulation-&gt;
University of Illinois, Urbana Champaign - CONF - 1985
The Uncertainty of Key Behavioral Parameters and Implications for Commodity Analysis by William H. MeyersSuggested citation format: Meyers, W. H. 1985. &quot;The Uncertainty of Key Behavioral Parameters and Implications for Commodity Analysis.&quot; Proceedi
San Diego State - DESIGN - 344
GNU GENERAL PUBLIC LICENSE Version 2, June 1991 Copyright (C) 1989, 1991 Free Software Foundation, Inc. 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA Everyone is permitted to copy and distribute verbatim copies of th
Minnesota - ASCHE - 056
Virgin Islands - MECH - 420
.An Outline of MSA HistoryHH1Appendix H: AN OUTLINE OF MSA HISTORYH2A Historical Outline of Matrix Structural Analysis: A Play in Three ActsC. A. Felippa Department of Aerospace Engineering Sciences and Center for Aerospace Structures Un
Virgin Islands - MECH - 141
Virgin Islands - MECH - 420
Lecture 8: Assembly of beam elements.4.2 Example of Assemblage of Beam Stiffness Matrices. Place nodes at the load application points.Assembling the two sets of element equations (note the common elemental coordinate system).MECH 420: Finite Ele
Washington University in St. Louis - MEXMRS - 0423
=Upfront Notes= This &quot;aareadme.txt&quot; file contains the description of the naming convention that will be used for all MEX kernels. One part of them will be directly produced by an automated system located at ESTEC,PST. Consequently, we c
Washington University in St. Louis - MEXMRS - 0423
=MEX CK Files= Last update: 22 NOV 2005 This &quot;aareadme.txt&quot; file describes the contents of the KERNELS/CK directory of the MEX SPICE data server. It also provides the file naming conventions used for the MEX CK files, and it provide
Washington University in St. Louis - MEXMRS - 0423
=MEX FK Files= Last Update: 12 MAY 2006 This &quot;aareadme.txt&quot; file describes the contents of the KERNELS/FK directory of the MEX SPICE data server. It also provides the file naming conventions used for the MEX FK kernels, and it provides id
Washington University in St. Louis - MEXMRS - 0423
=MEX LSK Files= Last update: 08 AUG 2005 This &quot;aareadme.txt&quot; file describes the contents of the KERNELS/LSK directory. It also provides the file naming conventions used for the MEX LSK kernels, and it provides identification of t
Washington University in St. Louis - MEXMRS - 0423
=MEX PCK Files= Last Update: 12 MAY 2006 This &quot;aareadme.txt&quot; file describes the contents of the KERNELS/PCK directory of the MEX SPICE data server. It also provides the file naming conventions used for the MEX PCK kernels, and it provides
Washington University in St. Louis - MEXMRS - 0423
=MEX SPK Files= Last update: 30 MAY 2006 This &quot;aareadme.txt&quot; file describes the contents of the KERNELS/SPK directory of the MEX SPICE data server. It also provides the file naming conventions used for the MEX SPK kernels, and it pr
Washington University in St. Louis - MEXMRS - 0423
=MEX SCLK Files= Last update: 22 MAR 2004 This &quot;aareadme.txt&quot; file describes the contents of the KERNELS/SCLK directory of the MEX SPICE data server. It also provides the file naming conventions used for the MEX SCLK kernels, and it
Washington University in St. Louis - MEXMRS - 0423
=MEX Orbit Number Files= Last update: 11 MAY 2006 This &quot;aareadme.txt&quot; file describes the contents of the KERNELS/ORBNUM directory of the MEX SPICE data server. It also provides the file naming conventions used for the MEX Orbit Numbe
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk1.dvi %Pages: 4 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMSY10 CMEX10 CMR8 CMMI8 CMMI6 %+ CMTI10 CMSY8 %EndComments %DVIPS
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk1.dvi %Pages: 5 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMSY10 CMMI8 CMEX10 CMR8 CMMI6 %+ CMTI10 CMSY8 %EndComments %DVIPS
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk2.dvi %Pages: 2 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMSY10 CMMI10 CMMI8 CMR8 CMMI6 CMSY8 %+ CMEX10 %EndComments %DVIPSWebPage
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk2.dvi %Pages: 13 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMSY8 CMMI8 CMSY10 CMR8 CMEX10 %+ CMMI6 CMR6 CMTT10 Helvetica %En
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk3.dvi %Pages: 1 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMSY8 CMMI8 CMR8 CMSY10 CMSY6 %EndComments %DVIPSWebPage: (www.rad
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk3.dvi %Pages: 3 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMSY8 CMMI8 CMR8 CMSY10 CMMI6 CMSY6 %+ CMEX10 CMTI10 MSAM10 %EndCo
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk4.dvi %Pages: 2 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMSY10 CMMI10 CMR8 CMEX10 CMMI8 CMSY8 %EndComments %DVIPSWebPage: (www.ra
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk4.dvi %Pages: 7 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMR8 CMMI8 CMSY8 CMEX10 CMSY10 %EndComments %DVIPSWebPage: (www.ra
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk5.dvi %Pages: 1 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMSY10 CMMI8 CMEX10 CMR8 CMSY8 %EndComments %DVIPSWebPage: (www.ra
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk5.dvi %Pages: 4 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMSY10 CMMI8 CMSY8 CMEX10 CMR8 CMR6 %+ CMMI6 CMTI10 %EndComments %
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk6.dvi %Pages: 1 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMR8 CMMI8 CMSY10 CMEX10 CMSY8 %EndComments %DVIPSWebPage: (www.ra
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk6.dvi %Pages: 8 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMR8 CMMI8 CMSY10 CMEX10 CMSY8 %+ CMTI10 CMTT10 %EndComments %DVIP
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk7.dvi %Pages: 1 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 %EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk7.dvi %Pages: 2 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMTI10 CMMI10 CMR8 CMMI8 CMSY10 CMEX10 %+ CMSY8 %EndComments %DVIPSWebPag
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk8.dvi %Pages: 1 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMSY8 CMSY10 CMMI8 CMR8 %EndComments %DVIPSWebPage: (www.radicaley
Berkeley - MATH - 128
&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;32c0df47dc7817c1a04a3afb51441094538b7eaa.ps&lt;/Key&gt;&lt;RequestId&gt;4C A8E7AFA8CA8C47&lt;/RequestId&gt;&lt;HostId&gt;n8hUY6iiYNVxmTX68i5npAMJj7I8
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk9.dvi %Pages: 2 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMSY10 CMMI8 CMEX10 CMR8 CMSY8 %+ CMTI10 %EndComments %DVIPSWebPag
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: hmwk9.dvi %Pages: 3 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMSY10 CMMI8 CMEX10 CMR8 CMTI10 %+ CMR6 CMSY8 %EndComments %DVIPSW
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: prog1.dvi %Pages: 4 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMR8 CMTT10 CMSY10 CMEX10 CMMI8 %+ CMSY8 CMTI10 %EndComments %DVIP
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: prog1ANS.dvi %Pages: 6 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMSY10 CMMI10 CMR8 CMTI10 Helvetica %EndComments %DVIPSWebPage: (www.r
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: prog2.dvi %Pages: 6 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMMI10 CMMI8 CMTT10 CMSY10 CMR8 CMTI10 %+ CMSY8 %EndComments %DVIPSWebPag
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: prog2ANS.dvi %Pages: 17 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMSY10 CMMI10 CMR8 CMMI8 CMR6 CMSY8 CMTT10 %+ CMTI10 CMEX10 %EndComme
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: prog3.dvi %Pages: 3 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMTI10 CMTT10 CMSY10 CMSY8 CMR8 CMMI10 %EndComments %DVIPSWebPage: (www.r
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: prog3_easy.dvi %Pages: 2 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMTT10 CMSY10 CMSY8 CMR8 CMMI10 %EndComments %DVIPSWebPage: (www.rad
Berkeley - MATH - 128
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: prog3_easy_ANS.dvi %Pages: 4 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentFonts: CMBX10 CMR10 CMTT10 CMMI10 CMSY10 CMMI8 CMR8 CMSY8 %EndComments %DVIPSWebPage
University of Illinois, Urbana Champaign - PSYC - 490
Michigan - PERSONAL - 510
Overview of Data Management Tasks(command file=datamgt.sas)Make a copy of a SAS data set:You can use a set statement to make a copy of a data set. In the commands below, NEWMARCH is created by making an exact copy of MARCH (which we assume was cre