Formalized Modeling of Intelligent Robot Systems

Bascd upon the new structural model-loop hierarchy model, previously proposed and constructed by the authors for intelligent robot systeme, by applying formal language theory, for the first time, an intelligent robot system is wholly modeled as a context-free grammar in a formalized way.