Text Based Computer-Mediated Communication: A System for Automated Interpretation of Discussion Threads in Distance Education Fora by Using Formal Languages | IEEE Conference Publication | IEEE Xplore