As it stands, this transition system is nondeterministic, since several transitions can often be applied to the same configuration.
in order to get a deterministic parser, we need to introduce a mechanism for resolving transition conflicts.