The parser sees only states that result from following correct actions.
the functions are usually restricted to having a fixed maximum arity (usually two) (Socher et al., 2010;Tai et al., 2015;Socher, 2014).