The second kind of model involves stack-based transition systems, with an added transition that swaps stack elements.
 introduced a deterministic system that uses a classifier to determine the next transition to be applied.