VeriFIT / mata

A fast and simple automata library
MIT License
14 stars 11 forks source link

Different handling of jump transition in projection #387

Closed koniksedy closed 4 months ago

koniksedy commented 4 months ago

The projection can interpret jump transition (a transition with the length greater than 1) in two different ways (based on the parameter repeat_jump_symbol):