Формальный язык в математической логике и информатике — множество конечных слов (строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов. В теории моделей язык строится из множеств символов, функций и отношений вместе с их арностью, а также множества переменных. Каждое из этих множеств может быть бесконечным. Из языка вместе с универсальными логическими символами составляются логические высказывания.
Т.е. о любом высказывании можно сказать принадлежит оно этому языку или нет, является ли ошибочным.
1) - я мало знаю о японской писмености, чтоб судить о конечности и вариционности. Возможно да, возможно нет. Но скорее в данном контексте нет 2) скорее всего да. Конечный алфавит и тп 3) - нет, потому что каждый говорит как хочет, бесконечность вариаций, нет критерия правильности 4) - да, потому что есть критерий правильности, единый синтаксис, впринцепе конечный алфавит
Напишу как я понял. Лучше, конечно, нарисовать. Так понятнее. Но постараюсь объяснить получше.
Итак. У нас есть точки, между которыми есть расстояние: А -> Б = 80 км Б -> С = 50 км C -> Д = 10 км (честно говоря, не пойму, зачем тут вообще нужно это расстояние)
Также есть трасса: А => С = 40 км
До точки Б можно доехать двумя путями: 1) от А до Б по грунтовой дороге 2) от А до С по трассе, а затем от С до Б по грунтовой В первом случае мы имеем расстояние 80 км и скорость 20 км/ч. Времени на это уйдет = 4 часа. Во втором случае имеем расстояние от А до С = 40 км и скорость 40 км/ч плюс расстояние от С до Б равное 50 км и скорость 20 км/ч. Складывая время на двух этих участках (1 час + 2.5 часа) , получаем время = 3.5 часа.
Таким образом, минимальное возможное время движения велосипедиста из пункта А в пункт Б равняется 3.5 часам при условии, что он будет ехать сначала 40 км по трассе от А до Б, а затем по грунтовой дороге 50 км от С до Б.
В теории моделей язык строится из множеств символов, функций и отношений вместе с их арностью, а также множества переменных. Каждое из этих множеств может быть бесконечным. Из языка вместе с универсальными логическими символами составляются логические высказывания.
Т.е. о любом высказывании можно сказать принадлежит оно этому языку или нет, является ли ошибочным.
1) - я мало знаю о японской писмености, чтоб судить о конечности и вариционности. Возможно да, возможно нет. Но скорее в данном контексте нет
2) скорее всего да. Конечный алфавит и тп
3) - нет, потому что каждый говорит как хочет, бесконечность вариаций, нет критерия правильности
4) - да, потому что есть критерий правильности, единый синтаксис, впринцепе конечный алфавит
Итак. У нас есть точки, между которыми есть расстояние:
А -> Б = 80 км
Б -> С = 50 км
C -> Д = 10 км (честно говоря, не пойму, зачем тут вообще нужно это расстояние)
Также есть трасса:
А => С = 40 км
До точки Б можно доехать двумя путями:
1) от А до Б по грунтовой дороге
2) от А до С по трассе, а затем от С до Б по грунтовой
В первом случае мы имеем расстояние 80 км и скорость 20 км/ч. Времени на это уйдет = 4 часа.
Во втором случае имеем расстояние от А до С = 40 км и скорость 40 км/ч плюс расстояние от С до Б равное 50 км и скорость 20 км/ч. Складывая время на двух этих участках (1 час + 2.5 часа) , получаем время = 3.5 часа.
Таким образом, минимальное возможное время движения велосипедиста из пункта А в пункт Б равняется 3.5 часам при условии, что он будет ехать сначала 40 км по трассе от А до Б, а затем по грунтовой дороге 50 км от С до Б.
Думаю, так.