My answer is yes to all of your questions. The sharing of a variable keeps the grammar small and is therefore more efficient.
Keep in mind that the construction in the textbook does not use sharing, sharing is an optimization technique.
My answer is yes to all of your questions. The sharing of a variable keeps the grammar small and is therefore more efficient.
Keep in mind that the construction in the textbook does not use sharing, sharing is an optimization technique.