High Quality Content by WIKIPEDIA articles! Grammar systems theory is a field of theoretical computer science that studies systems of finite collection of formal grammars generating a formal language. Each grammar works on a string so-called sequential form that represents an environment. Grammar system can thus be used as a formalization of decentralized or distributed systems of agents in artificial intelligence.