Guest User

Untitled

a guest
Oct 26th, 2026
13
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 7.99 KB | None | 0 0
  1. Let i = 1, j = 1.
  2.  
  3. Notice:
  4.  
  5. L_{1,1} ^1 = {x ∈ I* | x is defined by regex (0|1)*} because there is no intermediate state between s_1 and s_1.
  6. L_{1,1} ^2 = {x ∈ I* | x is defined by regex (0|1)*} because there is no intermediate state between s_1 and s_1.
  7. L_{1,1} ^3 = {x ∈ I* | x is defined by regex (0|1)*} because there is no intermediate state between s_1 and s_1.
  8. L_{1,1} ^4 = {x ∈ I* | x is defined by regex (0|1)*} because there is no intermediate state between s_1 and s_1.
  9.  
  10. Thus, L_{1,1} ^k = {x ∈ I* | x is defined by regex (0|1)*}.
  11.  
  12. Let i = 1, j = 2.
  13.  
  14. Notice:
  15.  
  16. L_{1,2} ^1 = {x ∈ I* | x is defined by regex (0|1)*0} because there is no intermediate state between s_1 and s_2.
  17. L_{1,2} ^2 = {x ∈ I* | x is defined by regex (0|1)*0} because there is no intermediate state between s_1 and s_2.
  18. L_{1,2} ^3 = {x ∈ I* | x is defined by regex (0|1)*0} because there is no intermediate state between s_1 and s_2.
  19. L_{1,2} ^4 = {x ∈ I* | x is defined by regex (0|1)*0} because there is no intermediate state between s_1 and s_2.
  20.  
  21. Thus, L_{1,2} ^k = {x ∈ I* | x is defined by regex (0|1)*0}.
  22.  
  23. Let i = 1, j = 3.
  24.  
  25. Notice:
  26.  
  27. L_{1,3} ^1 = ∅ because A goes from state s_1 to state s_3 through an intermediate state s_2 such that 2 > 1.
  28. L_{1,3} ^2 = {x ∈ I* | x is defined by regex (0|1)*01} because A goes from state s_1 to state s_3 through an intermediate state s_2 but 2 ≤ 2.
  29. L_{1,3} ^3 = {x ∈ I* | x is defined by regex (0|1)*01} because A goes from state s_1 to state s_3 through an intermediate state s_2 but 2 ≤ 3.
  30. L_{1,3} ^4 = {x ∈ I* | x is defined by regex (0|1)*01} because A goes from state s_1 to state s_3 through an intermediate state s_2 but 2 ≤ 4.
  31.  
  32. Thus, L_{1,3} ^k = {x ∈ I* | x is defined by regex (0|1)*01} .
  33.  
  34. Let i = 1, j = 4.
  35.  
  36. Notice:
  37.  
  38. L_{1,4} ^1 = ∅ because A goes from state s_1 to state s_4 through an intermediate states s_2 such that 2 > 1 and s_3 such that 3 > 1.
  39. L_{1,4} ^2 = ∅ because A goes from state s_1 to state s_4 through an intermediate states s_2 such that 2 ≤ 2 and s_3 such that 3 > 2.
  40. L_{1,4} ^3 = {x ∈ I* | x is defined by regex (0|1)*011} because A goes from state s_1 to state s_4 through intermediate states s_2 such that 2 ≤ 3 and s_3 such that 3 ≤ 3.
  41. L_{1,4} ^4 = {x ∈ I* | x is defined by regex (0|1)*011} because A goes from state s_1 to state s_4 through intermediate states s_2 such that 2 ≤ 4 and s_3 such that 3 ≤ 4.
  42.  
  43. Thus, L_{1,4} ^k = {x ∈ I* | x is defined by regex (0|1)*011} .
  44.  
  45. Let i = 2, j = 2.
  46.  
  47. Notice:
  48.  
  49. L_{2,2} ^1 = {x ∈ I* | x is defined by regex (0|1)*0} because there is no intermediate state between s_2 and s_2.
  50. L_{2,2} ^2 = {x ∈ I* | x is defined by regex (0|1)*0} because there is no intermediate state between s_2 and s_2.
  51. L_{2,2} ^3 = {x ∈ I* | x is defined by regex (0|1)*0} because there is no intermediate state between s_2 and s_2.
  52. L_{2,2} ^4 = {x ∈ I* | x is defined by regex (0|1)*0} because there is no intermediate state between s_2 and s_2.
  53.  
  54. Thus, L_{2,2} ^k = {x ∈ I* | x is defined by regex (0|1)*0} .
  55.  
  56. Let i = 2, j = 3.
  57.  
  58. Notice:
  59.  
  60. L_{2,3} ^1 = {x ∈ I* | x is defined by regex (0|1)*01} because there is no intermediate state between s_2 and s_3.
  61. L_{2,3} ^2 = {x ∈ I* | x is defined by regex (0|1)*01} because there is no intermediate state between s_2 and s_3.
  62. L_{2,3} ^3 = {x ∈ I* | x is defined by regex (0|1)*01} because there is no intermediate state between s_2 and s_3.
  63. L_{2,3} ^4 = {x ∈ I* | x is defined by regex (0|1)*01} because there is no intermediate state between s_2 and s_3.
  64.  
  65. Thus, L_{2,3} ^k = {x ∈ I* | x is defined by regex (0|1)*01} .
  66.  
  67. Let i = 2, j = 4.
  68.  
  69. Notice:
  70.  
  71. L_{2,4} ^1 = ∅ because A goes from state s_2 to state s_4 through an intermediate state s_3 such that 3 > 1.
  72. L_{2,4} ^2 = ∅ because A goes from state s_2 to state s_4 through an intermediate state s_3 such that 3 > 2.
  73. L_{2,4} ^3 = {x ∈ I* | x is defined by regex (0|1)*011} because A goes from state s_2 to state s_4 through intermediate states s_3 such that 3 ≤ 3.
  74. L_{2,4} ^4 = {x ∈ I* | x is defined by regex (0|1)*011} because A goes from state s_2 to state s_4 through intermediate states s_3 such that 3 ≤ 4.
  75.  
  76. Thus, L_{2,4} ^k = {x ∈ I* | x is defined by regex (0|1)*011}.
  77.  
  78. Let i = 3, j = 3.
  79.  
  80. Notice:
  81.  
  82. L_{3,3} ^1 = {x ∈ I* | x is defined by regex (0|1)*01} because there is no intermediate state between s_3 and s_3.
  83. L_{3,3} ^2 = {x ∈ I* | x is defined by regex (0|1)*01} because there is no intermediate state between s_3 and s_3.
  84. L_{3,3} ^3 = {x ∈ I* | x is defined by regex (0|1)*01} because there is no intermediate state between s_3 and s_3.
  85. L_{3,3} ^4 = {x ∈ I* | x is defined by regex (0|1)*01} because there is no intermediate state between s_3 and s_3.
  86.  
  87. Thus, L_{3,3} ^k = {x ∈ I* | x is defined by regex (0|1)*01}.
  88.  
  89. Let i = 3, j = 4.
  90.  
  91. Notice:
  92.  
  93. L_{3,4} ^1 = {x ∈ I* | x is defined by regex (0|1)*011} because there is no intermediate state between s_3 and s_4.
  94. L_{3,4} ^2 = {x ∈ I* | x is defined by regex (0|1)*011} because there is no intermediate state between s_3 and s_4.
  95. L_{3,4} ^3 = {x ∈ I* | x is defined by regex (0|1)*011} because there is no intermediate state between s_3 and s_4.
  96. L_{3,4} ^4 = {x ∈ I* | x is defined by regex (0|1)*011} because there is no intermediate state between s_3 and s_4.
  97.  
  98. Thus, L_{3,4} ^k = {x ∈ I* | x is defined by regex (0|1)*011}.
  99.  
  100. Let i = 4, j = 4.
  101.  
  102. Notice:
  103.  
  104. L_{4,4} ^1 = {x ∈ I* | x is defined by regex (0|1)*011} because there is no intermediate state between s_4 and s_4.
  105. L_{4,4} ^2 = {x ∈ I* | x is defined by regex (0|1)*011} because there is no intermediate state between s_4 and s_4.
  106. L_{4,4} ^3 = {x ∈ I* | x is defined by regex (0|1)*011} because there is no intermediate state between s_4 and s_4.
  107. L_{4,4} ^4 = {x ∈ I* | x is defined by regex (0|1)*011} because there is no intermediate state between s_4 and s_4.
  108.  
  109. Thus, L_{4,4} ^k = {x ∈ I* | x is defined by regex (0|1)*011}.
  110.  
  111.  
  112.  
  113. ---
  114. To recap:
  115.  
  116. L_{1,1} ^1 = {x ∈ I* | x is defined by regex (0|1)*}
  117. L_{1,1} ^2 = {x ∈ I* | x is defined by regex (0|1)*}
  118. L_{1,1} ^3 = {x ∈ I* | x is defined by regex (0|1)*}
  119. L_{1,1} ^4 = {x ∈ I* | x is defined by regex (0|1)*}
  120.  
  121. L_{1,2} ^1 = {x ∈ I* | x is defined by regex (0|1)*0}
  122. L_{1,2} ^2 = {x ∈ I* | x is defined by regex (0|1)*0}
  123. L_{1,2} ^3 = {x ∈ I* | x is defined by regex (0|1)*0}
  124. L_{1,2} ^4 = {x ∈ I* | x is defined by regex (0|1)*0}
  125.  
  126. L_{1,3} ^1 = ∅
  127. L_{1,3} ^2 = {x ∈ I* | x is defined by regex (0|1)*01}
  128. L_{1,3} ^3 = {x ∈ I* | x is defined by regex (0|1)*01}
  129. L_{1,3} ^4 = {x ∈ I* | x is defined by regex (0|1)*01}
  130.  
  131. L_{1,4} ^1 = ∅
  132. L_{1,4} ^2 = ∅
  133. L_{1,4} ^3 = {x ∈ I* | x is defined by regex (0|1)*011}
  134. L_{1,4} ^4 = {x ∈ I* | x is defined by regex (0|1)*011}
  135.  
  136. L_{2,2} ^1 = {x ∈ I* | x is defined by regex (0|1)*0}
  137. L_{2,2} ^2 = {x ∈ I* | x is defined by regex (0|1)*0}
  138. L_{2,2} ^3 = {x ∈ I* | x is defined by regex (0|1)*0}
  139. L_{2,2} ^4 = {x ∈ I* | x is defined by regex (0|1)*0}
  140.  
  141. L_{2,3} ^1 = {x ∈ I* | x is defined by regex (0|1)*01}
  142. L_{2,3} ^2 = {x ∈ I* | x is defined by regex (0|1)*01}
  143. L_{2,3} ^3 = {x ∈ I* | x is defined by regex (0|1)*01}
  144. L_{2,3} ^4 = {x ∈ I* | x is defined by regex (0|1)*01}
  145.  
  146. L_{2,4} ^1 = ∅
  147. L_{2,4} ^2 = ∅
  148. L_{2,4} ^3 = {x ∈ I* | x is defined by regex (0|1)*011}
  149. L_{2,4} ^4 = {x ∈ I* | x is defined by regex (0|1)*011}
  150.  
  151. L_{3,3} ^1 = {x ∈ I* | x is defined by regex (0|1)*01}
  152. L_{3,3} ^2 = {x ∈ I* | x is defined by regex (0|1)*01}
  153. L_{3,3} ^3 = {x ∈ I* | x is defined by regex (0|1)*01}
  154. L_{3,3} ^4 = {x ∈ I* | x is defined by regex (0|1)*01}
  155.  
  156. L_{3,4} ^1 = {x ∈ I* | x is defined by regex (0|1)*011}
  157. L_{3,4} ^2 = {x ∈ I* | x is defined by regex (0|1)*011}
  158. L_{3,4} ^3 = {x ∈ I* | x is defined by regex (0|1)*011}
  159. L_{3,4} ^4 = {x ∈ I* | x is defined by regex (0|1)*011}
  160.  
  161. L_{4,4} ^1 = {x ∈ I* | x is defined by regex (0|1)*011}
  162. L_{4,4} ^2 = {x ∈ I* | x is defined by regex (0|1)*011}
  163. L_{4,4} ^3 = {x ∈ I* | x is defined by regex (0|1)*011}
  164. L_{4,4} ^4 = {x ∈ I* | x is defined by regex (0|1)*011}
Advertisement
Add Comment
Please, Sign In to add comment