Before revision: Grammar systems theory is a field of theoretical computer science that studies systems of finite collection of formal grammars generating a formal language.
After revision: Grammar systems theory is a field of theoretical computer science that studies systems of finite collections of formal grammars generating a formal language.