Cтраница 2
Разновидностью криволинейного опиливания является обработка по разметке деталей, имеющих выпуклый контур с широкой или узкой поверхностью. Прежде чем приступить к опиливанию, необходимо изучить чертеж, установить последовательность разметки и обработки, определить рациональный способ удаления лишнего металла с учетом наименьшего припуска на дальнейшую обработку. [16]
Для удобства чтения программы все символы языка в тексте написаны заглавными буквами. Каждая программа решения задачи, именуемая программой документа, состоит из описания формата документа, именуемого разметкой документа, и алгоритма решения задачи на языке ЯМБ. Разметка документа представляет собой последовательность разметок граф документа и описание формата данных. Так как ЭВМ в общем случае может иметь два АЦПУ, то и разметка документа в общем случае состоит из двух последовательностей разметок граф документов, формируемых соответственно на литерном и матричном АЦПУ. Каждая последовательность разметок граф завершается точкой с запятой. У ЭВМ исполнений /, / /, / / / имеется только одно ( литерное) АЦПУ, поэтому в программах, рассчитанных на выполнение ЭВМ этих исполнений, разметка граф документа, формируемого на матричном АЦПУ, опускается. Однако еще один знак писать обязательно нужно. [17]
Для удобства чтения программы все символы языка в тексте написаны заглавными буквами. Каждая программа решения задачи, именуемая программой документа, состоит из описания формата документа, именуемого разметкой документа, и алгоритма решения задачи на языке ЯМБ. Разметка документа представляет собой последовательность разметок граф документа и описание формата данных. Так как ЭВМ в общем случае может иметь два АЦПУ, то и разметка документа в общем случае состоит из двух последовательностей разметок граф документов, формируемых соответственно на литерном и матричном АЦПУ. Каждая последовательность разметок граф завершается точкой с запятой. У ЭВМ исполнений /, / /, / / / имеется только одно ( литерное) АЦПУ, поэтому в программах, рассчитанных на выполнение ЭВМ этих исполнений, разметка граф документа, формируемого на матричном АЦПУ, опускается. Однако еще один знак писать обязательно нужно. [18]
Предположим, что язык L порождается некоторой помеченной сетью Петри ( Л /, 2) в качестве терминального языка. Подъязык а ь с п 0) языка L также порождается этой сетью. Тогда эта сеть должна порождать бесконечные последовательности срабатываний. По лемме 2.2 для зафиксированной последовательности разметок существует такая пара чисел / и /, что / Ф ] и / И - / И; или / И, Mt. [19]