On the decidability of $k$-Block determinism

Pascal Caron, Ludovic Mignot, Clément Miklarz

Brüggemann-Klein and Wood define a one-unambiguous regular language as a language that can be recognized by a deterministic Glushkov automaton. They give a procedure performed on t…