Изменения

=== Сравнение двух методов ===Ясно, что язык генерируемый оба языка, генерируемых конечным автомат для первого метода и апрокисимируещей граматикой содержит для второго метода, содержат в себе язык генерируемый исходнодй исходной грамматикой. <br/> Также, привлекателным Привлекателным свойством такой MT аппроксимациипо сравнению с RTN, то, что она можеть быть применима к большим грамматикам: для каждого нетерминала грамматике <tex> G</tex>, добавляется не более одного нового нетерминала в <tex> G^*</tex> и размер результирующий грамматики максимум в 2 раза больше, чем размер исходной. Так как для RTN апроксимации грамматики <tex> G = \langle N, \Sigma, P, S \rangle</tex>, количество состаяний апроксимируещего автомата в худшем случаи может составлять <tex> O(|N|^2)</tex>, что может быть критично для аппроксимации больших грамматик.<br/>Также,еще несколько эффекивных методов аппрокимации можно найти в статьях, приведенных в ссылках.