Spillover happens when some symbols that should have been a part of the nonterminal definition, are not included in its right hand side, and appended every time to its use. This creates a co-change relationship between the nonterminal and the context of its use. With Spillover, every time a definition of a nonterminal is changed in a particular way, all occurrences of the same nonterminal needs to be updated.
All rights reserved (c) Tushar Sharma 2017-23.