Programming in ML Modules with An Example on Regular Expression DerivativesProgramming in ML Modules with An Example on Regular Expression Derivatives04/10 (三) 碩博論文研討—資訊系統與系統設計(英), 演講資料如下, 歡迎蒞臨
時 間：4月10日 星期三 13:20 ~ 15:10
地 點：工程四館117教室
演講者：Tyng-Ruey Chuang (Academia Sinica)
講 題：Programming in ML Modules with An Example on Regular Expression Derivatives
摘 要：
We shall use the module facility of Objective Caml to systematically realize a class of recursive data types. We review the notion of derivatives of regular expressions, introduced by Brzozowski in 1964. We then show that a modular implementation of words and regular expressions gives rise to a concise formulation of the word membership problem and its solution.
主持人：蔡錫鈞教授