Parser for Dates
AllDates @-> “[DT “ ... “]“
Compiles into an unambiguous transducer (23 states, 332 arcs).
Today is [DT Tuesday, July 25, 2000] because yesterday was [DT Monday] and it was [DT July 24] so tomorrow must be [DT Wednesday, July 25] and not [DT July 27] as it says on the program.
*slide courtesy of L. Karttunen (modified)