История создания формальных языков и кодов

By Tory_34rus

  • Что такое формальные языки?

    Формализованный (формальный) язык –– язык, характеризующийся точными правилами построения выражений и их понимания. Он строится в соответствии с четкими правилами, обеспечивая непротиворечивое, точное и компактное отображение свойств и отношений изучаемой предметной области (моделируемых объектов).

  • Формальные языки часто конструируются на базе языка математики. Веком бурного развития различных формальных языков можно считать XX век.

  • Возникновение языков программирования приходится на начало 50-х годов XX века.

  • Языков программирования и их диалектов (разновидностей) насчитывается несколько тысяч.

  • Большинство формальных языков (созданных конструкций) строится по следующей схеме

    сначала выбирается алфавит, или совокупность исходных символов, из которых будут строиться все выражения языка; затем описывается синтаксис языка, то есть правила построения осмысленных выражений. Буквами в алфавите формального языка могут быть и буквы алфавитов естественных языков, и скобки, и специальные знаки и т.п. Из букв, по определенным правилам можно составлять слова и выражения.

  • Далее

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