The definition of formal languages in the meta language of normal forms of knowledge Academic Article