formal language environment