когда интерпретатор что либо утверждает или отрицает

Что такое интерпретатор?

В этом гайде разберемся, что такое интерпретатор, для чего он нужен и как работает. Этот материал поможет понять, как компьютер выполняет программы.

Зачем нужен интерпретатор

В переводе с английского языка компьютер — вычислитель. Мы привыкли пользоваться компьютером для подготовки документы, чтения новостей и просмотра фильмов. В повседневной жизни производить вычисления приходится крайне редко, поэтому такое определение может показаться странным.

Вместе с тем, это название очень точно отражает природу компьютера. Мы этого не видим, но на самом деле компьютер умеет работать только с числами: документы, и новости, и фильмы выглядят для компьютера как наборы чисел. То же самое касается программ, которые он выполняет.

Каждая команда имеет свой числовой — машинный — код: благодаря ему компьютер без труда понимает, что нужно делать. Человеку трудно писать программы в машинных кодах, однако на заре компьютерной эры программисты писали именно так. Вот так выглядели их программы:

Пытаясь облегчить себе работу, программисты придумали языки программирования: они понятнее человеку, поэтому писать программы на них проще. На этом этапе возникла проблема: если компьютер понимает команды только в виде чисел, как он будет выполнять команды, написанные на языке программирования?

Есть два вида программ, которые помогают решить эту проблему — интерпретаторы и компиляторы. Про компилятор можно почитать здесь, в этом тексте мы остановимся только на интерпретаторах.

Вкратце, интерпретатор — это программа, которая выполняет команды, написанные на каком-то языке программирования. Например, интерпретатор Python понимает команды языка Python, а интерпретатор JavaScript — команды языка JavaScript.

Экскурс в историю

Первый интерпретатор был разработан в 1958 году для языка программирования Lisp. Как вы думаете, на чем он был написан? Конечно, на машинном коде.

Сам Lisp дожил до наших дней — например, популярный текстовый редактор Emacs написан на одной из современных версий этого языка.

Программисты иногда разрабатывают разные интерпретаторы языка, которые незначительно отличаются друг от друга. Такие версии языка называют диалектами. Кроме Emacs Lisp, вы могли слышать о ClojureScript — диалекте LISP, который иногда используют вместо JavaScript при разработке фронтенда

Вот пример программы на языке Lisp:

Необязательно знать Lisp, чтобы увидеть, что в программе есть структура, и понять отдельные ее части. Доступность для понимания — выгодное преимущество языков программирования перед машинным кодом.

Есть интерпретаторы для таких популярных языков программирования, как Python и JavaScript. Они хорошо подходят не только для работы, но и для того, чтобы изучать программирование. Немаловажную роль в этом играет то, что для них существует интерпретаторы, и чуть позже мы узнаем, почему это так.

Пример интерпретатора Python

Разберем в деталях работу интерпретатора — для этого напишем несложную программу, которая будет вычислять суммы чисел от 1 до 100:

Запустим интерпретатор python и построчно введем программу.

Немедленный отклик интерпретатора очень важен при изучении языка. Новички, видя сообщениях об ошибках и пробуя разные варианты, быстро осваивают незнакомый синтаксис. Именно поэтому Python и JavaScript часто используют для обучения.

Опытные программисты также ценят такой — интерактивный — способ разработки, потому что он помогает быстро проверять свои идеи.

Кроме того, интерпретируемые языки часто используют для разработки прототипов больших программ. В интерактивном режиме он постоянно выполняет одни и те же действия: читает команду программиста, выполняет ее и печатает результат. Такой режим называют Циклом Чтения-Выполнения-Печати, или, по-английски Read-Evaluate-Print Loop. Обычно это название сокращают до аббревиатуры REPL.

Пример интерпретатора JavaScript

Интерпретатор JavaScript встроен прямо в браузер. Посмотрим, как он работает, на примере браузера Chrome.

В правом верхнем углу есть три вертикальные точки, которые вызывают меню браузера. Нажмите и выберите пункт меню Дополнительные инструменты, а затем Инструменты разработчика.

Вы увидите новое окно, заполненное вкладками. Все эти инструменты полезны и их стоит освоить. Но сейчас нам нужна одна вкладка — Console. В консоли мы можем набирать команды языка JavaScript и сразу видеть отклик интерпретатора.

Интерпретатор сохранит переменные a и b со значениями 1 и 2, затем вычислит значение 3 * (a + b) и напечатает результат 9.

Выполнение программы

Чтобы выполнить программу, достаточно запустить интерпретатор Python, указав имя файла в параметрах:

Интерпретатор выполняет команды одну за одной и в конце завершает свою работу. Такой режим работы интерпретатора называют пакетным.

Таким образом, интерпретатор может работать в двух режимах. Интерактивный режим (REPL) помогает нам проверять идеи и придумывать решение задач. Пакетный режим выполняет готовую программу.

Устройство интерпретатора

Есть много способов написать интерпретатор. Не будем рассматривать все возможные варианты, а остановимся на устройстве интерпретаторов в целом. Обычный язык программирования содержит несколько десятков команд.

Вторая важная составляющая интерпретатора — анализатор текста. Когда программист вводит текст, анализатор разбирает его на составные части и понимает, о какой команде идет речь. После этого он передает управление блоку, отвечающему за выполнение этой команды.

Так — в цикле — интерпретатор и работает. Анализирует введенную команду, затем выполняет, снова анализирует и снова выполняет. Анализ текста это, конечно, не тривиальная задача, но и не слишком трудная, так что интерпретаторы на самом деле не такие сложные программы.

Достоинства и недостатки

Простота изучения. REPL помогает проверять, как работают незнакомые конструкции и быстро осваивать синтаксис языка.

Простота программирования. Как и компилятор, интерпретатор избавляет от необходимости писать программы в машинных кодах.

Кроссплатформенность. Интерпретаторы разработаны для разных платформ — Mac, Windows, Linux, поэтому написанная нами программа будет работать на всех платформах.

Улучшение программы за счет интерпретатора. Скорость программ зависит не только от качества кода, но и от того, насколько быстро работает интерпретатор. Например, программисты Google постоянно улучшают интерпретатор JavaScript, который работает в браузере Chrome. Если мы написали программу на JavaScript, с каждой новой версией Chrome она работает быстрее, даже если мы ничего в ней не меняем.

Низкая скорость. Интерпретируемые программы работают медленнее, чем программы в машинных кодах. Это происходит потому, что интерпретатор должен сначала проанализировать текст команды, и лишь потом выполнить ее. Программа в машинных кодах сразу понятна компьютеру.

Зависимость от интерпретатора. Интерпретируемой программе нужен интерпретатор. В Windows программы в машинных кодах имеют расширение .exe. Такую программу, скажем, архиватор 7-zip можно просто запустить. А для того, чтобы выполнить программу на языке Python, нужен интерпретатор python.

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

Позднее обнаружение ошибок. Интерпретаторы выполняют программы по одной команде. Если в синтаксисе команды допущена ошибка, интерпретатор не сможет об этом узнать, пока не приступит к ее анализу. В больших программах есть куски, которые выполняются реже других и, возможно, там есть ошибки, про которые программист не знает. Чтобы избежать ошибок, которые увидит пользователь программы, приходится тестировать её гораздо тщательней.

Выводы и рекомендации

Интерпретатор языка программирования — это программа, выполняющая команды, написанные на этом языке. Мы, например, говорим интерпретатор Python или интерпретатор JavaScript.

Интерактивный режим (REPL) помогает программистам изучать синтаксис языка и проверять свои идеи.

К достоинствам интерпретируемых языков относят простоту изучения. Именно поэтому программирование начинают изучать с таких языков, как Python и JavaScript.

Источник

Интерпретатор

Интерпрета́тор — программа (разновидность транслятора) или аппаратное средство, выполняющее интерпретацию. [1]

Интерпрета́ция — пооператорный (покомандный, построчный) анализ, обработка и тут же выполнение исходной программы или запроса (в отличие от компиляции, при которой программа транслируется без её выполнения). [2] [3] [4]

Содержание

Типы интерпретаторов

Простой интерпретатор анализирует и тут же выполняет (собственно интерпретация) программу покомандно (или построчно), по мере поступления её исходного кода на вход интерпретатора. Достоинством такого подхода является мгновенная реакция. Недостаток — такой интерпретатор обнаруживает ошибки в тексте программы только при попытке выполнения команды (или строки) с ошибкой.

Интерпретатор компилирующего типа — это система из компилятора, переводящего исходный код программы в промежуточное представление, например, в байт-код или p-код, и собственно интерпретатора, который выполняет полученный промежуточный код (так называемая виртуальная машина). Достоинством таких систем является большее быстродействие выполнения программ (за счёт выноса анализа исходного кода в отдельный, разовый проход, и минимизации этого анализа в интерпретаторе). Недостатки — большее требование к ресурсам и требование на корректность исходного кода. Применяется в таких языках, как Java, Tcl, Perl (используется байт-код [источник не указан 1309 дней] ), REXX (сохраняется результат парсинга исходного кода [5] ), а также в различных СУБД (используется p-код [источник не указан 1309 дней] ).

В случае разделения интерпретатора компилирующего типа на компоненты получаются компилятор языка и простой интерпретатор с минимизированным анализом исходного кода. Причём исходный код для такого интерпретатора не обязательно должен иметь текстовый формат или быть байт-кодом, который понимает только данный интерпретатор, это может быть машинный код какой-то существующей аппаратной платформы. К примеру, виртуальные машины вроде QEMU, Bochs, VMware включают в себя интерпретаторы машинного кода процессоров семейства x86.

Некоторые интерпретаторы (например, для языков Лисп, Scheme, Python, Бейсик и других) могут работать в режиме диалога или так называемого цикла чтения-вычисления-печати (англ. read-eval-print loop, REPL ). В таком режиме интерпретатор считывает законченную конструкцию языка (например, s-expression в языке Лисп), выполняет её, печатает результаты, после чего переходит к ожиданию ввода пользователем следующей конструкции.

Уникальным является язык Forth, который способен работать как в режиме интерпретации, так и компиляции входных данных, позволяя переключаться между этими режимами в произвольный момент, как во время трансляции исходного кода, так и во время работы программ. [6]

Следует также отметить, что режимы интерпретации можно найти не только в программном, но и аппаратном обеспечении. Так, многие микропроцессоры интерпретируют машинный код с помощью встроенных микропрограмм, а процессоры семейства x86, начиная с Pentium (например, на архитектуре Intel P6), во время исполнения машинного кода предварительно транслируют его во внутренний формат (в последовательность микроопераций).

Источник

Основные формально-логические законы

Под законом вообще разумеется внутренняя, существенная, необходимая связь между предметами и явлениями, повторяющаяся всегда и всюду при определенных условиях.

Каждая наука изучает свои специфические законы.

Так, в физике это закон сохранения и превращения энергии, закон всемирного тяготения. В биологии – закон единства организма и среды, закон наследственности и т. п.

Логический закон – это внутренняя, необходимая, существенная связь между мыслями, рассматриваемыми со стороны их формы.

Соблюдение законов логики – необходимое условие достижения истины в процессе рассуждения.

Основные формально-логические законы:

Эти законы выражают определенность, непротиворечивость, доказательность мышления.

Закон тождества

Закон тождества:

Другими словами, объем и содержание мыслей должны быть уточнены и оставаться неизменными до конца рассуждения.

Закон тождества может быть выражен формулой:

Следствия из закона тождества:

Закон тождества требует от мышления точности, ясности, определенно­сти, адекватности, однозначности.

Ошибка при нарушении закона тождества:

Например, одно ли и тоже сначала сказать: «У него болит голова», затем – «У него что-то с головой», а потом – «Больной на всю голову»? Естественно, что в данном примере произошла преднамеренная подмена первоначальной мысли.

Причины нарушения закона тождества:

Нарушение этих требований в процессе рассуждения нередко бывает связано с различным выражением одной и той же мысли в языке.

Употребление многозначных слов может привести к ошибочному отождествлению различных мыслей.

Значение закона тождества для работы юриста

Соблюдение требований закона тождества имеет важное значение в работе юриста, требующей употребления понятий в их точном значении. При разбирательстве любого дела важно выяснить точный смысл понятий, которыми пользуется обвиняемый или свидетели, и употреблять эти понятия в строго определенном смысле. В противном случае предмет мысли будет упущен и вместо выяснения дела произойдет его запутывание.

Закон непротиворечия

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

Закон непротиворечия:

Закон формулируется следующим образом:

Два противоположных суждения не могут быть одновременно ис­тинными, по крайней мере, одно из них необходимо ложь. Другими словами, при истинности одного из противоположных суждений второе необходимо ложно, но они могут быть одновременно ложными.

Т.е. нельзя одновременно утверждать и отрицать что-либо. Закон непротиворечия действует в отношении всех несовместимых суждений.

Закон непротиворечия выражается формулой ():

Некоторые авторы формулируют этот закон как закон противоречия :

Смысл этого закона заключается в том, что ничто не может в одно и тоже время, в одном и том же отношении иметь противоречащие качества.

Мы, например, никак не можем себе представить, чтобы бумага была в одно и то же время и белая и не-белая, например красная. Ни одно качество не может в одно и то же время и присутствовать и отсутствовать.

Таким образом, закон противоречия требует, чтобы мы одной и той же вещи, в одно и то же время, в одном и том же отно­шении не приписывали противоречащих предикатов В и не-В.

Для правильного его понимания необходимо иметь в виду следующее:

Закон непротиворечия требует от мышления непротиворечивости, после­довательности рассуждения.

Ошибка при нарушении закона непротиворечия:

«Противоречивость в рассуждении». В случае ошибки допускается следствие: (p Λ ­ р) → q, читается: если р и не-р, то q, что означает: «из лжи следует все что угодно».

Значение закона непротиворечия для работы юриста

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

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

Закон исключенного третьего

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

Закон исключенного третьего:

Это логический закон, согласно которому истинно либо само высказыва­ние, либо его отрицание. Другими словами, одно из них всегда истинно, вто­рое – ложно, третьего не дано.

Например, если суждение «Каждому гражданину Российской Федерации гарантируется право на получение квалифицированной юридической помощи» истинно, то суждение «Некоторым гражданам Российской Федерации не гарантируется право на получение квалифицированной юридической помощи» ложно. Противоречащим являются также два суждения об одном предмете, в одном из которых что-либо утверждается, а в другом то же самое отрицается. Например: «П. привлечен к административной ответственности» и «П. не привлечен к административной ответственности». Одно из этих суждений необходимо истинно, другое — необходимо ложно.

Этот закон можно записать:

p V ┐p,

где р — любое высказывание, ┐p — отрицание высказывания р.

Подобно закону непротиворечия закон исключенного третьего выражает последовательность, непротиворечивость мышления, не допускает противоречий в мыслях. Вместе с тем, действуя только в отношении противоречащих суждений, он устанавливает, что два противоречащих суждения не могут быть не только одновременно истинными (на что указывает закон непротиворечия), но также и одновременно ложными: если ложно одно из них, то другое необходимо истинно, третьего не дано.

Конечно, закон исключенного третьего не может указать, какое именно из данных суждений истинно. Этот вопрос решается другими средствами. Значение закона состоит в том, что он указывает направление в отыскании истины: возможно только два решения вопроса, причем одно из них (и только одно) необходимо истинно.

Закон исключенного третьего требует ясных, определенных ответов, указывая на невозможность отвечать на один и тот же вопрос в одном и том же смысле и «да» и «нет», на невозможность искать нечто среднее между утверждением чего-либо и отрицанием того же самого.

Закон исключенного третьего требует от мышления последовательности, завершенности рассуждения.

Ошибка при нарушении закона исключенного третьего:

«Непоследовательность в рассуждении». Довести рассуждение до логиче­ского конца означает установить, какое из противоречащих суждений истинно, а какое ложно.

Значение закона исключенного третьего для юридической практики

Важное значение имеет этот закон в юридической практике, где требуется категорическое решение вопроса. Юрист должен решать дело по форме «или-или»:

Jus (право) знает только: «или-или».

Закон достаточного основания

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

Требование доказанности, обоснованности мысли выражает закон достаточного основания:

Всякая мысль признается истинной, если она имеет на то достаточное ос­нование.

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

Закон достаточного основания требует от мышления обоснованности, до­казательности, аргументированности рассуждения.

Достаточным основанием мыслей может быть личный опыт человека. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления с фактами действительности. Так, для человека, явившегося свидетелем преступления, обоснованием истинности суждения «Н. совершил преступление» будет сам факт преступления, очевидцем которого он был. Но личный опыт ограничен. Поэтому человеку в своей деятельности приходится опираться на опыт других людей, например на показания очевидцев того или иного события. К таким основаниям прибегают обычно в следственной и судебной практике при расследовании преступлений.

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

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

Благодаря науке, которая в своих законах и принципах закрепляет общественно-историческую практику человечества, мы для обоснования наших мыслей не прибегаем всякий раз к их проверке, а обосновываем их логически, путем выведения из уже установленных положений.

Таким образом, достаточным основанием какой-либо мысли может быть любая другая, уже проверенная и установленная мысль, из которой с необходимостью вытекает истинность данной мысли.

Если из истинности суждения а следует истинность суждения b, то а будет основанием для b, a b — следствием этого основания.

Связь основания и следствия является отражением в мышлении объективных, в том числе причинно-следственных связей, которые выражаются в том, что одно явление (причина) порождает другое явление (следствие). Однако это отражение не является непосредственным. В некоторых случаях логическое основание может совпадать с причиной явления (если, например, мысль о том, что число дорожно-транспортных происшествий увеличилось, обосновывается указанием на причину этого явления — гололед на дорогах). Но чаще всего такого совпадения нет. Суждение «Недавно был дождь» можно обосновать суждением «Крыши домов мокрые»; след протекторов автомобильных шин — достаточное основание суждения «В данном месте прошла автомашина». Между тем мокрые крыши и след, оставленный автомашиной, — не причина, а следствие указанных явлений. Поэтому логическую связь между основанием и следствием необходимо отличать от причинно-следственной связи.

Обоснованность — важнейшее свойство логического мышления. Во всех случаях, когда мы утверждаем что-либо, убеждаем в чем-либо других, мы должны доказывать наши суждения, приводить достаточные основания, подтверждающие истинность наших мыслей. В этом состоит коренное отличие научного мышления от мышления ненаучного, которое характеризуется бездоказательностью, способностью принимать на веру различные положения и догмы. Это особенно характерно для религиозного мышления, опирающегося не на доказательство, а на веру.

Закон достаточного основания не совместим с различными предрассудками и суевериями. Например, существуют нелепые приметы: разбить зеркало — к несчастью, рассыпать соль — к ссоре и т.д., хотя между разбитым зеркалом и несчастьем, рассыпанной солью и ссорой нет причинной связи. Логика — враг суеверий и предрассудков. Она требует обоснованности суждений и не совместима поэтому с утверждениями, которые строятся по схеме «после этого — значит, по причине этого». Эта логическая ошибка возникает в случаях, когда причинная связь смешивается с простой последовательностью во времени, когда предшествующее явление принимается за причину последующего.

Ошибка при нарушении закона достаточного основания:

«Бездоказательное рассуждение», «декларативность», «необоснован­ность, неаргументированность рассуждения». Всякий раз, когда на вопрос «почему?» следует ответ «потому что» про­исходит нарушение закона достаточного основания.

Значение закона достаточного основания для юридической практики

Закон достаточного основания имеет важное теоретическое и практическое значение. Фиксируя внимание на суждениях, обосновывающих истинность выдвинутых положений, этот закон помогает отделить истинное от ложного и прийти к верному выводу.

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

Источник