Académique Documents
Professionnel Documents
Culture Documents
Phillips
CMSC 303 | Spring 2016
Lecture 9
Proof Examples
[This definition means that the string must be symmetrical, example strings for F could be: 0101 or
001001 or 101101. The string before and string after the middle point must be the same as each
other 1010 | 1010 ]
Example 1.76
Given: Some language D = {1n^2 | n 0}
[A string of 1s where the total number of 1s is a perfect square. n^2 here means n to the power of 2]
Example 1.77
Given: Some language E = {0i1j | i > j }
[Double check the book on these examples. We were walking through the examples in class and went down many
possible proof paths. I may have typed these incorrectly or mixed up a few possible solutions. It was an in-class
example day and we did not cover any new topics]