Monadic second-order logic for the Finite State Utilities

This is some code for a monadic second-order logic front-end for Gertjan van Noord's Finite State Utilities. For more information, see ftp/gron-abs.html, ftp/gron-slides.ps.gz, and ftp/helsinki-abs.ps.gz.

Please note that this implementation was basically a prototype and has been superceded by my implementation in MONA.

msol.pl: The logic front-end. Requires expansion.pl.
msol_rep.pl: An example application, the definition of a conditional replacement operator in the logic. Requires caslr.pl.
msol.tar: A tar file with everything. Extract with tar -xvf msol.tar.
Old version.

Last updated 7 December 2004
Nathan Vaillette