Asa H as an informal system

Formal systems "have to fix the language and the rules of operating on symbols beforehand....to definitely exclude subjectivity"  (see Problem solving with neural networks, Wolfram Menzel, Institut fur Logik, Univ. Karlsruhe, Germany)  Asa H, then, is an automated INformal system, a system that defines and then refines its symbols and language on each of the levels of its hierarchy.  The rules of operation that apply between levels of the hierarchy are also variable over time.