Для построения точных и недвусмысленных описаний применяют метод абстракций,
который предполагает выделение наиболее существенных свойств рассматриваемого
объекта и опускание свойств, менее значимых для рассматриваемого случая.
Например, при построении модели входных языков можно рассматривать входной
текст как последовательность символов, построенную по определенным правилам,
отвлекаясь от характера начертания символов и их расположения на листе.
Математические модели, использующие представление текстов в виде цепочек
символов, называют формальными языками и грамматиками.