Well that is not how I reed it, but: Every final state has an unique prompt. You could have several final states have the same unique prompt.
Well that is not how I reed it, but: Every final state has an unique prompt. You could have several final states have the same unique prompt.
> You could have several final states have the same unique prompt.
They explicitly claim that the function is injective, that is, that each unique input produces a unique output.