Keyword : Formal Learning