Cтраница 2
Цензорин - римский историк и грамматик, живший в III в. У него имеется книга De die natali, в которой говорится о влиянии созвездий на жизнь человека и содержатся сведения по астрономии и древним календарям. [16]
В настоящее время теория языков ( грамматик, порождающих языки), в том числе алгоритмических, бурно развивается и позволяет не эмпирически, а научно подходить к выбору схем анализа. [17]
В письменной речи у этого ребенка грамматика и синтаксис будут резко деформированы. [18]
После окончания процесса формирования корреляционной и трансформационной грамматик макромодель управления считается построенной и может быть использована для построения законов управления дискретной сетью. Управление сложной системой с помощью макромодели рассматривается в гл. [19]
Ограничения, накладываемые на вид машин или грамматик, порождающих языки, определяют классы языков. Традиционными классами языков являются: регулярный, контекстно-свободный, контекстно-связанный и языки типа 0, соответствующие конечным автоматам, магазинным автоматам, линейно-ограниченным автоматам и машинам Тьюринга. Каждый из классов языков порождается соответствующим классом автоматов. Это дает прекрасные средства для установления связи теории сетей Петри с теорией формальных языков: мы определяем класс языков сетей Петри как класс языков, порождаемых сетями Петри. Детали этого определения аналогичны деталям определения любого другого класса языков. [20]
Отметим, что проблема определения эквивалентности двух грамматик алгоритмически разрешима только для узкого класса языков, а именно языков типа 3 ( см. ниже), для других языков эта задача разрешима только для некоторых случаев. [21]
Отметим, что проблема определения эквивалентности двух грамматик алгоритмически разрешима только для узкого класса языков, а именно языков типя 3 ( см. ниже), для других языков эта задача разрешима только для некоторых частных случаев. [22]
Чтобы эффективная по отношению к глагольной группе грамматика была строго эквивалентна первой ее версии, мы должны строит. [23]
Многие из исследований в области формальных систем и грамматик касаются их порождающей мощности, а также структуры и сложности порождаемых ими языков; эти качества связаны между собой. В начале этой главы мы описали некоторые из причин, побуждающих заниматься исследованиями сложности. В основе такой работы лежит желание упростить лингвистику, сведя ее к таким формам, которые можно будет продуктивно использовать и анализировать. Язык слишком сложен и многообразен, поэтому мы обращаемся к формальным системам. Но само по себе существование формализма не решает наших проблем. [24]
Языки подразделяются на группы в соответствии с видом правил грамматик. [25]
В силу вышесформулированных свойств LL ( й) - грамматик можно считать, не нарушая общности, что рассматриваемые грамматики Г ( W, X, s, Р) не имеют е-продукций и & нормальной форме Грейбах. Так как все нетерминалы существенны и продукции начинаются на терминальные символы, то т ( Y) строго больше нуля. [26]
Для каждого входного объекта таким образом строится одна или несколько грамматик, соответствующих различным структурным описаниям, получаемым для входного объекта. Лишь те элементы вспомогательного словаря соответствуют высшему уровню описания - описанию объекта в целом, которые встречаются более чем в одной из построенных грамматик. [27]
Доказательство обеих теорем можно получить с помощью соответствующих теорем для грамматик, имеющихся в предыдущих параграфах, а именно теорем 2.2, 3.3 и 3.11 из гл. [28]
Луллий ( 1236 - 1315) - испанский теолог и грамматик XIII в. [29]
Контекстно-свободные грамматики были введены Хомским [1959] в качестве математической модели для грамматик естественных языков. Изложение в § 2 и 5 непосредственно инспирировано работами Нива [1968] н Боассона [1971]; например, доказательство теоремы 5.14 принадлежит Нива. [30]