Cтраница 4
Семантический контроль реализуется многими методами, из которых отметим лишь три наиболее распространенных. При чисто программном методе проверка правильности применения конструкций производится семантическими программами, логика которых основана на неформализованных правилах синтаксиса и семантики языка. Этим способом проверяются и выполнения ограничений, характерных для транслятора. Способ сведения контекстной грамматики к бесконтекстной основан на том, что информация о типе и других характеристиках переменных переносится из описаний в текст операторов некоторого промежуточного языка. После этого запись операторов становится бесконтекстной и к ней может быть применен обычный метод синтаксического контроля бесконтекстных языков. [46]
Общий способ конструирования функций F сводится к следующему. В качестве независимых переменных выбираются управления и входные переменные всех блоков схемы за исключением, конечно, ее фиксированных входных переменных. Соотношения связи ( VI II, 2) считаются ограничениями типа равенств. Применяя один из способов сведения задач на условный экстремум к задачам на безусловный экстремум, выражения ( VIII, 2) выносят в критерий. [47]
Ученым уже не раз удавалось посылать на Луну и принимать обратно на Земле не только радиолокационные сигналы, но и целые телеграфные сообщения, а в последних опытах даже речь и музыку. Путь туда и обратно эти сигналы совершают за 2 5 секунды. Тем самым можно довольно точно определить расстояние между Луной и Землей. Теоретически такие сигналы можно посылать и на другие планеты, так как некоторые участки ультракоротких радиоволн довольно слабо поглощаются в атмосфере Земли и почти совсем не поглощаются в космическом пространстве. Совсем недавно такие сигналы были посланы на... Венеру и, после того как они отразились от ее поверхности, приняты на Земле. Полученные таким способом сведения очень важны для будущих космических полетов. Межпланетный корабль, отправляемый на Луну, будет непрерывно находиться в лучах радиолокационных гтанний. [48]