I\'ve a question regarding this diagram. I\'m thinking of adding a new state between q5 and q6 that accepts a lambda value but I\'m not quite sure or this diagram is correct
