68825

Застосування ДМП-автомату для реалізації висхідного аналізу

Лекция

Информатика, кибернетика и программирование

Для реалізації висхідного аналізу використовується ДМП-автомат, який працює за таким принципом. Якщо вхідний рядок приймається, то у кожному такті конкатенація символів, що знаходяться у магазині, і символів, що належать до ще непрочитаної частини вхідного рядка, утворює...

Украинкский

2014-09-26

179 KB

0 чел.

Лекція 13

Застосування ДМП-автомату для реалізації висхідного аналізу

Для    реалізації    висхідного    аналізу     використовується ДМП-автомат, який працює за  таким  принципом.  Якщо  вхідний  рядок приймається,  то  у  кожному   такті  конкатенація   символів, що знаходяться у магазині, і символів, що належать до ще непрочитаної частини вхідного рядка, утворює сентенціальну форму у правому виводі поданого вхідного рядка. При цьому верхній символ магазину, на відміну від низхідного аналізу, записується праворуч. ДМП-автомат використовує дві операції (два види тактів) - ЗСУВ  та  ЗГОРТКА.

                                                                       Табл.13.1

Номер

такту

Вміст

магазину

Непрочитана частина

вхідного рядка

Тип такту

1

  (((b)a(a))(b))

ЗСУВ

2

(

  ((b)a(a))(b))

ЗСУВ

3

((

  (b)a(a))(b))

ЗСУВ

4

(((

  b)a(a))(b))

ЗСУВ

5

(((b

   )a(a))(b))

ЗСУВ

6

(((b)

  a(a))(b))

ЗГОРТКА(2)

7

((S

  a(a))(b))

ЗСУВ

8

((Sa

  (a))(b))

ЗСУВ

9

((Sa(

  a))(b))

ЗСУВ

10

((Sa(a

  ))(b))

ЗСУВ

11

((Sa(a)

  )(b))

ЗГОРТКА(4)

12

((SaA

  )(b))

ЗСУВ

13

((SaA)

  (b))

ЗГОРТКА(3)

14

(A

  (b))

ЗСУВ

15

(A(

  b))

ЗСУВ

16

(A(b

  ))

ЗСУВ

17

(A(b)

  )

ЗГОРТКА(2)

18

(AS

  )

ЗСУВ

19

(AS)

 

ЗГОРТКА(1)

20

S

 

STOP

Операція  ЗСУВ  переносить поточний вхідний  символ  у  вершину магазину і зсовує головку читання вхідних символів  на  один  символ праворуч (робить зсув входу). Операція  ЗГОРТКА  виконується  тільки тоді, коли верхні символи магазину  співпадають  з  правою  частиною деякого  правила.  Якщо  правило має номер  р, то користуються позначенням  ЗГОРТКА(р). Операція  ЗГОРТКА(р) виштовхує з магазину усі символи правої частини правила з номером  р, а потім вштовхує у нього ліву частину  цього  правила.  При  цьому  положення  головки читання вхідних символів не змінюється.

На кожному кроці вибирається і  виконується  одна  з  операцій. Після операції  ЗСУВ  рядок, що одержується конкатенацією символів у магазині та необробленої частини  вхідного  рядка,  залишається  без зміни, а після  операції  ЗГОРТКА  змінюється.  Оскільки читання вхідних символів   відбувається зліва направо, а продукції застосовуються у зворотному  напрямку:  права  частина (основа) у магазині замінюється на  ліву,  то  описана  послідовність  дій  при синтаксичному аналізі називається  LR-методом      Розглянемо послідовність тактів  ДМП-автомату при аналізі рядка  (((b)a(a))(b))  за допомогою таблиці 13.1. 

Автомат переносить вхідні символи у магазин, доки у верхній частині магазину не з’явиться основа. На кожному кроці старий  рядок (вхід + магазин) або співпадає з новим  (ЗСУВ), або виводиться з нього застосуванням  правила р  (ЗГОРТКА(р)).  Отже,  початковий вхідний  рядок  w  виводиться  з  будь-якого   проміжного   рядка, утвореного конкатенацією непрочитаної  частини  входу  і  заповненої частини магазину. Тому, коли після закінчення читання вхідного рядка  w (під головкою читання  -  маркер  кінця ), у  верхній  частині магазину  над  маркером  дна ()      знаходиться   початковий   символ граматики  S, це означає, що w  виводиться з символу  S,  і  автомат приймає  w.

LR(k)-граматики

Недолік розглянутого принципу побудови автомату для  висхідного аналізу полягає у тому, що треба на  кожному  кроці  перевіряти,  чи утворюють верхні символи  магазину  праву  частину  якогось  правила граматики. Для того, щоб позбавитись  цього  недоліку,  застосовують  ДМП-автомат з багатьма станами керуючого пристрою. Ці стани  уводять таким чином, щоб верхній символ  магазину  у  сполученні  зі  станом однозначно визначав за вхідним символом наступний такт. Але  не  для будь-якої граматики це можливо.  Може  статися,  що  верхня  частина магазину допускає згортку для декількох правил. У  такому  разі  для правильного вибору такту,  який  не  викличе  у  подальшому  аналізі повернення,  іноді  виникає  потреба  враховувати  деяку   кількість символів,   розташованих   у   вхідному   рядку   після   останнього прочитаного. Кажуть, що автомат повинен як би заглянути  уперед  або завчасно  прочитати  символи,  тобто  використати  один  або  більше завчасно прочитаних символів.

Якщо при поданій граматиці для детермінованого (без  повернень) синтаксичного аналізу  LR-методом необхідно використати k завчасно проглянутих    символів,    то    така     граматика     називається LR(k)-граматикою.   Мова,   що    породжується     LR(k)-граматикою, називається  LR(k)-мовою. Надалі про  LR(k)-граматику будемо казати, що вона має властивість  LR(k), або належить до класу LR(k). На практиці використання  LR(k)-граматик при  k > 1  призводить до  неприпустимо  великих  витрат  часу.  Але  виявляється,  що  нема необхідності використовувати  k > 1, тому, що  у  теорії синтаксичного аналізу доводиться [1], що будь-яка  LR(k)-мова завжди еквівалентна  LR(1)-мові. Більш того, якщо застосовується маркер кінця рядка,  то   LR(k)-мова  еквівалентна  і  деякій LR(0)-мові.

Приклад  LR(2)-граматики, що  не  є   LR(1)-граматикою  утворює така сукупність правил.

1. S F, S

                                                              2. S  F

                                                              3. F  aL

                                                              4. L  t

                                                              5. L   t, L

Ця граматика породжує непусту послідовність списків. Кожний список починається елементом  at, інші елементи списку – t. Елементи списку відокремлюються комою. Списки також відокремлюються комою. Список може складатися і тільки з одного елементу  at.

Те, що подана граматика не належить до  класу   LR(1),  прямує  з таких міркувань.  Якщо  прочитана  частина  вхідного  рядка   at   і завчасно проглянутий символ ",", то не  можна  визначити,  що  треба виконувати:  ЗСУВ чи ЗГОРТКУ(4). Дійсно, коли після коми прямує "t", необхідно виконувати  ЗСУВ, а коли прямує "а" - ЗГОРТКУ(4).

Згідно  з  теорією  існує  еквівалентна   LR(1)-граматика.   Не зупиняючись на питанні, як її одержати, наведемо її вигляд.

1. S atF

        2. F , ITEM F

                                                               3. F  

                                                               4. ITEM at 

                                                               5. ITEM  t  

Подана граматика,  як  і  попередня  генерує  послідовності  груп символів виду  at  і   t,  що  розділяються  комами.  Третє  правило застосовується після того, як прочитаний увесь вхідний рядок. Кожний поточний вхідний  символ  у  такті   ЗСУВ   переноситься  у  вершину магазину. Кожного разу, коли  у  верхній  частині  стеку  опиняється група символів  at  чи  t, застосовується відповідно  ЗГОРТКА(4)  чи  ЗГОРТКА(5).   Після   застосування   правила   3   магазин   містить послідовність символів  ITEM , ITEM , … , ITEM F. Послідовне багаторазове застосування правила 2 дає вміст магазину  ITEM F, до якого не можна застосувати жодного правила. Якщо  ж  правило 4 застосовувати до усіх груп символів крім  першої,  то  автомат  буде приймати усі рядки, що породжуються поданою граматикою. Отже,  остання граматика є  LR(0)-граматикою, у якій застосування правила  залежить від  лівого  контексту  (  від  раніше  прочитаних  символів).  Таку залежність завжди можна  врахувати  за  допомогою  станів  керуючого пристрою автомату.

Відносно    LR(k)-граматик   в   теорії синтаксичного аналізу [1]  доведено    два фундаментальні ствердження.

    1. Існує алгоритм, що визначає для будь-якої поданої  граматики і поданого  k, чи належить ця граматика до класу  LR(k).

    2. Не  існує  алгоритма,  що  визначає   k,  для  якого  подана граматика належить до класу  LR(k).

Оскільки   усі   мови,   що   породжуються    LR(k)-граматикою, породжуються  також  і   LR(0)-граматикою,  можна  було  б  детельно розглянути саме останній клас граматик. Але більшість  сучасних  мов програмування (або принаймні їх основні властивості) природним чином означаються за допомогою  LR(1)-граматик. Тому зупинемося  на  цьому класі і розглянемо методи побудови  ДМП-автомату з багатьма станами.

LR-таблиці розбору

При побудові  ДМП-автомату відповідність між станами  керуючого пристрою,  символами  магазину  і  вхідними  символами  задають   за допомогою  LR-таблиць. Побудову  LR-таблиці розглянемо  на  прикладі граматики  G., наведеною у попередній лекції.

Стани керуючого пристрою уводяться для того, щоб визначати  вміст  магазину.  Тому кожного разу, коли змінюється вміст магазину,  змінюється  і  стан. Причому стан може змінюватись як  у  такті   ЗСУВ,  коли  у  магазин вштовхується вхідний символ, так і у такті  ЗГОРТКА, коли з магазина може виштовхуватись більше одного  символа,  а  вштовхується  завжди один. Будемо вважати, що перед початком аналізу автомат  знаходиться у стані 1.

Згідно з поданою граматикою, якщо вхідний рядок правильний (породжується  цією  граматикою), у першому такті у магазин вштовхується символ  « ( ».  Цій  зміні  вмісту  магазину  відповідає перехід автомату у новий  стан, нехай 2, а попередній стан  1 запам’ятовується за допомогою додаткового стеку станів.  Далі  зміна стану може статися, якщо у результаті зсуву один з символів  « ( » чи « b » переноситься  з  вхідного  рядка  у  магазин.  Тепер  автомат переходить у стан 3 або 4 відповідно, а стан 2 вштовхується у  стек  станів.  Якщо автомат потрапив у стан у стан 4 (прочитаний символ « b »), наступний символ вхідного рядка  « ) » переведе автомат у новий стан, припустимо 5. Стан  5 відповідає утворенню у верхній частині магазину послідовності символів  « (b) ». Це означає, що  можна  виконати  згортку,  застосовуючи  правило  2.  В результаті   з   магазину   виштовхуються верхні  три символи,   автомат повертається у стан 1, а потім у магазин вштовхується символ  S.

Таким чином, кожному стану автомату відповідають деякі проміжки  між  символами правих частин правил граматики. Для граматики G можна так позначити стани.

                                                         1. S     1,3,5(2A5S13)14

                                                         2. S     1,3,5(2b4)12

                                                         3. A    2,9(3S8a9A10)11

                                                         4. A    2,9(3a6)7 

Позначення станів (розмітка продукцій) виконується у результаті  проглядання  правил граматики. Спочатку  присвоюється  номер  1  початковому  стану.  Це означає, що усі проміжки  на  початку  правих  частин  правил,  ліва частина яких є  S, одержують номер 1. Далі  для  присвоєння  номерів іншим  проміжкам  застосовується  ітераційна  процедура.  На  кожній ітерації розглядається множина проміжків з  однаковими  номерами,  і послідовно виконуються  дві  процедури:  1)  розповсюдження  номерів даної множини, 2) присвоєння нових номерів проміжкам.

Розповсюдження  відбувається,  коли  проміжок   даної  множини передує нетерміналу. Нехай розглядається множина проміжків з номером  n, і один з цих проміжків передує нетерміналу   А. Тоді усі перші проміжки правих частин правил, ліва частина яких є  А, одержують номер n і включаються у подану  множину. Це правило застосовується рекурсивно, доки можливо присвоювати даний номер проміжкам, які ще не мають цього номера. Присвоєння проміжку нового номера  не  означає  усунення номера старого, якщо такий був, а тільки доповнення множини номерів, присвоєнних даному проміжку. Отож  проміжок  може  мати  декілька номерів.

Присвоєння нових номерів проміжкам починається після закінчення попередньої  процедури  і  виконується  у  результаті  просування  у кожному правилі від проміжка з поданим номером праворуч на один  символ. Оскільки, коли автомат знаходиться у поданому стані, цей  символ  може вштовхуватись у магазин, будемо називати його вхідним  магазинним. Просуванню праворуч на один символ відповідає перехід автомату у новий стан, номер якого присвоюється сусідньому праворуч проміжку. При цьому однаковим вхідним магазинним символам відповідають однакові нові стани.

Після завершення цієї процедури поданий стан більш не розглядається, відбувається перехід до наступного стану, якщо такий є, і починається нова ітерація.

Для  наведеного  прикладу на першій ітерації процедура розповсюдження  не застосовується, а процедура присвоєння нових номерів присвоює  другому  проміжку  правил  1 та  2  номер  2.  Наступна ітерація розповсюджує номер 2 на перші проміжки правил  3 і  4,  а також присвоює номери 3, 4 та 5 відповідним проміжкам. Далі процес продовжується згідно з описаним алгоритмом.

Після завершення позначення станів у правилах граматики можна побудувати  LR-таблицю.  Кожний  стовпець  цієї  таблиці  відповідає вхідному магазинному символу, а кожний рядок - стану. На перетинанні  i-го рядка та  j-го стовпця записується позначення такту, що повинен виконуватися автоматом. Будемо застосовувати такі позначення тактів.

1. SІ - ЗСУВ і перехід автомату у стан  І.

2. РК - ЗГОРТКА(К).

3. STOP - завершення аналізу.

                                    Табл.13.2

стану

Вхідні символи

S

A

a

b

(

)

1

S2

2

S5

S4

S3

3

S8

S6

S2

4

S12

5

S13

S2

6

S7

7

8

S9

9

S10

S3

10

S11

11

12

13

S14

14

                                             Табл.13.3

стану

Вхідні символи

S

A

a

b

(

)

1

STOP

S2

2

S5

S4

S3

3

S8

S6

S2

4

S12

5

S13

S2

6

S7

7

P4

P4

8

S9

9

S10

S3

10

S11

11

P3

P3

12

P2

P2

P2

13

S14

14

P2

P2

P2

У  разі,  коли  такт  автомату  не  визначено,  що   відповідає наявності помилки у вхідному рядку, будемо залишати у таблиці  пусте місце.  

Для того, щоб  визначити, у  який  стан  переходить  автомат, застосовується  стек станів, у який вштовхуються і з якого виштовхуються номери станів паралельно зі зміною вмісту магазину символів. При цьому застосування правила  К  для згортки призводить до того, що з магазину і зі стеку виштовхується  однакова  кількість елементів, що дорівнює кількості символів правої частини правила  К. У результаті автомат переходить у стан, що  знаходиться  на  вершині стеку станів, а наступним вхідним магазинним  символом  є  символ  з  лівої частини правила  К.

Заповнення  LR-таблиці здійснюють у два етапи. Спочатку згідно з розміченими правилами граматики (з  позначеними  станами)  у таблицю заносять  зсуви.  Для граматики  G  після цього LR-таблиця приймає вигляд табл.13.2.

Для того, щоб занести у таблицю згортки, треба врахувати, що ці такти виконуються, коли автомат знаходиться  у стані, номер якого присвоєний найправішому проміжку у правилі. Для граматики G  такими станами є 7, 11, 12 та 14. Будемо називати  ці  стани  рядковими.  Якщо граматика належить до класу  LR(0), застосування правила у рядковому стані не залежить від наступного  вхідного  символу  (символу  під головкою читання, або завчасно проглянутого символу). Це означає, що усім елементам рядка, що відповідає рядковому стану, можна присвоїти однакові  значення.  Саме така ситуація має місце у поданому прикладі.

                                                                                                    Табл.13.4

Вхід

Вхідний магазинний символ

Вміст магазину

Вміст стеку станів

Тип

такту

1

2

3

4

5

(((b)a(a))(b))

(

1

S2

((b)a(a))(b))

(

(

1, 2

S3

(b)a(a))(b))

(

((

1, 2, 3

S2

b)a(a))(b))

b

(((

1, 2, 3, 2

S4

)a(a))(b))

)

(((b  

1, 2, 3, 2, 4

S12

a(a))(b))

(((b)

1, 2, 3, 2, 4, 12

P2

a(a))(b))

S

((S

1, 2, 3

S8

a(a))(b))

a

((S

1, 2, 3, 8

S9

(a))(b))

(

((Sa

1, 2, 3, 8, 9

S3

a))(b))

a

((Sa(

1, 2, 3, 8, 9, 3,

S6

))(b))

)

((Sa(a

1, 2, 3, 8, 9, 3, 6,

S7

)(b))

((Sa(a)

1, 2, 3, 8, 9, 3, 6, 7

P4

)(b))

A

((Sa

1, 2, 3, 8, 9

S10

)(b))

)

((SaA

1, 2, 3, 8, 9, 10

S11

(b))

((SaA)

1, 2, 3, 8, 9, 10, 11

P3

(b))

A

(

1, 2

S5

(b))

(

(A

1, 2, 5

S2

b))

b

(A(

1, 2, 5, 2

S4

))

)

(A(b

1, 2, 5, 2, 4

S12

)

(A(b)

1, 2, 5, 2, 4, 12

P2

)

S

(A

1, 2, 5

S13

)

)

(AS

1, 2, 5, 13

S14

(AS)

1, 2, 5, 13, 14

P1

 

S

1

STOP

Додавши до  раніше  одержаної  таблиці  13.2   стовпець,  що відповідає маркеру кінця вхідного рядка, а також врахувавши згортки та  дію  STOP, одержуємо остаточний вигляд  LR-таблиці  (табл.13.3).

Розглянемо    застосування    наведеної     LR-таблиці    для синтаксичного розбору рядка  (((b)a(a))(b)).  Послідовні  конфігурації   автомату   зобразимо   у   вигляді табл.13.4.

Підкласи LR(1)-граматик

У загальному випадку проміжки усередині правої частини деякого правила можуть отримувати номери, присвоєні найправішим проміжкам у інших правилах. В цьому випадку кажуть, що має місце  конфлікт, а відповідний стан називають неадекватним. Конфлікт  може  виникати  внаслідок залежності дії автомату від лівого або правого контексту (тобто  від раніше прочитаних вхідних символів,  або від символів, що будуть прочитані надалі). Простішою формою залежності від правого контексту є залежність від завчасно проглянутого символу. LR(1)-граматики утворюють клас граматик, для яких  усі  конфлікти  вирішуються  за  допомогою завчасно проглянутого символу. Існують декілька алгоритмів врахування завчасно проглянутого символу у висхідному аналізі. Якщо граматика допускає застосування найпростішого алгоритму, то її відносять до класу  SLR(1)-граматик. Граматики, що вимагають застосування ускладненого алгоритму, але не потребують збільшення кількості станів (порівняно з алгоритмом для SLR(1)-граматик), називають    LALR(1)-граматиками (Look Ahead LR(1)). Нарешті, LR(1)-граматики загального вигляду можуть вимагати використання найбільш складного алгоритму і збільшеної кількості станів керуючого пристрою.  При аналізі мов, що породжуються такими граматиками застосовують так звані канонічні LR(1)-таблиці.

У випадку, коли заздалегідь невідомо, до якого класу  належить граматика, спочатку намагаються побудувати  LR-таблицю,  виходячи  з припущення, що граматика має  властивість   LR(0).  У  разі  невдачі будується    SLR(1)-таблиця,   а    при    повторній    невдачі  - LALR(1)-таблиця. Нарешті, якщо знов одержати  таблицю  не  вдається, граматика обробляється як  LR(1)-граматика загального вигляду. Така послідовність дій, у середньому,   призводить   до   зменшення трудомісткості розробки компілятора.  Крім  того,  має  значення  та обставина, що граматики мов програмування  часто  мають  властивість  SLR(1) і майже завжди  LALR(1).

Окремий  клас  граматик,  що  не  належать   до  LR(1)-класу, утворюють   неоднозначні  граматики (породжуючі рядки, яким відповідають декілька дерев розбору). Задача визначення,  чи  подана граматика  однозначна, як вже  згадувалося, алгоритмічно невирішувана. Проте застосування алгоритму побудови  LR(1)-таблиці до поданої  граматики у разі успіху показує, що граматика однозначна.

Розглянуті таблиці розбору забезпечують широкі діагностичні можливості, оскільки кожному пустому місцю у таблиці можна поставити у відповідність  певне  повідомлення  про  помилку.  Недоліком   цих таблиць  є  великий  об’єм  необхідної  пам’яті,  а застосування упакованих форм зберігання таблиць у  пам’яті  викликає  значні витрати машинного часу.


 

А также другие работы, которые могут Вас заинтересовать

76503. Алиментные правоотношения супругов и бывших супругов 18.09 KB
  Супруги вправе заключить соглашение об уплате алиментов. проживающие как супруги без официальной регистрации брака в органах загса могут заключить соглашение о предоставлении содержания на которые нормы СК РФ регулирующие соглашения об уплате алиментов будут распространяться в порядке аналогии закона. В случае отказа от материальной поддержки и отсутствия соглашения между супругами об уплате алиментов право требовать предоставления алиментов в судебном порядке от другого супруга обладающего необходимыми для этого средствами имеют: а...
76504. Алиментные правоотношения родителей и детей 21.08 KB
  80 СК РФ Родители обязаны содержать своих несовершеннолетних детей.27 ГК РФ обязанность родителей содержать своих детей прекращается ст. Гражданский кодекс РФ наделяет детей достигших 14-летнего возраста заключать соглашение об уплате алиментов с согласия своего родителя или иного законного представителя ст.
76505. Алиментные правоотношения родителей и совершеннолетних детей 19.06 KB
  И здесь следует остановиться на соглашении об уплате алиментов. Соглашение об уплате алиментов – способ добровольной уплаты алиментов. Родители вправе заключить соглашение о предоставлении алиментов своим совершеннолетним детям независимо от их нетрудоспособности и нуждаемости.
76506. Алиментные правоотношения других членов семьи 17 KB
  Трудоспособные совершеннолетние братья и сестры обладающие необходимыми средствами обязаны содержать своих нуждающихся в помощи несовершеннолетних братьев и сестер в случае невозможности получения ими содержания от своих родителей а также нетрудоспособных нуждающихся в помощи совершеннолетних братьев и сестер если они не могут получить содержание от своих трудоспособных совершеннолетних детей супругов бывших супругов или от родителей ст. 94 СК РФ предусмотрена алиментная обязанность дедушки и бабушки в отношении своих внуков. К...
76507. Соглашение об уплате алиментов (понятие, форма, содержание, правовое значение) 17.43 KB
  Заключить соглашение может также лицо не являющееся алиментообязанным когда нет оснований для назначения алиментов в судебном порядке. Соглашение об уплате алиментов должно быть заключено в письменной форме с последующим нотариальным удостоверением п. В содержании соглашения об уплате алиментов должны быть указаны размер алиментов; порядок и способы их уплаты.
76508. Порядок взыскания и уплаты алиментов 19.8 KB
  2 ст 104 Семейного кодекса РФ установлены следующие способы уплаты алиментов: долевой в процентах к заработку и или доходу плательщика; в твердой сумме уплачиваемой периодически; в твердой сумме уплачиваемой единовременно; путем предоставления имущества это может быть единовременно или периодически в согласованные периоды; смешанные варианты. 81 Семейного кодекса Российской Федерации размер алиментов зависит от материального или семейного положения сторон и иных заслуживающих внимания обстоятельств. Взыскание алиментов...
76509. Взыскание задолженности по алиментам 17.93 KB
  Задолженность по уплате алиментов может образоваться в двух случаях: Судом установлен размер алиментов в твердой денежной сумме однако алиментообязанное лицо по какимто причинам не платит положенные алименты. Судом установлен размер алиментов в процентах от заработка однако алиментообязанное лицо нигде не работает и не получает иного дохода. В первом случае расчет задолженности по алиментам не составляет особого труда: необходимо умножить количество месяцев в течение которых не производилась уплата алиментов на твердую денежную сумму...
76510. Прекращение алиментных правоотношений 17.14 KB
  Так если алиментные обязательства были установлены соглашением сторон об уплате алиментов то они согласно п. 120 СК прекращаются: смертью одной из сторон; истечением срока действия соглашения; по иным основаниям непосредственно предусмотренным соглашением об уплате алиментов например при восстановлении трудоспособности или прекращении нуждаемости бывшего супруга на содержание которого другим бывшим супругом выплачивались алименты. Что же касается алиментов взыскиваемых в судебном порядке то основания...
76511. Формы контроля знаний, умений и навыков учащихся на уроках русского языка 33 KB
  Формы контроля знаний умений и навыков учащихся на уроках русского языка. Устный опрос На уроках контроль знаний учащихся осуществляется в виде фронтальной и индивидуальной проверки. При фронтальном опросе за короткое время проверяется состояние знаний учащихся всего класса по определенному вопросу или группе вопросов. Индивидуальный устный опрос позволяет выявить правильность ответа по содержанию его последовательность самостоятельность суждений и выводов степень развития логического мышления культуру речи учащихся.