From an empirical point of view, a transition system that over-generates is necessary for robustness, and is desirable for fast approximate linear-time inference.
from a formal point of view, the relationship of the SR-GAP transition system with automata explicitly designed for LCFRS parsing (Villemonte de La Clergerie, 2002; Kallmeyer and Maier, 2015) requires further investigations.