1 Show That The Following Holds For Anylalr 1 Construction 2063961

/in /by

(a) For any state s containing the item A—> a • 13, ItemPollow((s,A—) a • 13)) c Follow(A)
03)
U U ItemFollow((s,A—)al • 130). Follow(A)
s A —> cri • pies

Attachments:

Question.jpg