Синтаксическая ошибка - нарушение формального описания языка программирования, т.е. например не поставили в конце строки ; или оператор if написали через две f, чаше всего являются опечатками в тексе программы Семантическая ошибка - ошибка связанная с выполнением алгоритма, иногда семантические ошибки называют логическими, как пример можно привести попытку обращения к неописанной переменной или ошибке в формулах. типов семантических ошибок очень много и вычислительные, типа деления на 0, преобразования типов, когда в переменную типа int пихают строку и т.д. заканчивая ошибками зацикливающими программу Ошибки не являющиеся синтаксическими и семантическими могут так-же встречаться, например пользователь пробует записать данные на защищенный диск и получает ошибку, но виновата в этом не программа а пользователь, введший не корректные данные
Формализованный (формальный) язык –– язык, характеризующийся точными правилами построения выражений и их понимания. Он строится в соответствии с четкими правилами, обеспечивая непротиворечивое, точное и компактное отображение свойств и отношений изучаемой предметной области (моделируемых объектов).В отличие от естественных языков формальным языкам присущи четко сформулированные правила семантической интерпретации и синтаксического преобразования используемых знаков, а также то, что смысл и значение знаков не изменяется в зависимости от каких-либо прагматических обстоятельств (например, от контекста).Большинство формальных языков (созданных конструкций) строится по следующей схеме. сначала выбирается алфавит, или совокупность исходных символов, из которых будут строиться все выражения языка; затем описывается синтаксисязыка, то есть правила построения осмысленных выражений. Буквами в алфавите формального языка могут быть и буквы алфавитов естественных языков, и скобки, и специальные знаки и т.п. Из букв, по определенным правилам можно составлять слова и выражения. Осмысленные выражения получаются в формальном языке, только если соблюдены определенные в языке правила образования. Для каждого формального языка совокупность этих правил должна быть строго определена и модификация любого из них приводит чаще всего к появлению новой разновидности (диалекта) этого языка.Формальные языки широко применяются в науке и технике. В процессе научного исследования и практической деятельности формальные языки обычно используются в тесной взаимосвязи с естественным языком, поскольку последний обладает гораздо большими выразительными возможностями. В то же время формальный язык является средством более точного представления знаний, чем естественный язык, а следовательно, средством более точного и объективного обмена информацией между людьми.Формальные языки часто конструируются на базе языка математики. Веком бурного развития различных формальных языков можно считать XX век.С точки зрения информатики, среди формальных языков наиболее значительную роль играют формальный язык логики(язык алгебры логики) и языки программирования.
program foo;
var
s: string[12];
s1: string[4];
begin
s := 'ТЕСТИРОВАНИЕ';
s1 := ( Copy(s, 10, 2), Copy(s, 8, 2) );
write(s1)
end.