Interesting. The Glushkov construction is also used to decide ambiguousness of content models in SGML and XML. Moreover, it naturally extends to partial derivat

Interesting. The Glushkov construction is also used to decide ambiguousness of content models in SGML and XML. Moreover, it naturally extends to partial derivative-based automata as was used by Antimirov (might be interesting to the algebraically-minded FP folks on HN).