Facilitating formal specification acquisition by using recursive functions on context-free languages