Первый тип грамматики, G1, мало чем отличается от простого расположения символов друг за другом, как бусины на нитке: «Ешь еду. Мужчина. Женщина». Или даже «Я вижу тебя. Ты видишь меня?». Следующий тип языка, G2, организует символы линейно (в ряд), как грамматика G1, и иерархически — объединяя символы внутри других символов. Такая организация существует во многих современных европейских языках. Третий тип грамматики, G3, обладает всеми возможностями первых двух типов и еще одной — рекурсией, то есть способностью разместить один элемент внутри другого элемента того же типа, и так до бесконечности. Язык — как матрешка. Все три типа языков встречаются в мире и сейчас.