[Question][Hw5] What is difference between two tables 'X'

[nubi12336]

In the abstract definition of Analysis.run,

I think left 'X' and right 'X' are different because if not, left 'X' is a table that all the labels have the bottom memories, so that join with right X's will become a bottom(empty) memory.
However, I don't know what the difference is. Can you explain? Right 'X' is updated by some process?

[KihongHeo]

That is just an equation that specifies the characteristics of the abstract semantics.
Instead, solving the equation is a different story. Equation itself does not involve any computation, but equation solving does.
The equation can be solved by the fixed point algorithm introduced in the lecture.

[nubi12336]

Can you tell me which lecture should I take a look at..?

[ee12ha0220]

It is in the second lecture of week 11. To be specific, the expression can be found in page 25 of week 11-2 pdf file.