В. Савченко - Анализ алиасов, страница 6
Описание файла
Файл "В. Савченко - Анализ алиасов" внутри архива находится в папке "В. Савченко - Анализ алиасов". PDF-файл из архива "В. Савченко - Анализ алиасов", который расположен в категории "". Всё это находится в предмете "конструирование компиляторов" из 7 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст 6 страницы из PDF
W = {A, B, C, D};2. n = A è W = {B, C, D};3. C1 (A) = C2 (A) = ∅, ïîýòîìó íè÷åãî íå äåëàåì;4. (A, D) ∈ E , ïîýòîìó ξ(D) = ξ(D) ∪ ξ(A) = ∅ ∪ {C} = {C};{C}{A}ABDC{C}5. Äîáàâëÿåì D â W . W = {B, C, D};6. n = B è W = {C, D};7. C1 (B) = C2 (B) = ∅, ïîýòîìó íè÷åãî íå äåëàåì;8. Ðåáåð èç B íåò, íè÷åãî íå äåëàåì;9. n = C è W = {D};10. C1 (C) = C2 (C) = ∅, ïîýòîìó íè÷åãî íå äåëàåì;11. Ðåáåð èç C íåò, íè÷åãî íå äåëàåì;12. n = D è W = ∅;13.
v = C è C1 (D) = {A}, ïîýòîìó äîáàâëÿåì ðåáðî (C, A);34{C}{A}ABDC{C}14. Äîáàâëÿåì C â W . W = {C};15. v = C è C2 (D) = {B}, ïîýòîìó äîáàâëÿåì ðåáðî (B, C);{C}{A}ABDC{C}16. Äîáàâëÿåì B â W . W = {B, C};17. Ðåáåð èç D íåò, íè÷åãî íå äåëàåì;18. n = B è W = {C};19. C1 (B) = C2 (B) = ∅, ïîýòîìó íè÷åãî íå äåëàåì;20. (B, C) ∈ E , ïîýòîìó ξ(C) = ξ(C) ∪ ξ(B) = ∅ ∪ {A} = {A};{C}{A}ABDC{C}{A}21. Äîáàâëÿåì C â W . W = {C};22. n = C è W = ∅;23. C1 (C) = C2 (C) = ∅, ïîýòîìó íè÷åãî íå äåëàåì;24.
(C, A) ∈ E , ïîýòîìó ξ(A) = ξ(A) ∪ ξ(C) = {C} ∪ {A} = {C, A};35{C,A}{A}ABDC{C}{A}25. Äîáàâëÿåì A â W . W = {A};26. n = A è W = ∅;27. C1 (A) = C2 (A) = ∅, ïîýòîìó íè÷åãî íå äåëàåì;28. (A, D) ∈ E , ïîýòîìó ξ(D) = ξ(D) ∪ ξ(A) = {C} ∪ {C, A} = {C, A};{C,A}{A}ABDC{C,A}{A}29. Äîáàâëÿåì D â W . W = {D};30. n = D è W = ∅;31. v = C , òàê êàê ðåáðà (C, A) è (B, C) óæå åñòü, íè÷åãî íå äåëàåì;32. v = A è C1 (D) = {A}, ïîýòîìó äîáàâëÿåì ðåáðî (A, A);{C,A}{A}ABDC{C,A}{A}33.
Äîáàâëÿåì A â W . W = {A};34. v = A è C2 (D) = {B}, ïîýòîìó äîáàâëÿåì ðåáðî (B, A);36{C,A}{A}ABDC{C,A}{A}35. Äîáàâëÿåì A â W . W = {A};36. Ðåáåð èç D íåò, íè÷åãî íå äåëàåì;37. n = A è W = ∅;38. C1 (A) = C2 (A) = ∅, ïîýòîìó íè÷åãî íå äåëàåì;39. (A, D) ∈ E , ïîýòîìó ξ(D) = ξ(D) ∪ ξ(A) = {C, A} ∪ {C, A} = {C, A};40. Ìíîæåñòâî ξ(D) íå èçìåíèëîñü, ïîýòîìó íè÷åãî íå äåëàåì;41.
Ìíîæåñòâî W = ∅, ïîýòîìó çàâåðøàåì ðàáîòó àëãîðèòìà.37.