22 Mar
2014
22 Mar
'14
6:19 p.m.
On Thu, Mar 20, 2014 at 8:17 AM, Berg, Matias Juho
Does anyone have any suggestions on where to look for more examples so I can see what kinds of attempts people have used to try and solve this problem? Also if someone has worked on this kind of problem was Kleene algebra a good starting point?
It's not Haskell-specific, but you should look at the work done by Xerox on XFST/OpenFST. One of the major issues they needed to tackle is how to avoid the exponential blowup that can arise from manipulating FSTs. I don't recall how much simplification they do, but their main goal and use case was also dealing with natural language. -- Live well, ~wren