1. تمام اسب ها همرنگ هستند! Basis: h = 1 We have only one horse. Clearly all horses in the set are the same color. Inductive hypothesis: In any set of up to h horses all the horses have the same color. Inductive step: Consider a set of h + 1 horses. Discard one horse; by the induction hypothesis all the remaining horses have the same color. Put that horse back and discard a different horse; again all the remaining horses have the same color. So all the horses have the same color as the ones that were not discarded either time and so they all have the same color.

2. یک رابطه تهی روی یک مجموعه ناتهی چه خصوصیاتی از خواص رابطه هم ارزی را دارد؟

3. آیا می توان تناظر یک به یک برقرار کرد؟ نقاط یک نیم دایره و یک خط راست نقاط هر دو پاره خط دلخواه مجموعه اعداد حقیقی بین 0 و 1 و مجموعه اعداد حقیقی مجموعه اعداد حقیقی بین 0 و 1 و مجموعه اعداد حقیقی مثبت

4. شمارش پذیری

6. سلسله مراتب Chomsky

7. گرامرها Design a grammar that generates the set of all strings over alphabet {a, b} that are not palindromes. Design a context free grammar for the following language:

8. گرامرها برای هر یک از زبان های زیر یک گرامر بنویسید: برای مکمل زبان زیر یک گرامر مستقل از متن بنویسید.

9. عبارات منظم عبارت زیر را به ساده ترین شکل ممکن بنویسید: ({a,aaaa}{aa,aaaaa} )*

11. آیا جهت وارد شدن ورودی مؤثر است؟

12. عبارت منظم متناظر با C 3 چیست؟

13. تبدیل DFA به عبارت منظم متناظر q0q0 q2q2 q1q1 1 0 0 1 1 0

14. q0q0 q2q2 q1q1 1 0 0 1 1 0 q3q3 ε

15. q0q0 q1q1 1 1 01*00 q3q3 ε

16. تبدیل DFA به عبارت منظم متناظر q0q0 q1q1 1 1 01*00 q3q3 ε

17. تبدیل DFA به عبارت منظم متناظر q0q0 0 q3q3 ε 1(01*0)*1

18. تبدیل DFA به عبارت منظم متناظر q0q0 0 q3q3 ε 1(01*0)*1

19. تبدیل DFA به عبارت منظم متناظر q0q0 0 q3q3 ε 0 U 1(01*0)*1

20. تبدیل DFA به عبارت منظم متناظر (0 U 1(01*0)*1)*

21. مثال Consider the following DFA over {0, 1}: Q = {p, q, r, s}, start state p, accepting state p. With the following transition table: d (p,0) = s, d (p,1) = p d (q,0) = p, d (q,1) = s d (r,0) = r, d (r,1) = q d (s,0) = q, d (s,1) = r Write the regular expression recognized by this DFA.

22. اثبات منظم بودن – روش constructive Let L be a regular language. Show that the following languages are also regular: L1 = {v | vw  L}, (L1 is the set of all prefixes of the strings in L.) L2 = {v | uv  L} (L2 is the set of all suffixes of the strings in L.)

23. A: alphabet S, start state q 0, a single accepting state q f, transition function d that is such that for all symbols a in S, d (q 0, a) = d (q f, a). Show that if x is a nonempty string in L(A), then xx, xxx,... x k is also in L (A). ماشین های حالت متناهی

24. Give DFAs for the following languages: The set of all binary strings which do not have 010 as a substring The complement of {1,10}* آیا این عبارت درست است : تنها یک زبان متناهی وجود دارد که توسط یک ماشین حالت متناهی با یک حالت پذیرفته می شود. ماشین های حالت متناهی

26. Minimal-size DFA Show that there is a DFA over {0, 1} with n+1 states that recognizes the language (1 n )*. Show that there does not exist a smaller DFA for this language. (smaller = fewer states).

27. درست یا نادرست؟ If L is a nonregular language and M is a regular language then their concatenation LM is not regular. All finite languages L are regular.

28. اثبات نامنظم بودن – برهان خلف {a i | i is a prime number} { 0 i 1 j | i > j } The set of words that contain twice as many 0’s as 1’s.

29. تمرین