Электронное учебное пособие

       "Тестирование в курсе информатики"

     
 

Главная

Содержание

Тезаурус

 

 

 

2.2. Естественные и формальные языки.

  Язык это знаковая система, используемая для целей коммуникации и познания. Основой большинства языков является алфавит – набор символов, из которых можно составлять слова и фразы данного языка.   

  Естественными называются “обычные”, “разговорные” языки, которые складываются стихийно и в течение долгого времени.  

  Основными функциями естественного языка являются:

·      коммуникативная (функция общения);

·      когнитивная (познавательная функция);

·      эмоциональная (функция формирования личности);

·      директивная (функция воздействия).

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

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

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

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

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

 

                             ГлавнаяСодержаниеТезаурусТеорияВопросыТестНаверх