Investigate if we can detect infinite scanning loops due to incorrect use of non-consuming transitions. These can either be detected during specification parsing (static analysis) or while lexing (run-time analysis). If a loop is detected, an error should be emitted.
Investigate if we can detect infinite scanning loops due to incorrect use of non-consuming transitions. These can either be detected during specification parsing (static analysis) or while lexing (run-time analysis). If a loop is detected, an error should be emitted.