Cтраница 1
Канонические системы имеют много замечательных свойств. [1]
Канонические системы ( 1) являются частным случаем систем с медленными и быстрыми неременными, поэтому изложенные в гл. I результаты, естественно, применимы и к ним. [2]
Каноническая система (1.2) сама по себе представляет большой интерес для приложений. [3]
Канонические системы не могут быть асимптотически устойчивы: асимптотическая устойчивость требует, чтобы объем, занятый в фазовом пространстве начальными значениями, соответствующими возмущенным движениям, стягивался при t - со в точку, а это противоречит теореме Лиувилля о сохранении для канонических систем такого объема во временя. [4]
Канонические системы являются другим, более мощным способом описания языков. Автор считает, что канонические системы могут быть удобным инструментом при теоретическом подходе к языку. Кроме того, они иллюстрируют некоторые из проводимых в настоящее время теоретических работ, а те основные вопросы, которые мы сформулируем для них, могут быть отнесены к любЬму формальному описанию языка. [5]
![]() |
Описания посредством канонической системы трансляции подмножества ФОРТРАНа в BAL. [6] |
Канонические системы могут быть использованы для описания трансляции языка. Трансляция есть функция, и она может быть определена множеством упорядоченных пар, первый элемент которых - допустимая программа, а второй элемент - перевод этой программы на-объектный язык. [7]
![]() |
Описания посредством канонической системы трансляции подмножества ФОРТРАНа в BAL. [8] |
Канонические системы определяют язык посредством множества правил, которые могут порождать допустимые строки. [9]
Каноническая система может описывать язык, более сложный чем языки, заданные БНФ. Такой язык не может иметь эквивалентного описания в БНФ. Имеет ли язык, представленный ниже, эквивалентное описание в БНФ. [10]
Каноническая система с гамильтонианом ffl, в котором координата pn i - фиксированная постоянная, будет приведенной. [11]
Каноническая система, так же как и нормальная форма, обладает тем свойством, что в каждом уравнении содержится дифференцирование лишь по одному направлению, но теперь эти направления совпадают с двумя координатными направлениями, что является существенным усовершенствованием. [12]
Каноническая система ВА используется в этом процессе для сведения каждого терма ( например, термов в порождаемых критических парах) к его нередуцируемой форме. Заметим, что для нахождения критических пар ВА не применяется. Как и процедура пополнения, N-стратегия может давать различные результаты. [13]
Канонические системы кодирования, предусматривающие взаимнооднозначное соответствие кода и структурной формулы, как правило, весьма сложны. Ручная канонизация неизбежно связана с резким усложнением правил кодирования, что приводит к ошибкам кодирования. [14]
Канонической системе описанного выше вида соответствует некоторая триангуляция системы уравнений, кажда. [15]