Rethink Jump Treansitions - For Noodler

[koniksedy]

We need to rethink the idea of jump transitions in NFT. Currently, we have two jump modes:

1. RepeatSymbol, where a jump transition of a length n (going over n levels) over a symbol a represents n consecutive transitions with a symbol a.
   • This makes it easy to represent identity in transducers.
2. AppendDontCare, where a jump transition of a length n (going over n levels) over a symbol a represents one transition over a symbol a followed by n-1 transitions with DONT_CARE symbol.
   • This nicely follows the semantics of BDD transitions.

The problem at this moment is that Noodler requires explicit transitions. It does not support any jump transitions. We should either:

1. modify the Noodler to support jump transitions or
2. add a third jump mode, JumpMode::Explicit.

[koniksedy]

This mismatch between the support of jump transitions affects the optimality of mata::nft::algorithms::concatenate_eps, see #542.

[koniksedy]

Another thought is to make JumpMode an attribute of Nft, since it is an essential property that determines the semantics of its transitions. This would remove the necessity to pass JumpMode as a parameter to almost all functions and methods operating on Nft.

[jurajsic]

I think attribute of Nft is a good idea.

[Adda0]

I agree that it makes much more sense to have the attribute fixed on the automaton object level 👍