Π Π°Π·ΡΠ°Π±ΠΎΡΠΊΠ° ΡΡΠ΅Π±Π½ΠΎΠ³ΠΎ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠ° Ρ ΡΠΏΡΠΎΡΠ΅Π½Π½ΠΎΠ³ΠΎ ΡΠ΅ΠΊΡΡΠΎΠ²ΠΎΠ³ΠΎ ΡΠ·ΡΠΊΠ° Π²ΡΡΠΎΠΊΠΎΠ³ΠΎ ΡΡΠΎΠ²Π½Ρ
Π‘ΡΡΡΠΊΡΡΡΠ° ΡΠ·ΡΠΊΠ° Ρ Π°ΡΠ°ΠΊΡΠ΅ΡΠΈΠ·ΡΠ΅Ρ ΠΈΠ΅ΡΠ°ΡΡ ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΡ ΠΌΠ΅ΠΆΠ΄Ρ Π΅Π³ΠΎ ΠΏΠΎΠ½ΡΡΠΈΡΠΌΠΈ, ΠΊΠΎΡΠΎΡΡΠ΅ ΠΎΠΏΠΈΡΡΠ²Π°ΡΡΡΡ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΠΌΠΈ ΠΏΡΠ°Π²ΠΈΠ»Π°ΠΌΠΈ. Π―Π·ΡΠΊΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΌΠΎΠ³ΡΡ ΡΠΈΠ»ΡΠ½ΠΎ ΠΎΡΠ»ΠΈΡΠ°ΡΡΡΡ Π΄ΡΡΠ³ ΠΎΡ Π΄ΡΡΠ³Π° ΠΏΠΎ ΠΎΡΠ³Π°Π½ΠΈΠ·Π°ΡΠΈΠΈ ΠΎΡΠ΄Π΅Π»ΡΠ½ΡΡ ΠΏΠΎΠ½ΡΡΠΈΠΉ ΠΈ ΠΏΠΎ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΡΠΌ ΠΌΠ΅ΠΆΠ΄Ρ Π½ΠΈΠΌΠΈ. Π―Π·ΡΠΊ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ PL/1 Π΄ΠΎΠΏΡΡΠΊΠ°Π΅Ρ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ»ΡΠ½ΠΎΠ΅ Π²Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΏΡΠΎΡΠ΅Π΄ΡΡ ΠΈ ΡΡΠ½ΠΊΡΠΈΠΉ, ΡΠΎΠ³Π΄Π° ΠΊΠ°ΠΊ Π² C Π²ΡΠ΅ ΡΡΠ½ΠΊΡΠΈΠΈ Π΄ΠΎΠ»ΠΆΠ½Ρ Π½Π°Ρ ΠΎΠ΄ΠΈΡΡΡΡ Π½Π° Π²Π½Π΅ΡΠ½Π΅ΠΌ ΡΡΠΎΠ²Π½Π΅ Π²Π»ΠΎΠΆΠ΅Π½Π½ΠΎΡΡΠΈ… Π§ΠΈΡΠ°ΡΡ Π΅ΡΡ >
Π Π°Π·ΡΠ°Π±ΠΎΡΠΊΠ° ΡΡΠ΅Π±Π½ΠΎΠ³ΠΎ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠ° Ρ ΡΠΏΡΠΎΡΠ΅Π½Π½ΠΎΠ³ΠΎ ΡΠ΅ΠΊΡΡΠΎΠ²ΠΎΠ³ΠΎ ΡΠ·ΡΠΊΠ° Π²ΡΡΠΎΠΊΠΎΠ³ΠΎ ΡΡΠΎΠ²Π½Ρ (ΡΠ΅ΡΠ΅ΡΠ°Ρ, ΠΊΡΡΡΠΎΠ²Π°Ρ, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½ΡΡΠΎΠ»ΡΠ½Π°Ρ)
1. ΠΠ΅ΡΠΎΠ΄Ρ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΡΠ°Π·Π±ΠΎΡΠ°
1.1 Π Π°Π·Π±ΠΎΡ ΡΠ²Π΅ΡΡ Ρ-Π²Π½ΠΈΠ·
1.1.1 LL (k) — ΡΠ·ΡΠΊΠΈ ΠΈ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ
1.1.2 ΠΠ΅ΡΠΎΠ΄ ΡΠ΅ΠΊΡΡΡΠΈΠ²Π½ΠΎΠ³ΠΎ ΡΠΏΡΡΠΊΠ°
1.2 Π Π°Π·Π±ΠΎΡ ΡΠ½ΠΈΠ·Ρ-Π²Π²Π΅ΡΡ
1.2.1 LR (k) — Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ
1.2.1.1 LR (0) — Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ
1.2.2 LALR (1) — Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ
2. Π Π°Π·ΡΠ°Π±ΠΎΡΠΊΠ° ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠ°
2.1 ΠΠ½Π°Π»ΠΈΠ· ΡΡΠ΅Π±ΠΎΠ²Π°Π½ΠΈΠΉ
2.2 ΠΡΠΎΠ΅ΠΊΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅
2.2.1 ΠΡΠΎΠ΅ΠΊΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ°
2.2.2 ΠΡΠΎΠ΅ΠΊΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΠΌΠ°Π³Π°Π·ΠΈΠ½Π½ΠΎΠ³ΠΎ Π°Π²ΡΠΎΠΌΠ°ΡΠ°
2.2.4 ΠΡΠΎΠ³ΡΠ°ΠΌΠΌΠ½Π°Ρ ΡΠ΅Π°Π»ΠΈΠ·Π°ΡΠΈΡ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ°
2.2.4 Π Π°Π·ΡΠ°Π±ΠΎΡΠΊΠ° ΠΌΠΎΠ΄ΡΠ»Ρ ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠ°ΡΠΈΠΈ
2.3 ΠΠΎΠ΄ΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅
2.4 Π’Π΅ΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅
ΠΠ°ΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅
Π‘ΠΏΠΈΡΠΎΠΊ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½Π½ΡΡ ΠΈΡΡΠΎΡΠ½ΠΈΠΊΠΎΠ²
ΠΡΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ Π. ΠΠΈΡΡΠΈΠ½Π³ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠ½ΠΎΠ³ΠΎ ΡΠ΅ΠΊΡΡΠ° ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠ°
ΠΡΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ Π. Π Π΅Π·ΡΠ»ΡΡΠ°ΡΡ ΡΠ΅ΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ
ΠΡΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ Π. Π‘Ρ Π΅ΠΌΠ° ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠ°
ΠΠ°Π²Π½ΠΎ ΡΠΆΠ΅ ΠΏΡΠΎΡΠ»ΠΈ ΡΠ΅ Π²ΡΠ΅ΠΌΠ΅Π½Π°, ΠΊΠΎΠ³Π΄Π° ΠΏΡΠ΅ΠΆΠ΄Π΅ ΡΠ΅ΠΌ Π½Π°ΠΏΠΈΡΠ°ΡΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ Π½Π°Π΄ΠΎ Π±ΡΠ»ΠΎ ΠΏΠΎΠ½ΡΡΡ ΠΈ Π·Π°ΠΏΠΎΠΌΠ½ΠΈΡΡ Π½Π΅ ΠΎΠ΄ΠΈΠ½ Π΄Π΅ΡΡΡΠΎΠΊ ΠΌΠ°ΡΠΈΠ½Π½ΡΡ ΠΈΠ½ΡΡΡΡΠΊΡΠΈΠΉ. Π‘ΠΎΠ²ΡΠ΅ΠΌΠ΅Π½Π½ΡΠΉ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΡ ΡΠΎΡΠΌΡΠ»ΠΈΡΡΠ΅Ρ ΡΠ²ΠΎΠΈ Π·Π°Π΄Π°ΡΠΈ Π½Π° ΡΠ·ΡΠΊΠ°Ρ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ Π²ΡΡΠΎΠΊΠΎΠ³ΠΎ ΡΡΠΎΠ²Π½Ρ ΠΈ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅Ρ ΡΠ·ΡΠΊ Π°ΡΡΠ΅ΠΌΠ±Π»Π΅ΡΠ° Π»ΠΈΡΡ Π² ΠΈΡΠΊΠ»ΡΡΠΈΡΠ΅Π»ΡΠ½ΡΡ ΡΠ»ΡΡΠ°ΡΡ . ΠΠ°ΠΊ ΠΈΠ·Π²Π΅ΡΡΠ½ΠΎ, Π°Π»Π³ΠΎΡΠΈΡΠΌΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΡΠ·ΡΠΊΠΈ ΡΡΠ°Π½ΠΎΠ²ΡΡΡΡ Π΄ΠΎΡΡΡΠΏΠ½ΡΠΌΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΡΡ Π»ΠΈΡΡ ΠΏΠΎΡΠ»Π΅ ΡΠΎΠ·Π΄Π°Π½ΠΈΡ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠΎΠ² Ρ ΡΡΠΈΡ ΡΠ·ΡΠΊΠΎΠ². [2−6]
Π―Π·ΡΠΊΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ ΡΠΈΠ»ΡΠ½ΠΎ ΠΎΡΠ»ΠΈΡΠ°ΡΡΡΡ Π΄ΡΡΠ³ ΠΎΡ Π΄ΡΡΠ³Π° ΠΏΠΎ Π½Π°Π·Π½Π°ΡΠ΅Π½ΠΈΡ, ΡΡΡΡΠΊΡΡΡΠ΅, ΡΠ΅ΠΌΠ°Π½ΡΠΈΡΠ΅ΡΠΊΠΎΠΉ ΡΠ»ΠΎΠΆΠ½ΠΎΡΡΠΈ, ΠΌΠ΅ΡΠΎΠ΄Π°ΠΌ ΡΠ΅Π°Π»ΠΈΠ·Π°ΡΠΈΠΈ. ΠΡΠΎ Π½Π°ΠΊΠ»Π°Π΄ΡΠ²Π°Π΅Ρ ΡΠ²ΠΎΠΈ ΡΠΏΠ΅ΡΠΈΡΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΡΠΎΠ±Π΅Π½Π½ΠΎΡΡΠΈ Π½Π° ΡΠ°Π·ΡΠ°Π±ΠΎΡΠΊΡ ΠΊΠΎΠ½ΠΊΡΠ΅ΡΠ½ΡΡ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠΎΠ².
Π―Π·ΡΠΊΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΡΠ²Π»ΡΡΡΡΡ ΠΈΠ½ΡΡΡΡΠΌΠ΅Π½ΡΠ°ΠΌΠΈ Π΄Π»Ρ ΡΠ΅ΡΠ΅Π½ΠΈΡ Π·Π°Π΄Π°Ρ Π² ΡΠ°Π·Π½ΡΡ ΠΏΡΠ΅Π΄ΠΌΠ΅ΡΠ½ΡΡ ΠΎΠ±Π»Π°ΡΡΡΡ , ΡΡΠΎ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅Ρ ΡΠΏΠ΅ΡΠΈΡΠΈΠΊΡ ΠΈΡ ΠΎΡΠ³Π°Π½ΠΈΠ·Π°ΡΠΈΠΈ ΠΈ ΡΠ°Π·Π»ΠΈΡΠΈΡ ΠΏΠΎ Π½Π°Π·Π½Π°ΡΠ΅Π½ΠΈΡ. Π ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ ΠΏΡΠΈΠΌΠ΅ΡΠ° ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡΠΈΠ²Π΅ΡΡΠΈ ΡΠ°ΠΊΠΈΠ΅ ΡΠ·ΡΠΊΠΈ ΠΊΠ°ΠΊ Π€ΠΎΡΡΡΠ°Π½, ΠΎΡΠΈΠ΅Π½ΡΠΈΡΠΎΠ²Π°Π½Π½ΡΠΉ Π½Π° Π½Π°ΡΡΠ½ΡΠ΅ ΡΠ°ΡΡΠ΅ΡΡ, C, ΠΏΡΠ΅Π΄Π½Π°Π·Π½Π°ΡΠ΅Π½Π½ΡΠΉ Π΄Π»Ρ ΡΠΈΡΡΠ΅ΠΌΠ½ΠΎΠ³ΠΎ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ, ΠΡΠΎΠ»ΠΎΠ³, ΡΡΡΠ΅ΠΊΡΠΈΠ²Π½ΠΎ ΠΎΠΏΠΈΡΡΠ²Π°ΡΡΠΈΠΉ Π·Π°Π΄Π°ΡΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π²ΡΠ²ΠΎΠ΄Π°, ΠΠΈΡΠΏ, ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΠΌΡΠΉ Π΄Π»Ρ ΡΠ΅ΠΊΡΡΡΠΈΠ²Π½ΠΎΠΉ ΠΎΠ±ΡΠ°Π±ΠΎΡΠΊΠΈ ΡΠΏΠΈΡΠΊΠΎΠ². ΠΡΠΈ ΠΏΡΠΈΠΌΠ΅ΡΡ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡΠΎΠ΄ΠΎΠ»ΠΆΠΈΡΡ. ΠΠ°ΠΆΠ΄Π°Ρ ΠΈΠ· ΠΏΡΠ΅Π΄ΠΌΠ΅ΡΠ½ΡΡ ΠΎΠ±Π»Π°ΡΡΠ΅ΠΉ ΠΏΡΠ΅Π΄ΡΡΠ²Π»ΡΠ΅Ρ ΡΠ²ΠΎΠΈ ΡΡΠ΅Π±ΠΎΠ²Π°Π½ΠΈΡ ΠΊ ΠΎΡΠ³Π°Π½ΠΈΠ·Π°ΡΠΈΠΈ ΡΠ°ΠΌΠΎΠ³ΠΎ ΡΠ·ΡΠΊΠ°. ΠΠΎΡΡΠΎΠΌΡ ΠΌΠΎΠΆΠ½ΠΎ ΠΎΡΠΌΠ΅ΡΠΈΡΡ ΡΠ°Π·Π½ΠΎΠΎΠ±ΡΠ°Π·ΠΈΠ΅ ΡΠΎΡΠΌ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½ΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠΎΠ² ΠΈ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΉ, ΡΠ°Π·Π»ΠΈΡΠΈΠ΅ Π² Π½Π°Π±ΠΎΡΠ΅ Π±Π°Π·ΠΎΠ²ΡΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ, ΡΠ½ΠΈΠΆΠ΅Π½ΠΈΠ΅ ΡΡΡΠ΅ΠΊΡΠΈΠ²Π½ΠΎΡΡΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΏΡΠΈ ΡΠ΅ΡΠ΅Π½ΠΈΠΈ Π·Π°Π΄Π°Ρ, Π½Π΅ ΡΠ²ΡΠ·Π°Π½Π½ΡΡ Ρ ΠΏΡΠ΅Π΄ΠΌΠ΅ΡΠ½ΠΎΠΉ ΠΎΠ±Π»Π°ΡΡΡΡ. Π―Π·ΡΠΊΠΎΠ²ΡΠ΅ ΡΠ°Π·Π»ΠΈΡΠΈΡ ΠΎΡΡΠ°ΠΆΠ°ΡΡΡΡ ΠΈ Π² ΡΡΡΡΠΊΡΡΡΠ΅ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠΎΠ². ΠΠΈΡΠΏ ΠΈ ΠΡΠΎΠ»ΠΎΠ³ ΡΠ°ΡΠ΅ Π²ΡΠ΅Π³ΠΎ Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ Π² ΡΠ΅ΠΆΠΈΠΌΠ΅ ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠ°ΡΠΈΠΈ ΠΈΠ·-Π·Π° ΡΠΎΠ³ΠΎ, ΡΡΠΎ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡΡ Π΄ΠΈΠ½Π°ΠΌΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠΎΡΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΡΠΈΠΏΠΎΠ² Π΄Π°Π½Π½ΡΡ Π² Ρ ΠΎΠ΄Π΅ Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΠΉ. ΠΠ»Ρ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠΎΠ² Ρ ΡΠ·ΡΠΊΠ° Π€ΠΎΡΡΡΠ°Π½ Ρ Π°ΡΠ°ΠΊΡΠ΅ΡΠ½Π° Π°Π³ΡΠ΅ΡΡΠΈΠ²Π½Π°Ρ ΠΎΠΏΡΠΈΠΌΠΈΠ·Π°ΡΠΈΡ ΡΠ΅Π·ΡΠ»ΡΡΠΈΡΡΡΡΠ΅Π³ΠΎ ΠΌΠ°ΡΠΈΠ½Π½ΠΎΠ³ΠΎ ΠΊΠΎΠ΄Π°, ΠΊΠΎΡΠΎΡΠ°Ρ ΡΡΠ°Π½ΠΎΠ²ΠΈΡΡΡ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠΉ Π±Π»Π°Π³ΠΎΠ΄Π°ΡΡ ΠΎΡΠ½ΠΎΡΠΈΡΠ΅Π»ΡΠ½ΠΎ ΠΏΡΠΎΡΡΠΎΠΉ ΡΠ΅ΠΌΠ°Π½ΡΠΈΠΊΠ΅ ΠΊΠΎΠ½ΡΡΡΡΠΊΡΠΈΠΉ ΡΠ·ΡΠΊΠ° — Π² ΡΠ°ΡΡΠ½ΠΎΡΡΠΈ, Π±Π»Π°Π³ΠΎΠ΄Π°ΡΡ ΠΎΡΡΡΡΡΡΠ²ΠΈΡ ΠΌΠ΅Ρ Π°Π½ΠΈΠ·ΠΌΠΎΠ² Π°Π»ΡΡΠ΅ΡΠ½Π°ΡΠΈΠ²Π½ΠΎΠ³ΠΎ ΠΈΠΌΠ΅Π½ΠΎΠ²Π°Π½ΠΈΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ ΡΠ΅ΡΠ΅Π· ΡΠΊΠ°Π·Π°ΡΠ΅Π»ΠΈ ΠΈΠ»ΠΈ ΡΡΡΠ»ΠΊΠΈ. ΠΠ°Π»ΠΈΡΠΈΠ΅ ΠΆΠ΅ ΡΠΊΠ°Π·Π°ΡΠ΅Π»Π΅ΠΉ Π² ΡΠ·ΡΠΊΠ΅ C ΠΏΡΠ΅Π΄ΡΡΠ²Π»ΡΠ΅Ρ ΡΠΏΠ΅ΡΠΈΡΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΡΡΠ΅Π±ΠΎΠ²Π°Π½ΠΈΡ ΠΊ Π΄ΠΈΠ½Π°ΠΌΠΈΡΠ΅ΡΠΊΠΎΠΌΡ ΡΠ°ΡΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΡ ΠΏΠ°ΠΌΡΡΠΈ.
Π‘ΡΡΡΠΊΡΡΡΠ° ΡΠ·ΡΠΊΠ° Ρ Π°ΡΠ°ΠΊΡΠ΅ΡΠΈΠ·ΡΠ΅Ρ ΠΈΠ΅ΡΠ°ΡΡ ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΡ ΠΌΠ΅ΠΆΠ΄Ρ Π΅Π³ΠΎ ΠΏΠΎΠ½ΡΡΠΈΡΠΌΠΈ, ΠΊΠΎΡΠΎΡΡΠ΅ ΠΎΠΏΠΈΡΡΠ²Π°ΡΡΡΡ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΠΌΠΈ ΠΏΡΠ°Π²ΠΈΠ»Π°ΠΌΠΈ. Π―Π·ΡΠΊΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΌΠΎΠ³ΡΡ ΡΠΈΠ»ΡΠ½ΠΎ ΠΎΡΠ»ΠΈΡΠ°ΡΡΡΡ Π΄ΡΡΠ³ ΠΎΡ Π΄ΡΡΠ³Π° ΠΏΠΎ ΠΎΡΠ³Π°Π½ΠΈΠ·Π°ΡΠΈΠΈ ΠΎΡΠ΄Π΅Π»ΡΠ½ΡΡ ΠΏΠΎΠ½ΡΡΠΈΠΉ ΠΈ ΠΏΠΎ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΡΠΌ ΠΌΠ΅ΠΆΠ΄Ρ Π½ΠΈΠΌΠΈ. Π―Π·ΡΠΊ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ PL/1 Π΄ΠΎΠΏΡΡΠΊΠ°Π΅Ρ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ»ΡΠ½ΠΎΠ΅ Π²Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΏΡΠΎΡΠ΅Π΄ΡΡ ΠΈ ΡΡΠ½ΠΊΡΠΈΠΉ, ΡΠΎΠ³Π΄Π° ΠΊΠ°ΠΊ Π² C Π²ΡΠ΅ ΡΡΠ½ΠΊΡΠΈΠΈ Π΄ΠΎΠ»ΠΆΠ½Ρ Π½Π°Ρ ΠΎΠ΄ΠΈΡΡΡΡ Π½Π° Π²Π½Π΅ΡΠ½Π΅ΠΌ ΡΡΠΎΠ²Π½Π΅ Π²Π»ΠΎΠΆΠ΅Π½Π½ΠΎΡΡΠΈ. Π―Π·ΡΠΊ C++ Π΄ΠΎΠΏΡΡΠΊΠ°Π΅Ρ ΠΎΠΏΠΈΡΠ°Π½ΠΈΠ΅ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ Π² Π»ΡΠ±ΠΎΠΉ ΡΠΎΡΠΊΠ΅ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ ΠΏΠ΅ΡΠ΅Π΄ ΠΏΠ΅ΡΠ²ΡΠΌ Π΅Π΅ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ, Π° Π² ΠΠ°ΡΠΊΠ°Π»Π΅ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΠ΅ Π΄ΠΎΠ»ΠΆΠ½Ρ Π±ΡΡΡ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Ρ Π² ΡΠΏΠ΅ΡΠΈΠ°Π»ΡΠ½ΠΎΠΉ ΠΎΠ±Π»Π°ΡΡΠΈ ΠΎΠΏΠΈΡΠ°Π½ΠΈΡ. ΠΡΠ΅ Π΄Π°Π»ΡΡΠ΅ Π² ΡΡΠΎΠΌ Π²ΠΎΠΏΡΠΎΡΠ΅ ΠΈΠ΄Π΅Ρ PL/1, ΠΊΠΎΡΠΎΡΡΠΉ Π΄ΠΎΠΏΡΡΠΊΠ°Π΅Ρ ΠΎΠΏΠΈΡΠ°Π½ΠΈΠ΅ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΠΎΠΉ ΠΏΠΎΡΠ»Π΅ Π΅Π΅ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΡ. ΠΠ»ΠΈ ΠΎΠΏΠΈΡΠ°Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ½ΠΎ Π²ΠΎΠΎΠ±ΡΠ΅ ΠΎΠΏΡΡΡΠΈΡΡ ΠΈ ΡΡΠΊΠΎΠ²ΠΎΠ΄ΡΡΠ²ΠΎΠ²Π°ΡΡΡΡ ΠΏΡΠ°Π²ΠΈΠ»Π°ΠΌΠΈ, ΠΏΡΠΈΠ½ΡΡΡΠΌΠΈ ΠΏΠΎ ΡΠΌΠΎΠ»ΡΠ°Π½ΠΈΡ. Π Π·Π°Π²ΠΈΡΠΈΠΌΠΎΡΡΠΈ ΠΎΡ ΠΏΡΠΈΠ½ΡΡΠΎΠ³ΠΎ ΡΠ΅ΡΠ΅Π½ΠΈΡ, ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡ ΠΌΠΎΠΆΠ΅Ρ Π°Π½Π°Π»ΠΈΠ·ΠΈΡΠΎΠ²Π°ΡΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ Π·Π° ΠΎΠ΄ΠΈΠ½ ΠΈΠ»ΠΈ Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΎ ΠΏΡΠΎΡ ΠΎΠ΄ΠΎΠ², ΡΡΠΎ Π²Π»ΠΈΡΠ΅Ρ Π½Π° ΡΠΊΠΎΡΠΎΡΡΡ ΡΡΠ°Π½ΡΠ»ΡΡΠΈΠΈ.
Π‘Π΅ΠΌΠ°Π½ΡΠΈΠΊΠ° ΡΠ·ΡΠΊΠΎΠ² ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΈΠ·ΠΌΠ΅Π½ΡΠ΅ΡΡΡ Π² ΠΎΡΠ΅Π½Ρ ΡΠΈΡΠΎΠΊΠΈΡ ΠΏΡΠ΅Π΄Π΅Π»Π°Ρ . ΠΠ½ΠΈ ΠΎΡΠ»ΠΈΡΠ°ΡΡΡΡ Π½Π΅ ΡΠΎΠ»ΡΠΊΠΎ ΠΏΠΎ ΠΎΡΠΎΠ±Π΅Π½Π½ΠΎΡΡΡΠΌ ΡΠ΅Π°Π»ΠΈΠ·Π°ΡΠΈΠΈ ΠΎΡΠ΄Π΅Π»ΡΠ½ΡΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ, Π½ΠΎ ΠΈ ΠΏΠΎ ΠΏΠ°ΡΠ°Π΄ΠΈΠ³ΠΌΠ°ΠΌ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ, ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΡΡΠΈΠΌ ΠΏΡΠΈΠ½ΡΠΈΠΏΠΈΠ°Π»ΡΠ½ΡΠ΅ ΡΠ°Π·Π»ΠΈΡΠΈΡ Π² ΠΌΠ΅ΡΠΎΠ΄Π°Ρ ΡΠ°Π·ΡΠ°Π±ΠΎΡΠΊΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌ. Π‘ΠΏΠ΅ΡΠΈΡΠΈΠΊΠ° ΡΠ΅Π°Π»ΠΈΠ·Π°ΡΠΈΠΈ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ ΠΌΠΎΠΆΠ΅Ρ ΠΊΠ°ΡΠ°ΡΡΡΡ ΠΊΠ°ΠΊ ΡΡΡΡΠΊΡΡΡΡ ΠΎΠ±ΡΠ°Π±Π°ΡΡΠ²Π°Π΅ΠΌΡΡ Π΄Π°Π½Π½ΡΡ , ΡΠ°ΠΊ ΠΈ ΠΏΡΠ°Π²ΠΈΠ» ΠΎΠ±ΡΠ°Π±ΠΎΡΠΊΠΈ ΠΎΠ΄Π½ΠΈΡ ΠΈ ΡΠ΅Ρ ΠΆΠ΅ ΡΠΈΠΏΠΎΠ² Π΄Π°Π½Π½ΡΡ . Π’Π°ΠΊΠΈΠ΅ ΡΠ·ΡΠΊΠΈ, ΠΊΠ°ΠΊ PL/1 ΠΈ APL ΠΏΠΎΠ΄Π΄Π΅ΡΠΆΠΈΠ²Π°ΡΡ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ ΠΌΠ°ΡΡΠΈΡΠ½ΡΡ ΠΈ Π²Π΅ΠΊΡΠΎΡΠ½ΡΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ. ΠΠΎΠ»ΡΡΠΈΠ½ΡΡΠ²ΠΎ ΠΆΠ΅ ΡΠ·ΡΠΊΠΎΠ² ΡΠ°Π±ΠΎΡΠ°ΡΡ Π² ΠΎΡΠ½ΠΎΠ²Π½ΠΎΠΌ ΡΠΎ ΡΠΊΠ°Π»ΡΡΠ°ΠΌΠΈ, ΠΏΡΠ΅Π΄ΠΎΡΡΠ°Π²Π»ΡΡ Π΄Π»Ρ ΠΎΠ±ΡΠ°Π±ΠΎΡΠΊΠΈ ΠΌΠ°ΡΡΠΈΠ²ΠΎΠ² ΠΏΡΠΎΡΠ΅Π΄ΡΡΡ ΠΈ ΡΡΠ½ΠΊΡΠΈΠΈ, Π½Π°ΠΏΠΈΡΠ°Π½Π½ΡΠ΅ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΡΠ°ΠΌΠΈ. ΠΠΎ Π΄Π°ΠΆΠ΅ ΠΏΡΠΈ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΠΈ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΡ Π΄Π²ΡΡ ΡΠ΅Π»ΡΡ ΡΠΈΡΠ΅Π» ΡΠ°ΠΊΠΈΠ΅ ΡΠ·ΡΠΊΠΈ, ΠΊΠ°ΠΊ C ΠΈ ΠΠ°ΡΠΊΠ°Π»Ρ ΠΌΠΎΠ³ΡΡ Π²Π΅ΡΡΠΈ ΡΠ΅Π±Ρ ΠΏΠΎ-ΡΠ°Π·Π½ΠΎΠΌΡ.
ΠΠ°ΡΡΠ΄Ρ Ρ ΡΡΠ°Π΄ΠΈΡΠΈΠΎΠ½Π½ΡΠΌ ΠΏΡΠΎΡΠ΅Π΄ΡΡΠ½ΡΠΌ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ, Π½Π°Π·ΡΠ²Π°Π΅ΠΌΡΠΌ ΡΠ°ΠΊΠΆΠ΅ ΠΈΠΌΠΏΠ΅ΡΠ°ΡΠΈΠ²Π½ΡΠΌ, ΡΡΡΠ΅ΡΡΠ²ΡΡΡ ΡΠ°ΠΊΠΈΠ΅ ΠΏΠ°ΡΠ°Π΄ΠΈΠ³ΠΌΡ ΠΊΠ°ΠΊ ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ΅ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅, Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΠΈ ΠΎΠ±ΡΠ΅ΠΊΡΠ½ΠΎ-ΠΎΡΠΈΠ΅Π½ΡΠΈΡΠΎΠ²Π°Π½Π½ΠΎΠ΅ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅. Π‘ΡΡΡΠΊΡΡΡΠ° ΠΏΠΎΠ½ΡΡΠΈΠΉ ΠΈ ΠΎΠ±ΡΠ΅ΠΊΡΠΎΠ² ΡΠ·ΡΠΊΠΎΠ² ΡΠΈΠ»ΡΠ½ΠΎ Π·Π°Π²ΠΈΡΠΈΡ ΠΎΡ ΠΈΠ·Π±ΡΠ°Π½Π½ΠΎΠΉ ΠΏΠ°ΡΠ°Π΄ΠΈΠ³ΠΌΡ, ΡΡΠΎ ΡΠ°ΠΊΠΆΠ΅ Π²Π»ΠΈΡΠ΅Ρ Π½Π° ΡΠ΅Π°Π»ΠΈΠ·Π°ΡΠΈΡ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠ°.
ΠΠ°ΠΆΠ΅ ΠΎΠ΄ΠΈΠ½ ΠΈ ΡΠΎΡ ΠΆΠ΅ ΡΠ·ΡΠΊ ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ ΡΠ΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Π½ Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΈΠΌ ΡΠΏΠΎΡΠΎΠ±Π°ΠΌΠΈ. ΠΡΠΎ ΡΠ²ΡΠ·Π°Π½ΠΎ Ρ ΡΠ΅ΠΌ, ΡΡΠΎ ΡΠ΅ΠΎΡΠΈΡ ΡΠΎΡΠΌΠ°Π»ΡΠ½ΡΡ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊ Π΄ΠΎΠΏΡΡΠΊΠ°Π΅Ρ ΡΠ°Π·Π»ΠΈΡΠ½ΡΠ΅ ΠΌΠ΅ΡΠΎΠ΄Ρ ΡΠ°Π·Π±ΠΎΡΠ° ΠΎΠ΄Π½ΠΈΡ ΠΈ ΡΠ΅Ρ ΠΆΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠΉ. Π ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΠΈΠΈ Ρ ΡΡΠΈΠΌ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΡ ΡΠ°Π·Π½ΡΠΌΠΈ ΡΠΏΠΎΡΠΎΠ±Π°ΠΌΠΈ ΠΌΠΎΠ³ΡΡ ΠΏΠΎΠ»ΡΡΠ°ΡΡ ΠΎΠ΄ΠΈΠ½ ΠΈ ΡΠΎΡ ΠΆΠ΅ ΡΠ΅Π·ΡΠ»ΡΡΠ°Ρ (ΠΎΠ±ΡΠ΅ΠΊΡΠ½ΡΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ) ΠΏΠΎ ΠΏΠ΅ΡΠ²ΠΎΠ½Π°ΡΠ°Π»ΡΠ½ΠΎΠΌΡ ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠΌΡ ΡΠ΅ΠΊΡΡΡ.
ΠΠΌΠ΅ΡΡΠ΅ Ρ ΡΠ΅ΠΌ, Π²ΡΠ΅ ΡΠ·ΡΠΊΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΎΠ±Π»Π°Π΄Π°ΡΡ ΡΡΠ΄ΠΎΠΌ ΠΎΠ±ΡΠΈΡ Ρ Π°ΡΠ°ΠΊΡΠ΅ΡΠΈΡΡΠΈΠΊ ΠΈ ΠΏΠ°ΡΠ°ΠΌΠ΅ΡΡΠΎΠ². ΠΡΠ° ΠΎΠ±ΡΠ½ΠΎΡΡΡ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅Ρ ΠΈ ΡΡ ΠΎΠΆΠΈΠ΅ Π΄Π»Ρ Π²ΡΠ΅Ρ ΡΠ·ΡΠΊΠΎΠ² ΠΏΡΠΈΠ½ΡΠΈΠΏΡ ΠΎΡΠ³Π°Π½ΠΈΠ·Π°ΡΠΈΠΈ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠΎΠ².
Π―Π·ΡΠΊΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΏΡΠ΅Π΄Π½Π°Π·Π½Π°ΡΠ΅Π½Ρ Π΄Π»Ρ ΠΎΠ±Π»Π΅Π³ΡΠ΅Π½ΠΈΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ. ΠΠΎΡΡΠΎΠΌΡ ΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΡ ΠΈ ΡΡΡΡΠΊΡΡΡΡ Π΄Π°Π½Π½ΡΡ Π±ΠΎΠ»Π΅Π΅ ΠΌΠΎΡΠ½ΡΠ΅, ΡΠ΅ΠΌ Π² ΠΌΠ°ΡΠΈΠ½Π½ΡΡ ΡΠ·ΡΠΊΠ°Ρ .
ΠΠ»Ρ ΠΏΠΎΠ²ΡΡΠ΅Π½ΠΈΡ Π½Π°Π³Π»ΡΠ΄Π½ΠΎΡΡΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌ Π²ΠΌΠ΅ΡΡΠΎ ΡΠΈΡΠ»ΠΎΠ²ΡΡ ΠΊΠΎΠ΄ΠΎΠ² ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡΡΡΡ ΡΠΈΠΌΠ²ΠΎΠ»ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΈΠ»ΠΈ Π³ΡΠ°ΡΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½ΠΈΡ ΠΊΠΎΠ½ΡΡΡΡΠΊΡΠΈΠΉ ΡΠ·ΡΠΊΠ°, Π±ΠΎΠ»Π΅Π΅ ΡΠ΄ΠΎΠ±Π½ΡΠ΅ Π΄Π»Ρ ΠΈΡ Π²ΠΎΡΠΏΡΠΈΡΡΠΈΡ ΡΠ΅Π»ΠΎΠ²Π΅ΠΊΠΎΠΌ.
ΠΠ»Ρ Π»ΡΠ±ΠΎΠ³ΠΎ ΡΠ·ΡΠΊΠ° ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΡΡΡ:
— ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ², ΠΊΠΎΡΠΎΡΡΠ΅ ΠΌΠΎΠΆΠ½ΠΎ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°ΡΡ Π΄Π»Ρ Π·Π°ΠΏΠΈΡΠΈ ΠΏΡΠ°Π²ΠΈΠ»ΡΠ½ΡΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌ (Π°Π»ΡΠ°Π²ΠΈΡ), ΠΎΡΠ½ΠΎΠ²Π½ΡΠ΅ ΡΠ»Π΅ΠΌΠ΅Π½ΡΡ,
— ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΏΡΠ°Π²ΠΈΠ»ΡΠ½ΡΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌ (ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡ),
— «ΡΠΌΡΡΠ»» ΠΊΠ°ΠΆΠ΄ΠΎΠΉ ΠΏΡΠ°Π²ΠΈΠ»ΡΠ½ΠΎΠΉ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ (ΡΠ΅ΠΌΠ°Π½ΡΠΈΠΊΠ°).
ΠΠ΅Π·Π°Π²ΠΈΡΠΈΠΌΠΎ ΠΎΡ ΡΠΏΠ΅ΡΠΈΡΠΈΠΊΠΈ ΡΠ·ΡΠΊΠ° Π»ΡΠ±ΠΎΠΉ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡ ΠΌΠΎΠΆΠ½ΠΎ ΡΡΠΈΡΠ°ΡΡ ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΡΠΌ ΠΏΡΠ΅ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°ΡΠ΅Π»Π΅ΠΌ F, ΠΎΠ±Π΅ΡΠΏΠ΅ΡΠΈΠ²Π°ΡΡΠΈΠΌ ΠΎΠ΄Π½ΠΎΠ·Π½Π°ΡΠ½ΠΎΠ΅ ΠΎΡΠΎΠ±ΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ X Π² Y, Π³Π΄Π΅ X — ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠ° Π½Π° ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠΌ ΡΠ·ΡΠΊΠ΅, Y — ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠ° Π½Π° Π²ΡΡ ΠΎΠ΄Π½ΠΎΠΌ ΡΠ·ΡΠΊΠ΅. ΠΠΎΡΡΠΎΠΌΡ ΡΠ°ΠΌ ΠΏΡΠΎΡΠ΅ΡΡ ΡΡΠ°Π½ΡΠ»ΡΡΠΈΠΈ ΡΠΎΡΠΌΠ°Π»ΡΠ½ΠΎ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡΠ΅Π΄ΡΡΠ°Π²ΠΈΡΡ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ ΠΏΡΠΎΡΡΠΎ ΠΈ ΠΏΠΎΠ½ΡΡΠ½ΠΎ: Y = F (X).
Π€ΠΎΡΠΌΠ°Π»ΡΠ½ΠΎ ΠΊΠ°ΠΆΠ΄Π°Ρ ΠΏΡΠ°Π²ΠΈΠ»ΡΠ½Π°Ρ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠ° X — ΡΡΠΎ ΡΠ΅ΠΏΠΎΡΠΊΠ° ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ² ΠΈΠ· Π½Π΅ΠΊΠΎΡΠΎΡΠΎΠ³ΠΎ Π°Π»ΡΠ°Π²ΠΈΡΠ° A, ΠΏΡΠ΅ΠΎΠ±ΡΠ°Π·ΡΠ΅ΠΌΠ°Ρ Π² ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΡΡ Π΅ΠΉ ΡΠ΅ΠΏΠΎΡΠΊΡ Y, ΡΠΎΡΡΠ°Π²Π»Π΅Π½Π½ΡΡ ΠΈΠ· ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ² Π°Π»ΡΠ°Π²ΠΈΡΠ° B.
Π―Π·ΡΠΊ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ, ΠΊΠ°ΠΊ ΠΈ Π»ΡΠ±Π°Ρ ΡΠ»ΠΎΠΆΠ½Π°Ρ ΡΠΈΡΡΠ΅ΠΌΠ°, ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΡΡΡ ΡΠ΅ΡΠ΅Π· ΠΈΠ΅ΡΠ°ΡΡ ΠΈΡ ΠΏΠΎΠ½ΡΡΠΈΠΉ, Π·Π°Π΄Π°ΡΡΡΡ Π²Π·Π°ΠΈΠΌΠΎΡΠ²ΡΠ·ΠΈ ΠΌΠ΅ΠΆΠ΄Ρ Π΅Π³ΠΎ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ°ΠΌΠΈ. ΠΡΠΈ ΠΏΠΎΠ½ΡΡΠΈΡ ΡΠ²ΡΠ·Π°Π½Ρ ΠΌΠ΅ΠΆΠ΄Ρ ΡΠΎΠ±ΠΎΠΉ Π² ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΠΈΠΈ Ρ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΠΌΠΈ ΠΏΡΠ°Π²ΠΈΠ»Π°ΠΌΠΈ. ΠΠ°ΠΆΠ΄Π°Ρ ΠΈΠ· ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌ, ΠΏΠΎΡΡΡΠΎΠ΅Π½Π½Π°Ρ ΠΏΠΎ ΡΡΠΈΠΌ ΠΏΡΠ°Π²ΠΈΠ»Π°ΠΌ, ΠΈΠΌΠ΅Π΅Ρ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΡΡ ΠΈΠ΅ΡΠ°ΡΡ ΠΈΡΠ΅ΡΠΊΡΡ ΡΡΡΡΠΊΡΡΡΡ.
Π ΡΠ²ΡΠ·ΠΈ Ρ ΡΡΠΈΠΌ Π΄Π»Ρ Π²ΡΠ΅Ρ ΡΠ·ΡΠΊΠΎΠ² ΠΈ ΠΈΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌ ΠΌΠΎΠΆΠ½ΠΎ Π΄ΠΎΠΏΠΎΠ»Π½ΠΈΡΠ΅Π»ΡΠ½ΠΎ Π²ΡΠ΄Π΅Π»ΠΈΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΠΎΠ±ΡΠΈΠ΅ ΡΠ΅ΡΡΡ: ΠΊΠ°ΠΆΠ΄ΡΠΉ ΡΠ·ΡΠΊ Π΄ΠΎΠ»ΠΆΠ΅Π½ ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΡ ΠΏΡΠ°Π²ΠΈΠ»Π°, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡΡΠΈΠ΅ ΠΏΠΎΡΠΎΠΆΠ΄Π°ΡΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ, ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΠΈΠ΅ ΡΡΠΎΠΌΡ ΡΠ·ΡΠΊΡ ΠΈΠ»ΠΈ ΡΠ°ΡΠΏΠΎΠ·Π½Π°Π²Π°ΡΡ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΠΈΠ΅ ΠΌΠ΅ΠΆΠ΄Ρ Π½Π°ΠΏΠΈΡΠ°Π½Π½ΡΠΌΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠ°ΠΌΠΈ ΠΈ Π·Π°Π΄Π°Π½Π½ΡΠΌ ΡΠ·ΡΠΊΠΎΠΌ.
ΠΡΡΠ³ΠΎΠΉ Ρ Π°ΡΠ°ΠΊΡΠ΅ΡΠ½ΠΎΠΉ ΠΎΡΠΎΠ±Π΅Π½Π½ΠΎΡΡΡΡ Π²ΡΠ΅Ρ ΡΠ·ΡΠΊΠΎΠ² ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΈΡ ΡΠ΅ΠΌΠ°Π½ΡΠΈΠΊΠ°. ΠΠ½Π° ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅Ρ ΡΠΌΡΡΠ» ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ ΡΠ·ΡΠΊΠ°, ΠΊΠΎΡΡΠ΅ΠΊΡΠ½ΠΎΡΡΡ ΠΎΠΏΠ΅ΡΠ°Π½Π΄ΠΎΠ². Π¦Π΅ΠΏΠΎΡΠΊΠΈ, ΠΈΠΌΠ΅ΡΡΠΈΠ΅ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²ΡΡ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΡΡ ΡΡΡΡΠΊΡΡΡΡ Π² ΡΠ°Π·Π»ΠΈΡΠ½ΡΡ ΡΠ·ΡΠΊΠ°Ρ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ, ΠΌΠΎΠ³ΡΡ ΡΠ°Π·Π»ΠΈΡΠ°ΡΡΡΡ ΠΏΠΎ ΡΠ΅ΠΌΠ°Π½ΡΠΈΠΊΠ΅ (ΡΡΠΎ, Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ, Π½Π°Π±Π»ΡΠ΄Π°Π΅ΡΡΡ Π² C++, Pascal, Basic). ΠΠ½Π°Π½ΠΈΠ΅ ΡΠ΅ΠΌΠ°Π½ΡΠΈΠΊΠΈ ΡΠ·ΡΠΊΠ° ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ΅Ρ ΠΎΡΠ΄Π΅Π»ΠΈΡΡ Π΅Π΅ ΠΎΡ Π΅Π³ΠΎ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ° ΠΈ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°ΡΡ Π΄Π»Ρ ΠΏΡΠ΅ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½ΠΈΡ Π² Π΄ΡΡΠ³ΠΎΠΉ ΡΠ·ΡΠΊ (ΠΎΡΡΡΠ΅ΡΡΠ²ΠΈΡΡ Π³Π΅Π½Π΅ΡΠ°ΡΠΈΡ ΠΊΠΎΠ΄Π°).
Π¦Π΅Π»ΡΡ Π΄Π°Π½Π½ΠΎΠΉ ΠΊΡΡΡΠΎΠ²ΠΎΠΉ ΡΠ°Π±ΠΎΡΡ ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠ°Π·ΡΠ°Π±ΠΎΡΠΊΠ° ΡΡΠ΅Π±Π½ΠΎΠ³ΠΎ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠ° Ρ Π·Π°Π΄Π°Π½Π½ΠΎΠ³ΠΎ ΡΠΏΡΠΎΡΠ΅Π½Π½ΠΎΠ³ΠΎ ΡΠ΅ΠΊΡΡΠΎΠ²ΠΎΠ³ΠΎ ΡΠ·ΡΠΊΠ° Π²ΡΡΠΎΠΊΠΎΠ³ΠΎ ΡΡΠΎΠ²Π½Ρ.
1. ΠΠ΅ΡΠΎΠ΄Ρ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΡΠ°Π·Π±ΠΎΡΠ°
Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ ΠΎΡΠ½ΠΎΠ²Π½ΡΠ΅ ΠΌΠ΅ΡΠΎΠ΄Ρ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΡΠ°Π·Π±ΠΎΡΠ°. [7−11]
1.1 Π Π°Π·Π±ΠΎΡ ΡΠ²Π΅ΡΡ Ρ-Π²Π½ΠΈΠ·
ΠΡΠΈ ΡΠ°Π·Π±ΠΎΡΠ΅ ΡΠ²Π΅ΡΡ Ρ-Π²Π½ΠΈΠ· ΠΏΡΠΎΠΌΠ΅ΠΆΡΡΠΎΡΠ½ΡΠ΅ Π²ΡΠ²ΠΎΠ΄Ρ ΠΏΠ΅ΡΠ΅ΠΌΠ΅ΡΠ°ΡΡΡΡ ΠΏΠΎ Π΄Π΅ΡΠ΅Π²Ρ ΠΏΠΎ Π½Π°ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ ΠΎΡ ΠΊΠΎΡΠ½Ρ ΠΊ Π»ΠΈΡΡΡΡΠΌ. Π ΡΡΠΎΠΌ ΡΠ»ΡΡΠ°Π΅ ΠΏΡΠΈ ΠΏΡΠΎΡΠΌΠΎΡΡΠ΅ ΡΠ΅ΠΏΠΎΡΠΊΠΈ ΡΠ»Π΅Π²Π° Π½Π°ΠΏΡΠ°Π²ΠΎ Π΅ΡΡΠ΅ΡΡΠ²Π΅Π½Π½ΠΎ Π±ΡΠ΄ΡΡ ΠΏΠΎΠ»ΡΡΠ°ΡΡΡΡ Π»Π΅Π²ΡΠ΅ Π²ΡΠ²ΠΎΠ΄Ρ. ΠΡΠΈ Π΄Π΅ΡΠ΅ΡΠΌΠΈΠ½ΠΈΡΠΎΠ²Π°Π½Π½ΠΎΠΌ ΡΠ°Π·Π±ΠΎΡΠ΅ ΠΏΡΠΎΠ±Π»Π΅ΠΌΠ° Π±ΡΠ΄Π΅Ρ ΡΠΎΡΡΠΎΡΡΡ Π² ΡΠΎΠΌ, ΠΊΠ°ΠΊΠΎΠ΅ ΠΏΡΠ°Π²ΠΈΠ»ΠΎ ΠΏΡΠΈΠΌΠ΅Π½ΠΈΡΡ Π΄Π»Ρ ΡΠ°ΡΠΊΡΡΡΠΈΡ ΡΠ°ΠΌΠΎΠ³ΠΎ Π»Π΅Π²ΠΎΠ³ΠΎ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»Π°.
1.1.1 LL (k) — ΡΠ·ΡΠΊΠΈ ΠΈ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ
Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ Π΄Π΅ΡΠ΅Π²ΠΎ Π²ΡΠ²ΠΎΠ΄Π° Π² ΠΏΡΠΎΡΠ΅ΡΡΠ΅ ΠΏΠΎΠ»ΡΡΠ΅Π½ΠΈΡ Π»Π΅Π²ΠΎΠ³ΠΎ Π²ΡΠ²ΠΎΠ΄Π° ΡΠ΅ΠΏΠΎΡΠΊΠΈ. ΠΡΠΎΠΌΠ΅ΠΆΡΡΠΎΡΠ½Π°Ρ ΡΠ΅ΠΏΠΎΡΠΊΠ° Π² ΠΏΡΠΎΡΠ΅ΡΡΠ΅ Π²ΡΠ²ΠΎΠ΄Π° ΡΠΎΡΡΠΎΠΈΡ ΠΈΠ· ΡΠ΅ΠΏΠΎΡΠΊΠΈ ΠΈΠ· ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΠΎΠ² w, ΡΠ°ΠΌΠΎΠ³ΠΎ Π»Π΅Π²ΠΎΠ³ΠΎ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»Π° A, Π½Π΅Π΄ΠΎΠ²ΡΠ²Π΅Π΄Π΅Π½Π½ΠΎΠΉ ΡΠ°ΡΡΠΈ x:
— S—
/ -Π-x;
/ |
— w—-u——
PΠΈΡΡΠ½ΠΎΠΊ 1
ΠΠ»Ρ ΠΏΡΠΎΠ΄ΠΎΠ»ΠΆΠ΅Π½ΠΈΡ ΡΠ°Π·Π±ΠΎΡΠ° ΡΡΠ΅Π±ΡΠ΅ΡΡΡ Π·Π°ΠΌΠ΅Π½ΠΈΡΡ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π» A ΠΏΠΎ ΠΎΠ΄Π½ΠΎΠΌΡ ΠΈΠ· ΠΏΡΠ°Π²ΠΈΠ» Π²ΠΈΠ΄Π° A: y. ΠΡΠ»ΠΈ ΡΡΠ΅Π±ΡΠ΅ΡΡΡ, ΡΡΠΎΠ±Ρ ΡΠ°Π·Π±ΠΎΡ Π±ΡΠ» Π΄Π΅ΡΠ΅ΡΠΌΠΈΠ½ΠΈΡΠΎΠ²Π°Π½Π½ΡΠΌ (Π±Π΅Π· Π²ΠΎΠ·Π²ΡΠ°ΡΠΎΠ²), ΡΡΠΎ ΠΏΡΠ°Π²ΠΈΠ»ΠΎ ΡΡΠ΅Π±ΡΠ΅ΡΡΡ Π²ΡΠ±ΠΈΡΠ°ΡΡ ΡΠΏΠ΅ΡΠΈΠ°Π»ΡΠ½ΡΠΌ ΡΠΏΠΎΡΠΎΠ±ΠΎΠΌ. ΠΠΎΠ²ΠΎΡΡΡ, ΡΡΠΎ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ° ΠΈΠΌΠ΅Π΅Ρ ΡΠ²ΠΎΠΉΡΡΠ²ΠΎ LL (k), Π΅ΡΠ»ΠΈ Π΄Π»Ρ Π²ΡΠ±ΠΎΡΠ° ΠΏΡΠ°Π²ΠΈΠ»Π° ΠΎΠΊΠ°Π·ΡΠ²Π°Π΅ΡΡΡ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ ΡΠ°ΡΡΠΌΠΎΡΡΠ΅ΡΡ ΡΠΎΠ»ΡΠΊΠΎ wAx ΠΈ ΠΏΠ΅ΡΠ²ΡΠ΅ k ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ² Π½Π΅ΠΏΡΠΎΡΠΌΠΎΡΡΠ΅Π½Π½ΠΎΠΉ ΡΠ΅ΠΏΠΎΡΠΊΠΈ u. ΠΠ΅ΡΠ²Π°Ρ Π±ΡΠΊΠ²Π° L (Left, Π»Π΅Π²ΡΠΉ) ΠΎΡΠ½ΠΎΡΠΈΡΡΡ ΠΊ ΠΏΡΠΎΡΠΌΠΎΡΡΡ Π²Ρ ΠΎΠ΄Π½ΠΎΠΉ ΡΠ΅ΠΏΠΎΡΠΊΠΈ ΡΠ»Π΅Π²Π° Π½Π°ΠΏΡΠ°Π²ΠΎ, Π²ΡΠΎΡΠ°Ρ — ΠΊ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΠΌΠΎΠΌΡ Π»Π΅Π²ΠΎΠΌΡ Π²ΡΠ²ΠΎΠ΄Ρ.
ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΠΌ Π΄Π²Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° ΡΠ΅ΠΏΠΎΡΠ΅ΠΊ:
Π°) FIRST (x) — ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΡΠ½ΡΡ ΡΠ΅ΠΏΠΎΡΠ΅ΠΊ, Π²ΡΠ²ΠΎΠ΄ΠΈΠΌΡΡ ΠΈΠ· x, ΡΠΊΠΎΡΠΎΡΠ΅Π½Π½ΡΡ Π΄ΠΎ k ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ².
Π±) FOLLOW (A) — ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΡΠΊΠΎΡΠΎΡΠ΅Π½Π½ΡΡ Π΄ΠΎ k ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ² ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΡΠ½ΡΡ ΡΠ΅ΠΏΠΎΡΠ΅ΠΊ, ΠΊΠΎΡΠΎΡΡΠ΅ ΠΌΠΎΠ³ΡΡ ΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΡ Π½Π΅ΠΏΠΎΡΡΠ΅Π΄ΡΡΠ²Π΅Π½Π½ΠΎ Π·Π° A Π² Π²ΡΠ²ΠΎΠ΄ΠΈΠΌΡΡ ΡΠ΅ΠΏΠΎΡΠΊΠ°Ρ .
ΠΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ° ΠΈΠΌΠ΅Π΅Ρ ΡΠ²ΠΎΠΉΡΡΠ²ΠΎ LL (k), Π΅ΡΠ»ΠΈ ΠΈΠ· ΡΡΡΠ΅ΡΡΠ²ΠΎΠ²Π°Π½ΠΈΡ Π΄Π²ΡΡ ΡΠ΅ΠΏΠΎΡΠ΅ΠΊ Π»Π΅Π²ΡΡ Π²ΡΠ²ΠΎΠ΄ΠΎΠ²:
S: wAx: wzx: wu
S: wAx: wtx: wv
ΠΈΠ· ΡΡΠ»ΠΎΠ²ΠΈΡ FIRST (u)=FIRST (v) ΡΠ»Π΅Π΄ΡΠ΅Ρ z=t.
Π ΡΠ»ΡΡΠ°Π΅ k=1 Π΄Π»Ρ Π²ΡΠ±ΠΎΡΠ° ΠΏΡΠ°Π²ΠΈΠ»Π° Π΄Π»Ρ Π, Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ Π·Π½Π°ΡΡ ΡΠΎΠ»ΡΠΊΠΎ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π» A ΠΈ, Π° — ΠΏΠ΅ΡΠ²ΡΠΉ ΡΠΈΠΌΠ²ΠΎΠ» ΡΠ΅ΠΏΠΎΡΠΊΠΈ u:
— ΡΠ»Π΅Π΄ΡΠ΅Ρ Π²ΡΠ±ΡΠ°ΡΡ ΠΏΡΠ°Π²ΠΈΠ»ΠΎ A: x, Π΅ΡΠ»ΠΈ, Π° Π²Ρ ΠΎΠ΄ΠΈΡ Π² FIRST (x),
— ΡΠ»Π΅Π΄ΡΠ΅Ρ Π²ΡΠ±ΡΠ°ΡΡ ΠΏΡΠ°Π²ΠΈΠ»ΠΎ A: Π΅, Π΅ΡΠ»ΠΈ, Π° Π²Ρ ΠΎΠ΄ΠΈΡ Π² FOLLOW (A).
LL (ΠΊ)-ΡΠ²ΠΎΠΉΡΡΠ²ΠΎ Π½Π°ΠΊΠ»Π°Π΄ΡΠ²Π°Π΅Ρ Π΄ΠΎΠ²ΠΎΠ»ΡΠ½ΠΎ ΡΠΈΠ»ΡΠ½ΡΠ΅ ΠΎΠ³ΡΠ°Π½ΠΈΡΠ΅Π½ΠΈΡ Π½Π° Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΡ. ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, LL (2) Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ° S: aS | a Π½Π΅ ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ ΡΠ²ΠΎΠΉΡΡΠ²ΠΎΠΌ LL (1), Ρ.ΠΊ. FIRST (aS)=FIRST (a)=a. Π Π΄Π°Π½Π½ΠΎΠΌ ΡΠ»ΡΡΠ°Π΅ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠΎΠ½ΠΈΠ·ΠΈΡΡ Π²Π΅Π»ΠΈΡΠΈΠ½Ρ k Ρ ΠΏΠΎΠΌΠΎΡΡΡ «ΡΠ°ΠΊΡΠΎΡΠΈΠ·Π°ΡΠΈΠΈ» (Π²ΡΠ½Π΅ΡΠ΅Π½ΠΈΡ ΠΌΠ½ΠΎΠΆΠΈΡΠ΅Π»Ρ Π·Π° ΡΠΊΠΎΠ±ΠΊΡ):
S: aA
A: S | e
ΠΡΠ±Π°Ρ LL (k)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ° ΠΎΠ΄Π½ΠΎΠ·Π½Π°ΡΠ½Π°. ΠΠ΅Π²ΠΎΡΠ΅ΠΊΡΡΡΠΈΠ²Π½Π°Ρ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ° Π½Π΅ ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ ΠΊΠ»Π°ΡΡΡ LL (k) Π½ΠΈ Π΄Π»Ρ ΠΊΠ°ΠΊΠΎΠ³ΠΎ k. ΠΠ½ΠΎΠ³Π΄Π° ΡΠ΄Π°Π΅ΡΡΡ ΠΏΡΠ΅ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°ΡΡ Π½Π΅ LL (1)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΡ Π² ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΡΡ Π΅ΠΉ LL (1)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΡΡΡΠ°Π½Π΅Π½ΠΈΡ Π»Π΅Π²ΠΎΠΉ ΡΠ΅ΠΊΡΡΡΠΈΠΈ ΠΈ ΡΠ°ΠΊΡΠΎΡΠΈΠ·Π°ΡΠΈΠΈ. ΠΠ΄Π½Π°ΠΊΠΎ ΠΏΡΠΎΠ±Π»Π΅ΠΌΠ° ΡΡΡΠ΅ΡΡΠ²ΠΎΠ²Π°Π½ΠΈΡ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎΠΉ LL (k)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ Π΄Π»Ρ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ»ΡΠ½ΠΎΠΉ Π½Π΅ LL (k)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ Π½Π΅ΡΠ°Π·ΡΠ΅ΡΠΈΠΌΠ°.
1.1.2 ΠΠ΅ΡΠΎΠ΄ ΡΠ΅ΠΊΡΡΡΠΈΠ²Π½ΠΎΠ³ΠΎ ΡΠΏΡΡΠΊΠ°
ΠΠ΅ΡΠΎΠ΄ ΡΠ΅ΠΊΡΡΡΠΈΠ²Π½ΠΎΠ³ΠΎ ΡΠΏΡΡΠΊΠ° ΠΎΡΠΈΠ΅Π½ΡΠΈΡΠΎΠ²Π°Π½ Π½Π° ΡΠ΅ ΡΠ»ΡΡΠ°ΠΈ, ΠΊΠΎΠ³Π΄Π° ΠΊΠΎΠΌΠΏΠΈΠ»ΡΡΠΎΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΡΠ΅ΡΡΡ Π½Π° ΠΎΠ΄Π½ΠΎΠΌ ΠΈΠ· ΡΠ·ΡΠΊΠΎΠ² Π²ΡΡΠΎΠΊΠΎΠ³ΠΎ ΡΡΠΎΠ²Π½Ρ, ΠΊΠΎΠ³Π΄Π° Π΄ΠΎΠΏΡΡΠΊΠ°Π΅ΡΡΡ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΠ΅ ΡΠ΅ΠΊΡΡΡΠΈΠ²Π½ΡΡ ΠΏΡΠΎΡΠ΅Π΄ΡΡ.
ΠΡΠ½ΠΎΠ²Π½Π°Ρ ΠΈΠ΄Π΅Ρ ΡΠ΅ΠΊΡΡΡΠΈΠ²Π½ΠΎΠ³ΠΎ ΡΠΏΡΡΠΊΠ° ΡΠΎΡΡΠΎΠΈΡ Π² ΡΠΎΠΌ, ΡΡΠΎ ΠΊΠ°ΠΆΠ΄ΠΎΠΌΡ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»Ρ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ ΡΠΎΠΎΡΠ²Π΅ΡΡΠ²ΡΠ΅Ρ ΠΏΡΠΎΡΠ΅Π΄ΡΡΠ°, ΠΊΠΎΡΠΎΡΠ°Ρ ΡΠ°ΡΠΏΠΎΠ·Π½Π°Π΅Ρ Π»ΡΠ±ΡΡ ΡΠ΅ΠΏΠΎΡΠΊΡ, ΠΏΠΎΡΠΎΠΆΠ΄Π°Π΅ΠΌΡΡ ΡΡΠΈΠΌ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΠΎΠΌ. ΠΡΠΈ ΠΏΡΠΎΡΠ΅Π΄ΡΡΡ Π²ΡΠ·ΡΠ²Π°ΡΡ Π΄ΡΡΠ³ Π΄ΡΡΠ³Π°, ΠΊΠΎΠ³Π΄Π° ΡΡΠΎ ΡΡΠ΅Π±ΡΠ΅ΡΡΡ.
Π Π΅ΠΊΡΡΡΠΈΠ²Π½ΡΠΉ ΡΠΏΡΡΠΊ ΠΌΠΎΠΆΠ½ΠΎ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°ΡΡ Π΄Π»Ρ Π»ΡΠ±ΠΎΠΉ LL (1)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ. ΠΊΠ°ΠΆΠ΄ΠΎΠΌΡ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»Ρ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ ΡΠΎΠΎΡΠ²Π΅ΡΡΠ²ΡΠ΅Ρ ΠΏΡΠΎΡΠ΅Π΄ΡΡΠ°, ΠΊΠΎΡΠΎΡΠ°Ρ Π½Π°ΡΠΈΠ½Π°Π΅ΡΡΡ Ρ ΠΏΠ΅ΡΠ΅Ρ ΠΎΠ΄Π° Π½Π° Π²ΡΡΠΈΡΠ»ΡΠ΅ΠΌΡΡ ΠΌΠ΅ΡΠΊΡ ΠΈ ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ ΠΊΠΎΠ΄, ΡΠΎΠΎΡΠ²ΡΡΠ²ΡΡΡΠΈΠΉ ΠΊΠ°ΠΆΠ΄ΠΎΠΌΡ ΠΏΡΠ°Π²ΠΈΠ»Ρ Π΄Π»Ρ Π΄Π°Π½Π½ΠΎΠ³ΠΎ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»Π°. ΠΠ»Ρ ΡΠ΅Ρ Π²Ρ ΠΎΠ΄Π½ΡΡ ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ², ΠΊΠΎΡΠΎΡΡΠ΅ ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Ρ Π²ΡΠ±ΠΎΡΠ° Π΄Π°Π½Π½ΠΎΠ³ΠΎ ΠΏΡΠ°Π²ΠΈΠ»Π°, Π²ΡΡΠΈΡΠ»ΡΠ΅ΠΌΡΠΉ ΠΏΠ΅ΡΠ΅Ρ ΠΎΠ΄ ΠΏΠ΅ΡΠ΅Π΄Π°Π΅Ρ ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΠ΅ ΠΊΠΎΠ΄Ρ, ΡΠΎΠΎΡΠ²Π΅ΡΡΠ²ΡΡΡΠ΅ΠΌΡ ΡΡΠΎΠΌΡ ΠΏΡΠ°Π²ΠΈΠ»Ρ. ΠΠ»Ρ ΠΎΡΡΠ°Π»ΡΠ½ΡΡ Π²Ρ ΠΎΠ΄Π½ΡΡ ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ² ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΠ΅ ΠΏΠ΅ΡΠ΅Π΄Π°Π΅ΡΡΡ ΠΏΡΠΎΡΠ΅Π΄ΡΡΠ΅ ΠΎΠ±ΡΠ°Π±ΠΎΡΠΊΠΈ ΠΎΡΠΈΠ±ΠΎΠΊ.
ΠΠΎΠ΄ Π»ΡΠ±ΠΎΠ³ΠΎ ΠΏΡΠ°Π²ΠΈΠ»Π° ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π΄Π»Ρ ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΡΠΈΠΌΠ²ΠΎΠ»Π°, Π²Ρ ΠΎΠ΄ΡΡΠ΅Π³ΠΎ Π² ΠΏΡΠ°Π²ΡΡ ΡΠ°ΡΡΡ ΠΏΡΠ°Π²ΠΈΠ»Π°. ΠΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΡΠ°ΡΠΏΠΎΠ»ΠΎΠΆΠ΅Π½Ρ Π² ΡΠΎΠΌ ΠΏΠΎΡΡΠ΄ΠΊΠ΅, Π² ΠΊΠ°ΠΊΠΎΠΌ ΡΠΈΠΌΠ²ΠΎΠ»Ρ ΡΠ°ΡΠΏΠΎΠ»ΠΎΠΆΠ΅Π½Ρ Π² ΠΏΡΠ°Π²ΠΈΠ»Π΅. ΠΠ° ΠΏΠΎΡΠ»Π΅Π΄Π½Π΅ΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠ΅ΠΉ ΠΊΠΎΠ΄ ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ Π²ΠΎΠ·Π²ΡΠ°Ρ ΠΈΠ· ΠΏΡΠΎΡΠ΅Π΄ΡΡΡ.
ΠΡΠΈΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ ΡΠ΅ΠΊΡΡΡΠΈΠ²Π½ΠΎΠ³ΠΎ ΡΠΏΡΡΠΊΠ° Π½Π° ΡΠ·ΡΠΊΠ΅ Π²ΡΡΠΎΠΊΠΎΠ³ΠΎ ΡΡΠΎΠ²Π½Ρ ΠΎΠ±Π»Π΅Π³ΡΠ°Π΅Ρ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΠΈ ΠΎΡ ΠΎΡΠ»Π°Π΄ΠΊΡ.
1.2 Π Π°Π·Π±ΠΎΡ ΡΠ½ΠΈΠ·Ρ-Π²Π²Π΅ΡΡ
Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ ΡΠ°Π·Π±ΠΎΡ ΡΠ½ΠΈΠ·Ρ-Π²Π²Π΅ΡΡ , ΠΏΡΠΈ ΠΊΠΎΡΠΎΡΠΎΠΌ ΠΏΡΠΎΠΌΠ΅ΠΆΡΡΠΎΡΠ½ΡΠ΅ Π²ΡΠ²ΠΎΠ΄Ρ ΠΏΠ΅ΡΠ΅ΠΌΠ΅ΡΠ°ΡΡΡΡ ΠΏΠΎ Π΄Π΅ΡΠ΅Π²Ρ ΠΏΠΎ Π½Π°ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ ΠΊ ΠΊΠΎΡΠ½Ρ. ΠΡΠ»ΠΈ ΡΡΠΈΡΡΠ²Π°ΡΡ ΡΠΈΠΌΠ²ΠΎΠ»Ρ ΡΠ΅ΠΏΠΎΡΠΊΠΈ ΡΠ»Π΅Π²Π° Π½Π°ΠΏΡΠ°Π²ΠΎ, ΡΠΎ Π΄Π΅ΡΠ΅Π²ΠΎ ΡΠ°Π·Π±ΠΎΡΠ° Π±ΡΠ΄Π΅Ρ Π²ΡΠ³Π»ΡΠ΄Π΅ΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ:
— S—
/-x;
/ |
—w—b—u;
Π ΠΈΡΡΠ½ΠΎΠΊ 2
ΠΡΠΎΠΌΠ΅ΠΆΡΡΠΎΡΠ½ΡΠΉ Π²ΡΠ²ΠΎΠ΄ ΠΈΠΌΠ΅Π΅Ρ Π²ΠΈΠ΄ xbu, Π³Π΄Π΅ x — ΡΠ΅ΠΏΠΎΡΠΊΠ° ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΠΎΠ² ΠΈ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΠΎΠ², ΠΈΠ· ΠΊΠΎΡΠΎΡΠΎΠΉ Π²ΡΠ²ΠΎΠ΄ΠΈΡΡΡ ΠΏΡΠΎΡΠΌΠΎΡΡΠ΅Π½Π½Π°Ρ ΡΠ°ΡΡΡ ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΡΠ½ΠΎΠΉ ΡΠ΅ΠΏΠΎΡΠΊΠΈ w, bu — Π½Π΅ΠΏΡΠΎΡΠΌΠΎΡΡΠ΅Π½Π½Π°Ρ ΡΠ°ΡΡΡ ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΡΠ½ΠΎΠΉ ΡΠ΅ΠΏΠΎΡΠΊΠΈ, b — ΠΎΡΠ΅ΡΠ΅Π΄Π½ΠΎΠΉ ΡΠΈΠΌΠ²ΠΎΠ». Π§ΡΠΎΠ±Ρ ΠΏΡΠΎΠ΄ΠΎΠ»ΠΆΠΈΡΡ ΡΠ°Π·Π±ΠΎΡ, ΠΌΠΎΠΆΠ½ΠΎ Π»ΠΈΠ±ΠΎ Π΄ΠΎΠ±Π°Π²ΠΈΡΡ ΡΠΈΠΌΠ²ΠΎΠ» b ΠΊ ΠΏΡΠΎΡΠΌΠΎΡΡΠ΅Π½Π½ΠΎΠΉ ΡΠ°ΡΡΠΈ ΡΠ΅ΠΏΠΎΡΠΊΠΈ (Π²ΡΠΏΠΎΠ»Π½ΠΈΡΡ ΡΠ°ΠΊ Π½Π°Π·ΡΠ²Π°Π΅ΠΌΡΠΉ «ΡΠ΄Π²ΠΈΠ³»), Π»ΠΈΠ±ΠΎ Π²ΡΠ΄Π΅Π»ΠΈΡΡ Π² ΠΊΠΎΠ½ΡΠ΅ x ΡΠ°ΠΊΡΡ ΡΠ΅ΠΏΠΎΡΠΊΡ z (x=yz), ΡΡΠΎ ΠΊ z ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡΠΈΠΌΠ΅Π½ΠΈΡΡ ΠΎΠ΄Π½ΠΎ ΠΈΠ· ΠΏΡΠ°Π²ΠΈΠ» Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ B: z ΠΈ Π·Π°ΠΌΠ΅Π½ΠΈΡΡ x Π½Π° ΡΠ΅ΠΏΠΎΡΠΊΡ yB (Π²ΡΠΏΠΎΠ»Π½ΠΈΡΡ ΡΠ°ΠΊ Π½Π°Π·ΡΠ²Π°Π΅ΠΌΡΡ «ΡΠ²Π΅ΡΡΠΊΡ»):
— S— -S—
/ /
/-x-b- /yB;
/ | / |
—w—b—u- —w—b—u;
Π ΠΈΡΡΠ½ΠΎΠΊ 3 — ΠΠΎΡΠ»Π΅ ΡΠ΄Π²ΠΈΠ³Π° Π ΠΈΡΡΠ½ΠΎΠΊ 4 — ΠΠΎΡΠ»Π΅ ΡΠ²Π΅ΡΡΠΊΠΈ
ΠΡΠ»ΠΈ ΡΠ²Π΅ΡΡΠΊΡ ΠΏΡΠΈΠΌΠ΅Π½ΡΡΡ ΡΠΎΠ»ΡΠΊΠΎ ΠΊ ΠΏΠΎΡΠ»Π΅Π΄Π½ΠΈΠΌ ΡΠΈΠΌΠ²ΠΎΠ»Π°ΠΌ x, ΡΠΎ ΠΌΡ Π±ΡΠ΄Π΅ΠΌ ΠΏΠΎΠ»ΡΡΠ°ΡΡ ΠΏΡΠ°Π²ΡΠ΅ Π²ΡΠ²ΠΎΠ΄Ρ ΡΠ΅ΠΏΠΎΡΠΊΠΈ. Π’Π°ΠΊΠΎΠΉ ΡΠ°Π·Π±ΠΎΡ ΠΏΠΎΠ»ΡΡΠΈΠ» Π½Π°Π·Π²Π°Π½ΠΈΠ΅ LR, Π³Π΄Π΅ ΡΠΈΠΌΠ²ΠΎΠ» L (Left, Π»Π΅Π²ΡΠΉ) ΠΎΡΠ½ΠΎΡΠΈΡΡΡ ΠΊ ΠΏΡΠΎΡΠΌΠΎΡΡΡ ΡΠ΅ΠΏΠΎΡΠΊΠΈ ΡΠ»Π΅Π²Π° Π½Π°ΠΏΡΠ°Π²ΠΎ, Π° R (Right, ΠΏΡΠ°Π²ΡΠΉ) ΠΎΡΠ½ΠΎΡΠΈΡΡΡ ΠΊ ΠΏΠΎΠ»ΡΡΠ°Π΅ΠΌΡΠΌ Π²ΡΠ²ΠΎΠ΄Π°ΠΌ.
ΠΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΡΡΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ ΡΠ΄Π²ΠΈΠ³Π° ΠΈ ΡΠ²Π΅ΡΡΠΊΠΈ ΡΡΡΠ΅ΡΡΠ²Π΅Π½Π½Π°. ΠΠΎΡΡΠΎΠΌΡ Π΄Π»Ρ Π΄Π΅ΡΠ΅ΡΠΌΠΈΠ½ΠΈΡΠΎΠ²Π°Π½Π½ΠΎΠ³ΠΎ ΡΠ°Π·Π±ΠΎΡΠ° ΡΡΠ΅Π±ΡΠ΅ΡΡΡ Π² ΠΊΠ°ΠΆΠ΄ΡΠΉ ΠΌΠΎΠΌΠ΅Π½Ρ Π²ΡΠ±ΠΈΡΠ°ΡΡ ΠΌΠ΅ΠΆΠ΄Ρ ΡΠ΄Π²ΠΈΠ³ΠΎΠΌ ΠΈ ΡΠ²Π΅ΡΡΠΊΠΎΠΉ (ΠΈ ΡΠ°Π·Π»ΠΈΡΠ½ΡΠΌΠΈ ΠΏΡΠ°Π²ΠΈΠ»Π°ΠΌΠΈ ΡΠ²Π΅ΡΡΠΊΠΈ).
1.2.1 LR (k) — Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ
ΠΡΠ»ΠΈ Π² ΠΏΡΠΎΡΠ΅ΡΡΠ΅ LR-ΡΠ°Π·Π±ΠΎΡΠ° ΠΏΡΠΈΠ½ΡΡΡ Π΄Π΅ΡΠ΅ΡΠΌΠΈΠ½ΠΈΡΠΎΠ²Π°Π½Π½ΠΎΠ΅ ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ ΠΎ ΡΠ΄Π²ΠΈΠ³Π΅/ΡΠ²Π΅ΡΡΠΊΠ΅ ΡΠ΄Π°Π΅ΡΡΡ, ΡΠ°ΡΡΠΌΠ°ΡΡΠΈΠ²Π°Ρ ΡΠΎΠ»ΡΠΊΠΎ ΡΠ΅ΠΏΠΎΡΠΊΡ x ΠΈ ΠΏΠ΅ΡΠ²ΡΠ΅ k ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ² Π½Π΅ΠΏΡΠΎΡΠΌΠΎΡΡΠ΅Π½Π½ΠΎΠΉ ΡΠ°ΡΡΠΈ Π²Ρ ΠΎΠ΄Π½ΠΎΠΉ ΡΠ΅ΠΏΠΎΡΠΊΠΈ u (ΡΡΠΈ k ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ² Π½Π°Π·ΡΠ²Π°ΡΡ Π°Π²Π°Π½ΡΠ΅ΠΏΠΎΡΠΊΠΎΠΉ), Π³ΠΎΠ²ΠΎΡΡΡ, ΡΡΠΎ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ° ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ LR (k)-ΡΠ²ΠΎΠΉΡΡΠ²ΠΎΠΌ.
— S—
/-x;
—w——u—
Π ΠΈΡΡΠ½ΠΎΠΊ 5
Π Π°Π·Π»ΠΈΡΠΈΠ΅ ΠΌΠ΅ΠΆΠ΄Ρ LL (k) — ΠΈ LR (k)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ°ΠΌΠΈ Π² ΡΠ΅ΡΠΌΠΈΠ½Π°Ρ Π΄Π΅ΡΠ΅Π²Π° Π²ΡΠ²ΠΎΠ΄Π°:
— S;
/ |
/ A
/ /
— w—-v—-u;
Π ΠΈΡΡΠ½ΠΎΠΊ 6
Π ΡΠ»ΡΡΠ°Π΅ LL (k)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊ ΠΎΠ΄Π½ΠΎΠ·Π½Π°ΡΠ½ΠΎ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΡ ΠΏΡΠ°Π²ΠΈΠ»ΠΎ, ΠΏΡΠΈΠΌΠ΅Π½Π΅Π½Π½ΠΎΠ΅ ΠΊ A, ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠΎ w ΠΈ ΠΏΠ΅ΡΠ²ΡΠΌ k ΡΠΈΠΌΠ²ΠΎΠ»Π°ΠΌ vu, Π° Π² ΡΠ»ΡΡΠ°Π΅ LR (k)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊ — ΠΏΠΎ w, v ΠΈ ΠΏΠ΅ΡΠ²ΡΠΌ k ΡΠΈΠΌΠ²ΠΎΠ»Π°ΠΌ u. ΠΡΠΎ Π½Π΅ΡΡΡΠΎΠ³ΠΎΠ΅ ΡΠ°ΡΡΡΠΆΠ΄Π΅Π½ΠΈΠ΅ ΠΏΠΎΠΊΠ°Π·ΡΠ²Π°Π΅Ρ, ΡΡΠΎ LL (k)-ΡΠ·ΡΠΊΠΈ < LR (k)-ΡΠ·ΡΠΊΠΈ (ΠΏΡΠΈ k > 0).
1.2.1.1 LR (0) — Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ
Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ Π²Π½Π°ΡΠ°Π»Π΅ Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ ΠΏΡΠΎΡΡΡΠ΅ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ ΡΡΠΎΠ³ΠΎ ΠΊΠ»Π°ΡΡΠ° — LR (0). ΠΡΠΈ ΡΠ°Π·Π±ΠΎΡΠ΅ ΡΡΡΠΎΠΊΠΈ LR (0)-ΡΠ·ΡΠΊΠ° ΠΌΠΎΠΆΠ½ΠΎ Π²ΠΎΠΎΠ±ΡΠ΅ Π½Π΅ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°ΡΡ Π°Π²Π°Π½ΡΠ΅ΠΏΠΎΡΠΊΡ — Π²ΡΠ±ΠΎΡ ΠΌΠ΅ΠΆΠ΄Ρ ΡΠ΄Π²ΠΈΠ³ΠΎΠΌ ΠΈ ΡΠ²Π΅ΡΡΠΊΠΎΠΉ Π΄Π΅Π»Π°Π΅ΡΡΡ Π½Π° ΠΎΡΠ½ΠΎΠ²Π°Π½ΠΈΠΈ ΡΠ΅ΠΏΠΎΡΠΊΠΈ x. Π’Π°ΠΊ ΠΊΠ°ΠΊ Π² ΠΏΡΠΎΡΠ΅ΡΡΠ΅ ΡΠ°Π·Π±ΠΎΡΠ° ΠΎΠ½Π° ΠΈΠ·ΠΌΠ΅Π½ΡΠ΅ΡΡΡ ΡΠΎΠ»ΡΠΊΠΎ Ρ ΠΏΡΠ°Π²ΠΎΠ³ΠΎ ΠΊΠΎΠ½ΡΠ°, Π΅Π΅ Π½Π°Π·ΡΠ²Π°ΡΡ ΡΡΠ΅ΠΊΠΎΠΌ. ΠΡΠ΄Π΅ΠΌ ΡΡΠΈΡΠ°ΡΡ, ΡΡΠΎ Π² Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ΅ Π½Π΅Ρ Π±Π΅ΡΠΏΠΎΠ»Π΅Π·Π½ΡΡ ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ² ΠΈ Π½Π°ΡΠ°Π»ΡΠ½ΡΠΉ ΡΠΈΠΌΠ²ΠΎΠ» Π½Π΅ Π²ΡΡΡΠ΅ΡΠ°Π΅ΡΡΡ Π² ΠΏΡΠ°Π²ΡΡ ΡΠ°ΡΡΡΡ ΠΏΡΠ°Π²ΠΈΠ» — ΡΠΎΠ³Π΄Π° ΡΠ²Π΅ΡΡΠΊΠ° ΠΊ Π½Π°ΡΠ°Π»ΡΠ½ΠΎΠΌΡ ΡΠΈΠΌΠ²ΠΎΠ»Ρ ΡΠΈΠ³Π½Π°Π»ΠΈΠ·ΠΈΡΡΠ΅Ρ ΠΎΠ± ΡΡΠΏΠ΅ΡΠ½ΠΎΠΌ Π·Π°Π²Π΅ΡΡΠ΅Π½ΠΈΠΈ ΡΠ°Π·Π±ΠΎΡΠ°. ΠΠΎΠΏΡΠΎΠ±ΡΠ΅ΠΌ ΠΎΠΏΠΈΡΠ°ΡΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΡΠ΅ΠΏΠΎΡΠ΅ΠΊ ΠΈΠ· ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΠΎΠ² ΠΈ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΠΎΠ², ΠΏΠΎΡΠ²Π»ΡΡΡΠΈΡ ΡΡ Π² ΡΡΠ΅ΠΊΠ΅ Π² ΠΏΡΠΎΡΠ΅ΡΡΠ΅ Π²ΡΠ΅Ρ LR-ΡΠ°Π·Π±ΠΎΡΠΎΠ² (Π΄ΡΡΠ³ΠΈΠΌΠΈ ΡΠ»ΠΎΠ²Π°ΠΌΠΈ — Π²ΡΠ΅Ρ ΠΏΡΠ°Π²ΡΡ Π²ΡΠ²ΠΎΠ΄ΠΎΠ² ΠΈΠ· Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ).
ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΠΌ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π°:
L (A:v) — Π»Π΅Π²ΡΠΉ ΠΊΠΎΠ½ΡΠ΅ΠΊΡΡ ΠΏΡΠ°Π²ΠΈΠ»Π° A: v — ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ ΡΡΠ΅ΠΊΠ°, Π½Π΅ΠΏΠΎΡΡΠ΅Π΄ΡΡΠ²Π΅Π½Π½ΠΎ ΠΏΠ΅ΡΠ΅Π΄ ΡΠ²Π΅ΡΡΠΊΠΎΠΉ v Π² A Π² Ρ ΠΎΠ΄Π΅ Π²ΡΠ΅Ρ ΡΡΠΏΠ΅ΡΠ½ΡΡ LR-ΡΠ°Π·Π±ΠΎΡΠΎΠ². ΠΡΠ΅Π²ΠΈΠ΄Π½ΠΎ, ΠΊΠ°ΠΆΠ΄Π°Ρ ΡΠ΅ΠΏΠΎΡΠΊΠ° ΠΈΠ· L (A:v) ΠΊΠΎΠ½ΡΠ°Π΅ΡΡΡ Π½Π° v. ΠΡΠ»ΠΈ Ρ Π²ΡΠ΅Ρ ΡΠ°ΠΊΠΈΡ ΡΠ΅ΠΏΠΎΡΠ΅ΠΊ ΠΎΡΡΠ΅Π·Π°ΡΡ Ρ Π²ΠΎΡΡ v, ΡΠΎ ΠΏΠΎΠ»ΡΡΠΈΡΡΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΡΠ΅ΠΏΠΎΡΠ΅ΠΊ, Π²ΡΡΡΠ΅ΡΠ°ΡΡΠΈΡ ΡΡ ΡΠ»Π΅Π²Π° ΠΎΡ A Π² ΠΏΡΠΎΡΠ΅ΡΡΠ΅ Π²ΡΠ΅Ρ ΡΡΠΏΠ΅ΡΠ½ΡΡ ΠΏΡΠ°Π²ΡΡ Π²ΡΠ²ΠΎΠ΄ΠΎΠ². ΠΠ±ΠΎΠ·Π½Π°ΡΠΈΠΌ ΡΡΠΎ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ L (A) — Π»Π΅Π²ΡΠΉ ΠΊΠΎΠ½ΡΠ΅ΠΊΡΡ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»Π° A.
ΠΠΎΡΡΡΠΎΠΈΠΌ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΡ Π΄Π»Ρ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° L (A). Π’Π΅ΡΠΌΠΈΠ½Π°Π»Π°ΠΌΠΈ Π½ΠΎΠ²ΠΎΠΉ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ Π±ΡΠ΄ΡΡ ΡΠ΅ΡΠΌΠΈΠ½Π°Π»Ρ ΠΈ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»Ρ ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠΉ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ, Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»Ρ Π½ΠΎΠ²ΠΎΠΉ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠΈΠΌ ,… — ΠΈΡ Π·Π½Π°ΡΠ΅Π½ΠΈΡΠΌΠΈ Π±ΡΠ΄ΡΡ Π»Π΅Π²ΡΠ΅ ΠΊΠΎΠ½ΡΠ΅ΠΊΡΡΡ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΠΎΠ² ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠΉ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ. ΠΡΠ»ΠΈ S — Π½Π°ΡΠ°Π»ΡΠ½ΡΠΉ ΡΠΈΠΌΠ²ΠΎΠ» ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠΉ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ, ΡΠΎ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ° Π»Π΅Π²ΡΡ ΠΊΠΎΠ½ΡΠ΅ΠΊΡΡΠΎΠ² Π±ΡΠ΄Π΅Ρ ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΡ ΠΏΡΠ°Π²ΠΈΠ»ΠΎ: e — Π»Π΅Π²ΡΠΉ ΠΊΠΎΠ½ΡΠ΅ΠΊΡΡ S ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ ΠΏΡΡΡΡΡ ΡΠ΅ΠΏΠΎΡΠΊΡ ΠΠ»Ρ ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΏΡΠ°Π²ΠΈΠ»Π° ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠΉ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ, Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ, A: B C d E
ΠΈ Π΄ΠΎΠ±Π°Π²ΠΈΠΌ Π² Π½ΠΎΠ²ΡΡ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΡ ΠΏΡΠ°Π²ΠΈΠ»Π°:
: — L (B) Π²ΠΊΠ»ΡΡΠ°Π΅Ρ L (A)
: B — L© Π²ΠΊΠ»ΡΡΠ°Π΅Ρ L (A) B
: B C d — L (E) Π²ΠΊΠ»ΡΡΠ°Π΅Ρ L (A) B C d
ΠΠΎΠ»ΡΡΠ΅Π½Π½Π°Ρ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ° ΠΈΠΌΠ΅Π΅Ρ ΡΠΏΠ΅ΡΠΈΠ°Π»ΡΠ½ΡΠΉ Π²ΠΈΠ΄ (ΡΠ°ΠΊΠΈΠ΅ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ Π½Π°Π·ΡΠ²Π°ΡΡΡΡ Π»Π΅Π²ΠΎΠ»ΠΈΠ½Π΅ΠΉΠ½ΡΠΌΠΈ), ΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ, ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° Π»Π΅Π²ΡΡ ΠΊΠΎΠ½ΡΠ΅ΠΊΡΡΠΎΠ²
— ΡΠ΅Π³ΡΠ»ΡΡΠ½Ρ. ΠΠ· ΡΡΠΎΠ³ΠΎ ΡΠ»Π΅Π΄ΡΠ΅Ρ, ΡΡΠΎ ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ½ΠΎΡΡΡ ΡΠ΅ΠΏΠΎΡΠΊΠΈ Π»Π΅Π²ΠΎΠΌΡ ΠΊΠΎΠ½ΡΠ΅ΠΊΡΡΡ ΠΊΠ°ΠΊΠΎΠ³ΠΎ-Π»ΠΈΠ±ΠΎ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»Π° ΠΌΠΎΠΆΠ½ΠΎ Π²ΡΡΠΈΡΠ»ΡΡΡ ΠΈΠ½Π΄ΡΠΊΡΠΈΠ²Π½ΠΎ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΊΠΎΠ½Π΅ΡΠ½ΠΎΠ³ΠΎ Π°Π²ΡΠΎΠΌΠ°ΡΠ°, ΠΏΡΠΎΡΠΌΠ°ΡΡΠΈΠ²Π°Ρ ΡΠ΅ΠΏΠΎΡΠΊΡ ΡΠ»Π΅Π²Π° Π½Π°ΠΏΡΠ°Π²ΠΎ. ΠΠΏΠΈΡΠ΅ΠΌ ΡΡΠΎΡ ΠΏΡΠΎΡΠ΅ΡΡ ΠΊΠΎΠ½ΡΡΡΡΠΊΡΠΈΠ²Π½ΠΎ.
ΠΠ°Π·ΠΎΠ²Π΅ΠΌ LR (0)-ΡΠΈΡΡΠ°ΡΠΈΠ΅ΠΉ ΠΏΡΠ°Π²ΠΈΠ»ΠΎ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ Ρ ΠΎΠ΄Π½ΠΎΠΉ ΠΎΡΠΌΠ΅ΡΠ΅Π½Π½ΠΎΠΉ ΠΏΠΎΠ·ΠΈΡΠΈΠ΅ΠΉ ΠΌΠ΅ΠΆΠ΄Ρ ΡΠΈΠΌΠ²ΠΎΠ»Π°ΠΌΠΈ ΠΏΡΠ°Π²ΠΎΠΉ ΡΠ°ΡΡΠΈ ΠΏΡΠ°Π²ΠΈΠ»Π°. ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, Π΄Π»Ρ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ S: A; A: aAA; A: b ΡΡΡΠ΅ΡΡΠ²ΡΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ LR (0)-ΡΠΈΡΡΠ°ΡΠΈΠΈ: S:_A; S: A_; A:_aAA; A: a_AA; A: aA_A; A: aAA_; A:_b; A: b_. (ΠΏΠΎΠ·ΠΈΡΠΈΡ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½Π° ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠΌ ΠΏΠΎΠ΄ΡΠ΅ΡΠΊΠΈΠ²Π°Π½ΠΈΡ).
ΠΡΠ΄Π΅ΠΌ Π³ΠΎΠ²ΠΎΡΠΈΡΡ, ΡΡΠΎ ΡΠ΅ΠΏΠΎΡΠΊΠ° x ΡΠΎΠ³Π»Π°ΡΠΎΠ²Π°Π½Π° Ρ ΡΠΈΡΡΠ°ΡΠΈΠ΅ΠΉ Π: b_c, Π΅ΡΠ»ΠΈ x=ab ΠΈ a ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ L (A). (ΠΡΡΠ³ΠΈΠΌΠΈ ΡΠ»ΠΎΠ²Π°ΠΌΠΈ, LR-Π²ΡΠ²ΠΎΠ΄ ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ ΠΏΡΠΎΠ΄ΠΎΠ»ΠΆΠ΅Π½ x_… = ab_…: abc_…: aA_…: S_.) Π ΡΡΠΈΡ ΡΠ΅ΡΠΌΠΈΠ½Π°Ρ L (A:b) — ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΡΠ΅ΠΏΠΎΡΠ΅ΠΊ, ΡΠΎΠ³Π»Π°ΡΠΎΠ²Π°Π½Π½ΡΡ Ρ ΡΠΈΡΡΠ°ΡΠΈΠ΅ΠΉ A: b_, L (A)
— ΡΠ΅ΠΏΠΎΡΠΊΠΈ, ΡΠΎΠ³Π»Π°ΡΠΎΠ²Π°Π½Π½ΡΠ΅ Ρ ΡΠΈΡΡΠ°ΡΠΈΠ΅ΠΉ A:_b, Π΄Π»Ρ Π»ΡΠ±ΠΎΠ³ΠΎ ΠΏΡΠ°Π²ΠΈΠ»Π° A: b.
ΠΡΡΡΡ V (u) — ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΡΠΈΡΡΠ°ΡΠΈΠΉ, ΡΠΎΠ³Π»Π°ΡΠΎΠ²Π°Π½Π½ΡΡ Ρ u. ΠΠΎΠΊΠ°ΠΆΠ΅ΠΌ, ΡΡΠΎ ΡΡΠ½ΠΊΡΠΈΡ V — ΠΈΠ½Π΄ΡΠΊΡΠΈΠ²Π½Π°.
ΠΡΠ»ΠΈ Π² ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ V (u) Π²Ρ ΠΎΠ΄ΠΈΡ ΡΠΈΡΡΠ°ΡΠΈΡ A: b_cd, ΡΠΎ ΡΠΈΡΡΠ°ΡΠΈΡ A: bc_d ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ V (uc). (c — ΡΠ΅ΡΠΌΠΈΠ½Π°Π» ΠΈΠ»ΠΈ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»; b, d — ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΡΡΠΈ (ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ ΠΏΡΡΡΡΠ΅) ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΠΎΠ² ΠΈ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΠΎΠ²). ΠΡΡΠ³ΠΈΡ ΡΠΈΡΡΠ°ΡΠΈΠΉ Π²ΠΈΠ΄Π° A: b_d, Ρ Π½Π΅ΠΏΡΡΡΡΠΌ b Π² V (uc) Π½Π΅Ρ. ΠΡΡΠ°Π»ΠΎΡΡ Π΄ΠΎΠ±Π°Π²ΠΈΡΡ Π² V (uc) ΡΠΈΡΡΠ°ΡΠΈΠΈ Π²ΠΈΠ΄Π° C:_…, Π΄Π»Ρ ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»Π° C, Π»Π΅Π²ΡΠΉ ΠΊΠΎΠ½ΡΠ΅ΠΊΡΡ ΠΊΠΎΡΠΎΡΠΎΠ³ΠΎ ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ uc. ΠΡΠ»ΠΈ ΡΠΈΡΡΠ°ΡΠΈΡ A:…_C… (C-Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π») ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Ρ V (uc), ΡΠΎ uc ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ L© ΠΈ V (uc) Π²ΠΊΠ»ΡΡΠ°Π΅Ρ Π² ΡΠ΅Π±Ρ ΡΠΈΡΡΠ°ΡΠΈΠΈ Π²ΠΈΠ΄Π° C:_… Π΄Π»Ρ Π²ΡΠ΅Ρ C-ΠΏΡΠ°Π²ΠΈΠ» Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ.
V (e) ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ ΡΠΈΡΡΠ°ΡΠΈΠΈ S:_… (S-Π½Π°ΡΠ°Π»ΡΠ½ΡΠΉ ΡΠΈΠΌΠ²ΠΎΠ»), Π° ΡΠ°ΠΊΠΆΠ΅ ΡΠΈΡΡΠ°ΡΠΈΠΈ A:_…, Π΅ΡΠ»ΠΈ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π» A Π²ΡΡΡΠ΅ΡΠ°Π΅ΡΡΡ Π½Π΅ΠΏΠΎΡΡΠ΅Π΄ΡΡΠ²Π΅Π½Π½ΠΎ ΠΏΠΎΡΠ»Π΅ _ Π² ΡΠΈΡΡΠ°ΡΠΈΡΡ , ΡΠΆΠ΅ Π²ΠΊΠ»ΡΡΠ΅Π½Π½ΡΡ Π² V (e).
ΠΠ°ΠΊΠΎΠ½Π΅Ρ, ΠΌΡ Π³ΠΎΡΠΎΠ²Ρ Π΄Π°ΡΡ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ LR (0)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ. ΠΡΡΡΡ u — ΡΠΎΠ΄Π΅ΡΠΆΠΈΠΌΠΎΠ΅ ΡΡΠ΅ΠΊΠ° Π² ΠΏΡΠΎΡΠ΅ΡΡΠ΅ LR-ΡΠ°Π·Π±ΠΎΡΠ°, V (u)-ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ LR (0) ΡΠΈΡΡΠ°ΡΠΈΠΉ, ΡΠΎΠ³Π»Π°ΡΠΎΠ²Π°Π½Π½ΡΡ Ρ u. ΠΡΠ»ΠΈ V (u) ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ ΡΠΈΡΡΠ°ΡΠΈΡ Π²ΠΈΠ΄Π° Π: x_ (x-ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΡΡΡ ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΠΎΠ² ΠΈ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΠΎΠ²), ΡΠΎ u ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ L (A:x) ΠΈ Π΄ΠΎΠΏΡΡΡΠΈΠΌΠ° ΡΠ²Π΅ΡΡΠΊΠ° x Π² A. ΠΡΠ»ΠΈ V (u) ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ ΡΠΈΡΡΠ°ΡΠΈΡ A:…_a… (Π°-ΡΠ΅ΡΠΌΠΈΠ½Π°Π»), ΡΠΎ Π΄ΠΎΠΏΡΡΡΠΈΠΌ ΡΠ΄Π²ΠΈΠ³. ΠΠΎΠ²ΠΎΡΡΡ ΠΎ ΠΊΠΎΠ½ΡΠ»ΠΈΠΊΡΠ΅ ΡΠ΄Π²ΠΈΠ³-ΡΠ²Π΅ΡΡΠΊΠ°, Π΅ΡΠ»ΠΈ Π΄Π»Ρ ΠΎΠ΄Π½ΠΎΠΉ ΡΠ΅ΠΏΠΎΡΠΊΠΈ u Π΄ΠΎΠΏΡΡΡΠΈΠΌΡ ΠΈ ΡΠ΄Π²ΠΈΠ³, ΠΈ ΡΠ²Π΅ΡΡΠΊΠ°. ΠΠΎΠ²ΠΎΡΡΡ ΠΎ ΠΊΠΎΠ½ΡΠ»ΠΈΠΊΡΠ΅ ΡΠ²Π΅ΡΡΠΊΠ°-ΡΠ²Π΅ΡΡΠΊΠ°, Π΅ΡΠ»ΠΈ Π΄ΠΎΠΏΡΡΡΠΈΠΌΡ ΡΠ²Π΅ΡΡΠΊΠΈ ΠΏΠΎ ΡΠ°Π·Π»ΠΈΡΠ½ΡΠΌ ΠΏΡΠ°Π²ΠΈΠ»Π°ΠΌ.
ΠΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ° Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ LR (0), Π΅ΡΠ»ΠΈ Π΄Π»Ρ Π²ΡΠ΅Ρ ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ ΡΡΠ΅ΠΊΠ° Π² ΠΏΡΠΎΡΠ΅ΡΡΠ΅ LR-Π²ΡΠ²ΠΎΠ΄Π° Π½Π΅Ρ ΠΊΠΎΠ½ΡΠ»ΠΈΠΊΡΠΎΠ² ΡΠ΄Π²ΠΈΠ³-ΡΠ²Π΅ΡΡΠΊΠ° ΠΈΠ»ΠΈ ΡΠ²Π΅ΡΡΠΊΠ°-ΡΠ²Π΅ΡΡΠΊΠ°.
1.2.1.2 LR (k) — Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ
ΠΠ»Ρ Π²ΡΠ±ΠΎΡΠ° ΠΌΠ΅ΠΆΠ΄Ρ ΡΠ΄Π²ΠΈΠ³ΠΎΠΌ ΠΈΠ»ΠΈ ΡΠ²Π΅ΡΡΠΊΠΎΠΉ Π² LR (0) ΡΠ°Π·Π±ΠΎΡΠ΅ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΡΡΡ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΡΡΠΎΡΠ½ΠΈΠ΅ ΡΡΠ΅ΠΊΠ°. Π LR (k) ΡΠ°Π·Π±ΠΎΡΠ΅ ΡΡΠΈΡΡΠ²Π°Π΅ΡΡΡ ΡΠ°ΠΊΠΆΠ΅ k-ΠΏΠ΅ΡΠ²ΡΡ ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ² Π½Π΅ΠΏΡΠΎΡΠΌΠΎΡΡΠ΅Π½Π½ΠΎΠΉ ΡΠ°ΡΡΠΈ Π²Ρ ΠΎΠ΄Π½ΠΎΠΉ ΡΠ΅ΠΏΠΎΡΠΊΠΈ (ΡΠ°ΠΊ Π½Π°Π·ΡΠ²Π°Π΅ΠΌΠ°Ρ Π°Π²Π°Π½ΡΠ΅ΠΏΠΎΡΠΊΠ°). ΠΠ»Ρ ΠΎΠ±ΠΎΡΠ½ΠΎΠ²Π°Π½ΠΈΡ ΠΌΠ΅ΡΠΎΠ΄Π° ΡΠ»Π΅Π΄ΡΠ΅Ρ Π°ΠΊΠΊΡΡΠ°ΡΠ½ΠΎ ΠΏΠΎΠ²ΡΠΎΡΠΈΡΡ ΡΠ°ΡΡΡΠΆΠ΄Π΅Π½ΠΈΡ ΠΏΡΠ΅Π΄ΡΠ΄ΡΡΠ΅Π³ΠΎ ΠΏΠ°ΡΠ°Π³ΡΠ°ΡΠ°, Π²Π½Π΅ΡΡ ΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΈΡ Π² ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΡ.
ΠΡΠ΄Π΅ΠΌ Π²ΠΊΠ»ΡΡΠ°ΡΡ Π² Π»Π΅Π²ΡΠΉ ΠΊΠΎΠ½ΡΠ΅ΠΊΡΡ ΠΏΡΠ°Π²ΠΈΠ»Π° ΡΠ°ΠΊΠΆΠ΅ Π°Π²Π°Π½ΡΠ΅ΠΏΠΎΡΠΊΡ. ΠΡΠ»ΠΈ Π² ΠΏΡΠ°Π²ΠΎΠΌ Π²ΡΠ²ΠΎΠ΄Π΅ ΠΏΡΠΈΠΌΠ΅Π½ΡΠ΅ΡΡΡ Π²ΡΠ²ΠΎΠ΄ wAu: wvu, ΡΠΎ ΠΏΠ°ΡΠ° wv, FIRSTk (u) ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ Lk (A:v), Π° ΠΏΠ°ΡΠ° w, FIRSTk (u) — Lk (A). ΠΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π»Π΅Π²ΡΡ ΠΊΠΎΠ½ΡΠ΅ΠΊΡΡΠΎΠ², ΠΊΠ°ΠΊ ΠΈ Π² ΡΠ»ΡΡΠ°Π΅ LR (0), ΠΌΠΎΠΆΠ½ΠΎ Π²ΡΡΠΈΡΠ»ΡΡΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΈΠ½Π΄ΡΠΊΡΠΈΠΈ ΠΏΠΎ Π»Π΅Π²ΠΎΠΉ ΡΠ΅ΠΏΠΎΡΠΊΠ΅. ΠΠ°Π·ΠΎΠ²Π΅ΠΌ LR (k)-ΡΠΈΡΡΠ°ΡΠΈΠ΅ΠΉ ΠΏΠ°ΡΡ: ΠΏΡΠ°Π²ΠΈΠ»ΠΎ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ Ρ ΠΎΡΠΌΠ΅ΡΠ΅Π½Π½ΠΎΠΉ ΠΏΠΎΠ·ΠΈΡΠΈΠ΅ΠΉ ΠΈ Π°Π²Π°Π½ΡΠ΅ΠΏΠΎΡΠΊΡ Π΄Π»ΠΈΠ½Ρ Π½Π΅ Π±ΠΎΠ»Π΅Π΅ k. ΠΡΠ΄Π΅Π»ΡΡΡ ΠΏΡΠ°Π²ΠΈΠ»ΠΎ ΠΎΡ Π°Π²Π°Π½ΡΠ΅ΠΏΠΎΡΠΊΠΈ Π±ΡΠ΄Π΅ΠΌ Π²Π΅ΡΡΠΈΠΊΠ°Π»ΡΠ½ΠΎΠΉ ΡΠ΅ΡΡΠΎΠΉ.
ΠΡΠ΄Π΅ΠΌ Π³ΠΎΠ²ΠΎΡΠΈΡΡ, ΡΡΠΎ ΡΠ΅ΠΏΠΎΡΠΊΠ° x ΡΠΎΠ³Π»Π°ΡΠΎΠ²Π°Π½Π° Ρ ΡΠΈΡΡΠ°ΡΠΈΠ΅ΠΉ Π: b_c|t Π΅ΡΠ»ΠΈ ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ LR-Π²ΡΠ²ΠΎΠ΄: x_yz = ab_yz: abc_z: aA_z: S_, ΠΈ FIRSTk (z)=t. ΠΡΠ°Π²ΠΈΠ»Π° ΠΈΠ½Π΄ΡΠΊΡΠΈΠ²Π½ΠΎΠ³ΠΎ Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ Vk ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅:
Vk (e) ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ ΡΠΈΡΡΠ°ΡΠΈΠΈ S:_a|e Π΄Π»Ρ Π²ΡΠ΅Ρ ΠΏΡΠ°Π²ΠΈΠ» S: a, Π³Π΄Π΅ S-Π½Π°ΡΠ°Π»ΡΠ½ΡΠΉ ΡΠΈΠΌΠ²ΠΎΠ». ΠΠ»Ρ ΠΊΠ°ΠΆΠ΄ΠΎΠΉ ΡΠΈΡΡΠ°ΡΠΈΠΈ Π:_Ba|u ΠΈΠ· Vk (e), ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΏΡΠ°Π²ΠΈΠ»Π° B: b ΠΈ ΡΠ΅ΠΏΠΎΡΠΊΠΈ x, ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°ΡΠ΅ΠΉ FIRSTk (au), Π½Π°Π΄ΠΎ Π΄ΠΎΠ±Π°Π²ΠΈΡΡ Π² Vk (e) ΡΠΈΡΡΠ°ΡΠΈΡ B:_b|x.
ΠΡΠ»ΠΈ Π² VΠΊ (w) Π²Ρ ΠΎΠ΄ΠΈΡ ΡΠΈΡΡΠ°ΡΠΈΡ A: b_cd|u, ΡΠΎ ΡΠΈΡΡΠ°ΡΠΈΡ A: bc_d|u Π±ΡΠ΄Π΅Ρ ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°ΡΡ Vk (wc). ΠΠ»Ρ ΠΊΠ°ΠΆΠ΄ΠΎΠΉ ΡΠΈΡΡΠ°ΡΠΈΠΈ Π: b_Cd|u ΠΈΠ· Vk (wc), ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΏΡΠ°Π²ΠΈΠ»Π° C: f ΠΈ ΡΠ΅ΠΏΠΎΡΠΊΠΈ x, ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°ΡΠ΅ΠΉ FIRSTk (du) Π½Π°Π΄ΠΎ Π΄ΠΎΠ±Π°Π²ΠΈΡΡ Π² Vk (wc) ΡΠΈΡΡΠ°ΡΠΈΡ C:_f|x.
ΠΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΠΌ ΠΏΠΎΡΡΡΠΎΠ΅Π½Π½ΡΠ΅ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° LR (k)-ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ Π΄Π»Ρ ΡΠ°Π·ΡΠ΅ΡΠ΅Π½ΠΈΡ Π²ΠΎΠΏΡΠΎΡΠ° ΡΠ΄Π²ΠΈΠ³-ΡΠ²Π΅ΡΡΠΊΠ°. ΠΡΡΡΡ u — ΡΠΎΠ΄Π΅ΡΠΆΠΈΠΌΠΎΠ΅ ΡΡΠ΅ΠΊΠ°, Π° x — Π°Π²Π°Π½ΡΠ΅ΠΏΠΎΡΠΊΠ°. ΠΡΠ΅Π²ΠΈΠ΄Π½ΠΎ, ΡΡΠΎ ΡΠ²Π΅ΡΡΠΊΠ° ΠΏΠΎ ΠΏΡΠ°Π²ΠΈΠ»Ρ A: b ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ ΠΏΡΠΎΠ²Π΅Π΄Π΅Π½Π°, Π΅ΡΠ»ΠΈ Vk (u) ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ ΡΠΈΡΡΠ°ΡΠΈΡ A: b_|x. Π Π΅ΡΠ΅Π½ΠΈΠ΅ Π²ΠΎΠΏΡΠΎΡΠ° ΠΎ Π΄ΠΎΠΏΡΡΡΠΈΠΌΠΎΡΡΠΈ ΡΠ΄Π²ΠΈΠ³Π° ΡΡΠ΅Π±ΡΠ΅Ρ Π°ΠΊΠΊΡΡΠ°ΡΠ½ΠΎΡΡΠΈ, Π΅ΡΠ»ΠΈ Π² Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ΅ ΠΈΠΌΠ΅ΡΡΡΡ e-ΠΏΡΠ°Π²ΠΈΠ»Π°. Π ΡΠΈΡΡΠ°ΡΠΈΠΈ A: b_c|t (c Π½Π΅ ΠΏΡΡΡΠΎ) ΡΠ΄Π²ΠΈΠ³ Π²ΠΎΠ·ΠΌΠΎΠΆΠ΅Π½, Π΅ΡΠ»ΠΈ c Π½Π°ΡΠΈΠ½Π°Π΅ΡΡΡ Ρ ΡΠ΅ΡΠΌΠΈΠ½Π°Π»Π° ΠΈ x ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ FIRSTk (ct). ΠΠ΅ΡΠΎΡΠΌΠ°Π»ΡΠ½ΠΎ Π³ΠΎΠ²ΠΎΡΡ, ΠΌΠΎΠΆΠ½ΠΎ Π·Π°Π½Π΅ΡΡΠΈ Π² ΡΡΠ΅ΠΊ ΡΠ°ΠΌΡΠΉ Π»Π΅Π²ΡΠΉ ΡΠΈΠΌΠ²ΠΎΠ» ΠΏΡΠ°Π²ΠΎΠΉ ΡΠ°ΡΡΠΈ ΠΏΡΠ°Π²ΠΈΠ»Π°, ΠΏΠΎΠ΄Π³ΠΎΡΠ°Π²Π»ΠΈΠ²Π°Ρ ΠΏΠΎΡΠ»Π΅Π΄ΡΡΡΡΡ ΡΠ²Π΅ΡΡΠΊΡ. ΠΡΠ»ΠΈ c Π½Π°ΡΠΈΠ½Π°Π΅ΡΡΡ Ρ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»Π° (ΡΠΈΡΡΠ°ΡΠΈΡ ΠΈΠΌΠ΅Π΅Ρ Π²ΠΈΠ΄ A: b_Cd|t), ΡΠΎ Π·Π°Π½Π΅ΡΡΠΈ Π² ΡΡΠ΅ΠΊ ΡΠΈΠΌΠ²ΠΎΠ», ΠΏΠΎΠ΄Π³ΠΎΡΠ°Π²Π»ΠΈΠ²Π°Ρ ΡΠ²Π΅ΡΡΠΊΡ Π² C, ΠΌΠΎΠΆΠ½ΠΎ ΡΠΎΠ»ΡΠΊΠΎ Π² ΡΠ»ΡΡΠ°Π΅, Π΅ΡΠ»ΠΈ C Π½Π΅ ΠΏΠΎΡΠΎΠΆΠ΄Π°Π΅Ρ ΠΏΡΡΡΡΡ ΡΠ΅ΠΏΠΎΡΠΊΡ. ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, Π² ΡΠΎΡΡΠΎΡΠ½ΠΈΠΈ V (e)= S:_A|e; A:_AaAb|e, a, A:_|e, a Π½Π΅Ρ Π΄ΠΎΠΏΡΡΡΠΈΠΌΡΡ ΡΠ΄Π²ΠΈΠ³ΠΎΠ², Ρ.ΠΊ. ΠΏΡΠΈ Π²ΡΠ²ΠΎΠ΄Π΅ ΠΈΠ· A ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΡΠ½ΡΡ ΡΠ΅ΠΏΠΎΡΠ΅ΠΊ Π½Π° Π½Π΅ΠΊΠΎΡΠΎΡΠΎΠΌ ΡΠ°Π³Π΅ ΡΡΠ΅Π±ΡΠ΅ΡΡΡ ΠΏΡΠΈΠΌΠ΅Π½ΠΈΡΡ ΠΏΡΠ°Π²ΠΈΠ»ΠΎ A: e ΠΊ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»Ρ A, Π½Π°Ρ ΠΎΠ΄ΡΡΠ΅ΠΌΡΡΡ Π½Π° Π»Π΅Π²ΠΎΠΌ ΠΊΠΎΠ½ΡΠ΅ ΡΠ΅ΠΏΠΎΡΠΊΠΈ.
ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΠΌ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ EFFk (x), ΡΠΎΡΡΠΎΡΡΠ΅Π΅ ΠΈΠ· Π²ΡΠ΅Ρ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ² ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° FIRSTk (x), ΠΏΡΠΈ Π²ΡΠ²ΠΎΠ΄Π΅ ΠΊΠΎΡΠΎΡΡΡ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π» Π½Π° Π»Π΅Π²ΠΎΠΌ ΠΊΠΎΠ½ΡΠ΅ x (Π΅ΡΠ»ΠΈ ΠΎΠ½ Π΅ΡΡΡ) Π½Π΅ Π·Π°ΠΌΠ΅Π½ΡΠ΅ΡΡΡ Π½Π° ΠΏΡΡΡΡΡ ΡΠ΅ΠΏΠΎΡΠΊΡ. Π ΡΡΠΈΡ ΡΠ΅ΡΠΌΠΈΠ½Π°Ρ ΡΠ΄Π²ΠΈΠ³ Π΄ΠΎΠΏΡΡΡΠΈΠΌ, Π΅ΡΠ»ΠΈ Π² ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π΅ Vk (u) Π΅ΡΡΡ ΡΠΈΡΡΠ°ΡΠΈΡ Π: b_c|t, c Π½Π΅ ΠΏΡΡΡΠΎ ΠΈ x ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ EFFk (ct).
ΠΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ° Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ LR (k)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΎΠΉ, Π΅ΡΠ»ΠΈ Π½ΠΈ ΠΎΠ΄Π½ΠΎ LR (k) ΡΠΎΡΡΠΎΡΠ½ΠΈΠ΅ Π½Π΅ ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ Π΄Π²ΡΡ ΡΠΈΡΡΠ°ΡΠΈΠΉ A: b_|u ΠΈ B: c_d|v, ΡΠ°ΠΊΠΈΡ ΡΡΠΎ u ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ EFFk (dv). Π’Π°ΠΊΠ°Ρ ΠΏΠ°ΡΠ° ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΠ΅Ρ ΠΊΠΎΠ½ΡΠ»ΠΈΠΊΡΡ ΡΠ²Π΅ΡΡΠΊΠ°-ΡΠ²Π΅ΡΡΠΊΠ°, Π΅ΡΠ»ΠΈ d ΠΏΡΡΡΠΎ, ΠΈ ΠΊΠΎΠ½ΡΠ»ΠΈΠΊΡΡ ΡΠ΄Π²ΠΈΠ³-ΡΠ²Π΅ΡΡΠΊΠ°, Π΅ΡΠ»ΠΈ d Π½Π΅ ΠΏΡΡΡΠΎ.
ΠΠ° ΠΏΡΠ°ΠΊΡΠΈΠΊΠ΅ LR (k)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ ΠΏΡΠΈ k>1 Π½Π΅ ΠΏΡΠΈΠΌΠ΅Π½ΡΡΡΡΡ. ΠΠ° ΡΡΠΎ ΠΈΠΌΠ΅ΡΡΡΡ Π΄Π²Π΅ ΠΏΡΠΈΡΠΈΠ½Ρ. ΠΠ΅ΡΠ²Π°Ρ: ΠΎΡΠ΅Π½Ρ Π±ΠΎΠ»ΡΡΠΎΠ΅ ΡΠΈΡΠ»ΠΎ LR (k) ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ. ΠΡΠΎΡΠ°Ρ: Π΄Π»Ρ Π»ΡΠ±ΠΎΠ³ΠΎ ΡΠ·ΡΠΊΠ°, ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΠΌΠΎΠ³ΠΎ LR (k)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΎΠΉ, ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ LR (1)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ°; Π±ΠΎΠ»Π΅Π΅ ΡΠΎΠ³ΠΎ, Π΄Π»Ρ Π»ΡΠ±ΠΎΠ³ΠΎ Π΄Π΅ΡΠ΅ΡΠΌΠΈΠ½ΠΈΡΠΎΠ²Π°Π½Π½ΠΎΠ³ΠΎ ΠΠ‘-ΡΠ·ΡΠΊΠ° ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ LR (1)-Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ°.
Π§ΠΈΡΠ»ΠΎ LR (1)-ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ Π΄Π»Ρ ΠΏΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΈ ΠΈΠ½ΡΠ΅ΡΠ΅ΡΠ½ΡΡ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊ ΡΠ°ΠΊΠΆΠ΅ Π²Π΅ΡΡΠΌΠ° Π²Π΅Π»ΠΈΠΊΠΎ. LR (0) ΡΠ²ΠΎΠΉΡΡΠ²ΠΎΠΌ ΡΠ°ΠΊΠΈΠ΅ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ ΠΎΠ±Π»Π°Π΄Π°ΡΡ ΡΠ΅Π΄ΠΊΠΎ. ΠΠ° ΠΏΡΠ°ΠΊΡΠΈΠΊΠ΅ ΡΠ°ΡΠ΅ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΡΡΡ ΠΏΡΠΎΠΌΠ΅ΠΆΡΡΠΎΡΠ½ΡΠΉ ΠΌΠ΅ΠΆΠ΄Ρ LR (0) ΠΈ LR (1) ΠΌΠ΅ΡΠΎΠ΄, ΠΈΠ·Π²Π΅ΡΡΠ½ΡΠΉ ΠΏΠΎΠ΄ Π½Π°Π·Π²Π°Π½ΠΈΡΠΌΠΈ ΠΈ LALR (1).
1.2.2 LALR (1) — Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ
Π ΠΎΡΠ½ΠΎΠ²Π΅ ΡΡΠΈΡ Π΄Π²ΡΡ ΠΌΠ΅ΡΠΎΠ΄ΠΎΠ² Π»Π΅ΠΆΠΈΡ ΠΎΠ΄Π½Π° ΠΈ ΡΠ° ΠΆΠ΅ ΠΈΠ΄Π΅Ρ. ΠΠΎΡΡΡΠΎΠΈΠΌ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΊΠ°Π½ΠΎΠ½ΠΈΡΠ΅ΡΠΊΠΈΡ LR (0)-ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ. ΠΡΠ»ΠΈ ΡΡΠΎ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π½Π΅ ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ ΠΊΠΎΠ½ΡΠ»ΠΈΠΊΡΠΎΠ², ΡΠΎ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡΠΈΠΌΠ΅Π½ΠΈΡΡ LR (0)-ΠΏΠ°ΡΡΠ΅Ρ. ΠΠ½Π°ΡΠ΅ ΠΏΠΎΠΏΡΡΠ°Π΅ΠΌΡΡ ΡΠ°Π·ΡΠ΅ΡΠΈΡΡ Π²ΠΎΠ·Π½ΠΈΠΊΡΠΈΠ΅ ΠΊΠΎΠ½ΡΠ»ΠΈΠΊΡΡ, ΡΠ°ΡΡΠΌΠ°ΡΡΠΈΠ²Π°Ρ ΠΎΠ΄Π½ΠΎΡΠΈΠΌΠ²ΠΎΠ»ΡΠ½ΡΡ Π°Π²Π°Π½ΡΠ΅ΠΏΠΎΡΠΊΡ. ΠΡΡΠ³ΠΈΠΌΠΈ ΡΠ»ΠΎΠ²Π°ΠΌΠΈ, ΠΏΠΎΠΏΡΠΎΠ±ΡΠ΅ΠΌ ΠΏΠΎΡΡΡΠΎΠΈΡΡ LR (1) ΠΏΠ°ΡΡΠ΅Ρ Ρ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎΠΌ LR (0)-ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ.
LALR (1)-ΠΌΠ΅ΡΠΎΠ΄ (Look Ahead — Π·Π°Π³Π»ΡΠ΄ΡΠ²Π°Π½ΠΈΠ΅ Π²ΠΏΠ΅ΡΠ΅Π΄) Π·Π°ΠΊΠ»ΡΡΠ°Π΅ΡΡΡ Π² ΡΠ»Π΅Π΄ΡΡΡΠ΅ΠΌ. ΠΠ²Π΅Π΄Π΅ΠΌ Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π΅ LR (1)-ΡΠΈΡΡΠ°ΡΠΈΠΉ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΠ΅ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎΡΡΠΈ: Π±ΡΠ΄Π΅ΠΌ ΡΡΠΈΡΠ°ΡΡ Π΄Π²Π΅ ΡΠΈΡΡΠ°ΡΠΈΠΈ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΡΠΌΠΈ, Π΅ΡΠ»ΠΈ ΠΎΠ½ΠΈ ΡΠ°Π·Π»ΠΈΡΠ°ΡΡΡΡ ΡΠΎΠ»ΡΠΊΠΎ Π°Π²Π°Π½ΡΠ΅ΠΏΠΎΡΠΊΠ°ΠΌΠΈ. ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, ΡΠΈΡΡΠ°ΡΠΈΠΈ A: Aa_Ab|e ΠΈ A: Aa_Ab|a ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½Ρ. ΠΠΎΡΡΡΠΎΠΈΠΌ ΠΊΠ°Π½ΠΎΠ½ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ LR (1)-ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ ΠΈ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½ΠΈΠΌ ΡΠΎΡΡΠΎΡΠ½ΠΈΡ, ΡΠΎΡΡΠΎΡΡΠΈΠ΅ ΠΈΠ· ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΡΡ ΡΠΈΡΡΠ°ΡΠΈΠΉ.
ΠΡΠ»ΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π½Π½ΠΎΠ΅ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ Π½Π΅ ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ LR (1) ΠΊΠΎΠ½ΡΠ»ΠΈΠΊΡΠΎΠ², ΠΈ, ΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ΅Ρ ΠΏΠΎΡΡΡΠΎΠΈΡΡ LR (1)-ΠΏΠ°ΡΡΠ΅Ρ, ΡΠΎ Π³ΠΎΠ²ΠΎΡΡΡ, ΡΡΠΎ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ° ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ ΡΠ²ΠΎΠΉΡΡΠ²ΠΎΠΌ LALR (1).
2. Π Π°Π·ΡΠ°Π±ΠΎΡΠΊΠ° ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠ°
2.1 ΠΠ½Π°Π»ΠΈΠ· ΡΡΠ΅Π±ΠΎΠ²Π°Π½ΠΈΠΉ
Π Π΄Π°Π½Π½ΠΎΠΉ ΠΊΡΡΡΠΎΠ²ΠΎΠΉ ΡΠ°Π±ΠΎΡΠ΅ Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎ ΡΠ°Π·ΡΠ°Π±ΠΎΡΠ°ΡΡ ΡΡΠ΅Π±Π½ΡΠΉ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡ Π² ΡΠΎΡΠΌΠ΅ ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠ°ΡΠΎΡΠ° Ρ ΡΠ·ΡΠΊΠ°, ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΠΎΠ³ΠΎ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΠ΅ΠΉ ΡΠΎΡΠΌΠ°Π»ΡΠ½ΠΎΠΉ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΎΠΉ. ΠΠΎΠΆΠ½ΠΎ Π²ΡΠ΄Π΅Π»ΠΈΡΡ ΡΠ΅ΡΡΡΠ΅ ΠΎΡΠ½ΠΎΠ²Π½ΡΡ ΡΡΠ°ΠΏΠ° ΡΠ°Π·ΡΠ°Π±ΠΎΡΠΊΠΈ ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠ°ΡΠΎΡΠ°:
— ΠΏΡΠΎΠ΅ΠΊΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ°;
— ΠΏΡΠΎΠ΅ΠΊΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΠΌΠ°Π³Π°Π·ΠΈΠ½Π½ΠΎΠ³ΠΎ Π°Π²ΡΠΎΠΌΠ°ΡΠ°;
— ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠ½Π°Ρ ΡΠ΅Π°Π»ΠΈΠ·Π°ΡΠΈΡ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ°;
— ΡΠ°Π·ΡΠ°Π±ΠΎΡΠΊΠ° ΠΌΠΎΠ΄ΡΠ»Ρ ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠ°ΡΠΈΠΈ.
Π Π°Π·ΡΠ°Π±ΠΎΡΠΊΠ° Π±ΡΠ΄Π΅Ρ ΠΏΡΠΎΠ²Π΅Π΄Π΅Π½Π° Ρ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΎΠ½Π½ΠΎΠΉ ΡΠΈΡΡΠ΅ΠΌΡ Windows XP Π½Π° ΠΏΠ΅ΡΡΠΎΠ½Π°Π»ΡΠ½ΠΎΠΌ ΠΊΠΎΠΌΠΏΡΡΡΠ΅ΡΠ΅ IBM PC Ρ ΠΏΡΠΎΡΠ΅ΡΡΠΎΡΠΎΠΌ Intel Pentium IV.
ΠΡΡ ΠΎΠ΄Ρ ΠΈΠ· ΡΠ΅Π½Π΄Π΅Π½ΡΠΈΠΉ ΡΠ°Π·Π²ΠΈΡΠΈΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠ½ΠΎΠ³ΠΎ ΠΎΠ±Π΅ΡΠΏΠ΅ΡΠ΅Π½ΠΈΡ Π΄Π»Ρ ΡΠ΅Π°Π»ΠΈΠ·Π°ΡΠΈΠΈ ΡΡΠ΅Π±Π½ΠΎΠ³ΠΎ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠ° Π²ΡΠ±ΡΠ°Π½ ΡΠ·ΡΠΊ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ Π‘# Π² ΡΡΠ΅Π΄Π΅ Visual Studio 2010.
2.2 ΠΡΠΎΠ΅ΠΊΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅
2.1.1 ΠΡΠΎΠ΅ΠΊΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ°
ΠΠ΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΠΉ Π°Π½Π°Π»ΠΈΠ· Π²ΠΊΠ»ΡΡΠ°Π΅Ρ Π² ΡΠ΅Π±Ρ ΡΠΊΠ°Π½ΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΡΡΠ°Π½ΡΠ»ΠΈΡΡΠ΅ΠΌΠΎΠΉ (ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠΉ) ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ ΠΈ ΡΠ°ΡΠΏΠΎΠ·Π½Π°Π²Π°Π½ΠΈΠ΅ Π»Π΅ΠΊΡΠ΅ΠΌ, ΡΠΎΡΡΠ°Π²Π»ΡΡΡΠΈΡ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΡΠ΅ΠΊΡΡΠ°. Π Π»Π΅ΠΊΡΠ΅ΠΌΠ°ΠΌ ΠΎΡΠ½ΠΎΡΡΡ, Π² ΡΠ°ΡΡΠ½ΠΎΡΡΠΈ, ΠΊΠ»ΡΡΠ΅Π²ΡΠ΅ ΡΠ»ΠΎΠ²Π°, Π·Π½Π°ΠΊΠΈ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ, ΠΈΠ΄Π΅Π½ΡΠΈΡΠΈΠΊΠ°ΡΠΎΡΡ, ΠΊΠΎΠ½ΡΡΠ°Π½ΡΡ, ΡΠΏΠ΅ΡΠΈΠ°Π»ΡΠ½ΡΠ΅ ΡΠΈΠΌΠ²ΠΎΠ»Ρ ΠΈ Ρ. Π΄.
Π Π΅Π·ΡΠ»ΡΡΠ°ΡΠΎΠΌ ΡΠ°Π±ΠΎΡΡ Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ° (ΡΠΊΠ°Π½Π΅ΡΠ°) ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΡΡΡ Π»Π΅ΠΊΡΠ΅ΠΌ, ΠΏΡΠΈΡΠ΅ΠΌ ΠΊΠ°ΠΆΠ΄Π°Ρ Π»Π΅ΠΊΡΠ΅ΠΌΠ° ΠΎΠ±ΡΡΠ½ΠΎ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»ΡΠ΅ΡΡΡ Π½Π΅ΠΊΠΎΡΠΎΡΡΠΌ ΠΊΠΎΠ΄ΠΎΠΌ ΡΠΈΠΊΡΠΈΡΠΎΠ²Π°Π½Π½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ (Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ, ΡΠ΅Π»ΡΠΌ ΡΠΈΡΠ»ΠΎΠΌ), Π° ΡΠ°ΠΊΠΆΠ΅ Π²ΡΠ΄Π°ΡΠ° ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΠΉ ΠΎ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΡ (Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΡ ) ΠΎΡΠΈΠ±ΠΊΠ°Ρ ΠΏΡΠΈ ΠΈΡ Π½Π°Π»ΠΈΡΠΈΠΈ. ΠΡΠ»ΠΈ Π»Π΅ΠΊΡΠ΅ΠΌΠ° ΡΠ²Π»ΡΠ΅ΡΡΡ, ΠΊ ΠΏΡΠΈΠΌΠ΅ΡΡ, ΠΊΠ»ΡΡΠ΅Π²ΡΠΌ ΡΠ»ΠΎΠ²ΠΎΠΌ, ΡΠΎ Π΅Π΅ ΠΊΠΎΠ΄ Π΄Π°Π΅Ρ Π²ΡΡ Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΡΡ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΡ. Π ΡΠ»ΡΡΠ°Π΅ ΠΆΠ΅, Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ, ΠΈΠ΄Π΅Π½ΡΠΈΡΠΈΠΊΠ°ΡΠΎΡΠ° Π΄ΠΎΠΏΠΎΠ»Π½ΠΈΡΠ΅Π»ΡΠ½ΠΎ Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎ ΠΈΠΌΡ ΡΠ°ΡΠΏΠΎΠ·Π½Π°Π½Π½ΠΎΠ³ΠΎ ΠΈΠ΄Π΅Π½ΡΠΈΡΠΈΠΊΠ°ΡΠΎΡΠ°, ΠΊΠΎΡΠΎΡΠΎΠ΅ ΠΎΠ±ΡΡΠ½ΠΎ Π·Π°ΠΏΠΈΡΡΠ²Π°Π΅ΡΡΡ Π² ΡΠ°Π±Π»ΠΈΡΡ ΠΈΠ΄Π΅Π½ΡΠΈΡΠΈΠΊΠ°ΡΠΎΡΠΎΠ², ΠΎΡΠ³Π°Π½ΠΈΠ·ΠΎΠ²Π°Π½Π½ΡΡ, ΠΊΠ°ΠΊ ΠΏΡΠ°Π²ΠΈΠ»ΠΎ, Ρ ΠΏΡΠΈΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ΠΌ ΡΠΏΠΈΡΠΊΠΎΠ². ΠΠ½Π°Π»ΠΎΠ³ΠΈΡΠ½Π°Ρ ΡΠ°Π±Π»ΠΈΡΠ° Π½ΡΠΆΠ½Π° ΠΈ Π΄Π»Ρ ΠΊΠΎΠ½ΡΡΠ°Π½Ρ.
ΠΠ΅ΠΊΡΠ΅ΠΌΠ° ΠΌΠΎΠΆΠ΅Ρ ΠΎΠΏΠΈΡΡΠ²Π°ΡΡΡΡ Π΄Π²ΡΠΌΡ ΠΎΡΠ½ΠΎΠ²Π½ΡΠΌΠΈ ΠΏΡΠΈΠ·Π½Π°ΠΊΠ°ΠΌΠΈ. ΠΠ΄Π½ΠΈΠΌ ΠΈΠ· Π½ΠΈΡ ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΏΡΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ½ΠΎΡΡΡ Π»Π΅ΠΊΡΠ΅ΠΌΡ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΠΎΠΌΡ ΠΊΠ»Π°ΡΡΡ (ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΠ΅, ΠΊΠΎΠ½ΡΡΠ°Π½ΡΡ, ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΠΈ Ρ. Π΄.) ΠΡΠΎΡΠΎΠΉ ΠΏΡΠΈΠ·Π½Π°ΠΊ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅Ρ ΠΊΠΎΠ½ΠΊΡΠ΅ΡΠ½ΡΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ Π΄Π°Π½Π½ΠΎΠ³ΠΎ ΠΊΠ»Π°ΡΡΠ°.
ΠΠΎΠ½ΠΊΡΠ΅ΡΠ½ΡΠΉ Π²ΠΈΠ΄ ΡΠ°Π±Π»ΠΈΡΡ ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ² (ΡΡΡΡΠΊΡΡΡΠ° Π΄Π°Π½Π½ΡΡ ) Π½Π΅ ΠΈΠΌΠ΅Π΅Ρ Π·Π½Π°ΡΠ΅Π½ΠΈΡ Π΄Π»Ρ Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΠΈΠ»ΠΈ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ°. ΠΠ°ΠΊ ΡΠΎΠΌΡ, ΡΠ°ΠΊ ΠΈ Π΄ΡΡΠ³ΠΎΠΌΡ Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎ Π»ΠΈΡΡ ΠΎΠ±Π΅ΡΠΏΠ΅ΡΠΈΡΡ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡΡ ΠΏΠΎΠ»ΡΡΠ°ΡΡ ΠΈΠ½Π΄Π΅ΠΊΡ, ΠΎΠ΄Π½ΠΎΠ·Π½Π°ΡΠ½ΠΎ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΡΡΠΈΠΉ, Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ, Π΄Π°Π½Π½ΡΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ ΠΈ Π²ΠΎΠ·Π²ΡΠ°ΡΠ°ΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ ΠΈΠ½Π΄Π΅ΠΊΡΠ° Π΄Π»Ρ ΠΏΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ ΡΠ²Π΅Π΄Π΅Π½ΠΈΠΉ ΠΎ Π΄Π°Π½Π½ΠΎΠΌ ΠΈΠΌΠ΅Π½ΠΈ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΠΎΠΉ Π² ΡΠ°Π±Π»ΠΈΡΠ΅ ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ².
ΠΡΠΎΡΠΌΠΎΡΡ ΡΠ°Π±Π»ΠΈΡΡ ΠΈΠ΄Π΅Π½ΡΠΈΡΠΈΠΊΠ°ΡΠΎΡΠΎΠ² Π²ΡΠΏΠΎΠ»Π½ΡΠ΅Ρ Π΄Π²Π΅ ΠΎΡΠ½ΠΎΠ²Π½ΡΠ΅ ΡΡΠ½ΠΊΡΠΈΠΈ:
Π°) Π·Π°ΠΏΠΈΡΡ Π½ΠΎΠ²ΠΎΠ³ΠΎ ΠΈΠΌΠ΅Π½ΠΈ Π² ΡΠ°Π±Π»ΠΈΡΡ ΠΏΡΠΈ ΠΎΠ±ΡΠ°Π±ΠΎΡΠΊΠ΅ ΠΎΠΏΠΈΡΠ°Π½ΠΈΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ ;
Π±) ΠΏΠΎΠΈΡΠΊ ΠΈΠΌΠ΅Π½ΠΈ, ΡΠ°Π½Π΅Π΅ Π·Π°ΠΏΠΈΡΠ°Π½Π½ΠΎΠ³ΠΎ Π² ΡΠ°Π±Π»ΠΈΡΡ.
ΠΡΠΎ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ΅Ρ Π²ΡΡΠ²Π»ΡΡΡ ΡΠ°ΠΊΠΈΠ΅ ΠΎΡΠΈΠ±ΠΎΡΠ½ΡΠ΅ ΡΠΈΡΡΠ°ΡΠΈΠΈ, ΠΊΠ°ΠΊ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π΅Π½Π½ΠΎΠ΅ ΠΎΠΏΠΈΡΠ°Π½ΠΈΠ΅ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΠΎΠΉ ΠΈ Π½Π°Π»ΠΈΡΠΈΠ΅ Π½Π΅ΠΎΠΏΠΈΡΠ°Π½Π½ΠΎΠΉ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΠΎΠΉ.
Π Π°Π·ΡΠ°Π±ΠΎΡΠΊΠ° Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ° Π·Π°ΠΊΠ»ΡΡΠ°Π΅ΡΡΡ ΡΠ°ΡΡΠΈΡΠ½ΠΎ Π² ΠΌΠΎΠ΄Π΅Π»ΠΈΡΠΎΠ²Π°Π½ΠΈΠΈ ΡΠ°Π·Π»ΠΈΡΠ½ΡΡ Π°Π²ΡΠΎΠΌΠ°ΡΠΎΠ² Π΄Π»Ρ ΡΠ°ΡΠΏΠΎΠ·Π½Π°Π²Π°Π½ΠΈΡ ΠΈΠ΄Π΅Π½ΡΠΈΡΠΈΠΊΠ°ΡΠΎΡΠΎΠ², ΠΊΠΎΠ½ΡΡΠ°Π½Ρ, Π·Π°ΡΠ΅Π·Π΅ΡΠ²ΠΈΡΠΎΠ²Π°Π½Π½ΡΡ ΡΠ»ΠΎΠ² ΠΈ Ρ. Π΄. ΠΡΠ»ΠΈ Π»Π΅ΠΊΡΠ΅ΠΌΡ ΡΠ°Π·Π½ΠΎΠ³ΠΎ ΡΠΈΠΏΠ° Π½Π°ΡΠΈΠ½Π°ΡΡΡΡ Ρ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΠΈ ΡΠΎΠ³ΠΎ ΠΆΠ΅ ΡΠΈΡΠΌΠ²ΠΎΠ»Π° ΠΈΠ»ΠΈ ΠΎΠ΄Π½ΠΎΠΉ ΠΈ ΡΠΎΠΉ ΠΆΠ΅ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΡΡΠΈ ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ², ΠΌΠΎΠΆΠ΅Ρ ΠΎΠΊΠ°Π·Π°ΡΡΡΡ Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΡΠΌ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ ΠΈΡ ΡΠ°ΡΠΏΠΎΠ·Π½Π°Π²Π°Π½ΠΈΡ.
ΠΠ°ΠΏΡΡΠΊΠ°Ρ Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΠΉ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡ, ΠΌΡ ΡΠ°Π·Π±ΠΈΠ²Π°Π΅ΠΌ Π½Π°ΡΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ Π½Π° Π»Π΅ΠΊΡΠ΅ΠΌΡ, ΠΏΠΎΡΠ»Π΅ ΡΠ΅Π³ΠΎ ΠΊΠ°ΠΆΠ΄Π°Ρ Π»Π΅ΠΊΡΠ΅ΠΌΡ ΠΏΡΠΎΡ ΠΎΠ΄ΠΈΡ ΠΏΡΠΎΠ²Π΅ΡΠΊΡ Π΄Π»ΠΈΠ½Ρ (Π»Π΅ΠΊΡΠ΅ΠΌΠ° Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ Π±ΠΎΠ»ΡΡΠ΅ 11 ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ²). ΠΡΠΎΠΉΠ΄Ρ ΡΡΠΏΠ΅ΡΠ½ΠΎ ΡΡΠΎΡ ΡΡΠ°ΠΏ, ΠΌΡ ΠΏΡΠΎΠ²Π΅ΡΡΠ΅ΠΌ ΠΏΡΠ°Π²ΠΈΠ»ΡΠ½ΠΎΡΡΡ ΡΠ°ΡΠΏΠΎΠ»ΠΎΠΆΠ΅Π½ΠΈΡ Π»Π΅ΠΊΡΠ΅ΠΌ (ΠΊΠ»ΡΡΠ΅Π²ΡΡ ΡΠ»ΠΎΠ² var, begin, end, for, to, do, end_for). ΠΠ°ΡΠ΅ΠΌ Π°Π½Π°Π»ΠΈΠ·ΠΈΡΡΠ΅ΠΌ Π»Π΅ΠΊΡΠ΅ΠΌΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΠ΅ — ΠΎΠ½ΠΈ Π½Π΅ Π΄ΠΎΠ»ΠΆΠ½Ρ ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΡ ΡΠΈΡΡ Π² ΡΠ²ΠΎΠ΅ΠΌ ΠΎΠΏΠΈΡΠ°Π½ΠΈΠΈ ΠΈ ΠΏΠΎΠ²ΡΠΎΡΡΡΡΡΡ. ΠΠ° ΠΏΠΎΡΠ»Π΅Π΄Π½Π΅ΠΌ ΡΡΠ°ΠΏΠ΅ ΠΏΡΠΎΠ²Π΅ΡΡΠ΅ΠΌ ΠΏΡΠ°Π²ΠΈΠ»ΡΠ½ΠΎΡΡΡ Π½Π°ΠΏΠΈΡΠ°Π½ΠΈΡ Π»Π΅ΠΊΡΠ΅ΠΌ (ΠΊΠ»ΡΡΠ΅Π²ΡΠ΅ ΡΠ»ΠΎΠ²Π°, Π½Π΅ΠΈΠ·Π²Π΅ΡΡΠ½ΡΠ΅ ΠΈΠ΄Π΅Π½ΡΠΈΡΠΈΠΊΠ°ΡΠΎΡΡ). ΠΡΠ»ΠΈ Ρ ΠΎΡΡ Π±Ρ ΠΎΠ΄Π½Π° ΠΈΠ· ΠΏΡΠΎΠ²Π΅ΡΠΎΠΊ Π²ΡΠ΄Π°Π΅Ρ ΠΎΡΠΈΠ±ΠΊΡ, Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΠΉ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡ Π²ΡΠ²ΠΎΠ΄ΠΈΡ ΠΎΡΠΈΠ±ΠΊΡ.
Π‘Ρ Π΅ΠΌΠ° ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ ΡΠ°Π±ΠΎΡΡ Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ° ΠΏΡΠΈΠ²Π΅Π΄Π΅Π½Π° Π² ΠΏΡΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠΈ B Π½Π° ΡΠΈΡΡΠ½ΠΊΠ΅ Π.1.
2.2.2 ΠΡΠΎΠ΅ΠΊΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΠΌΠ°Π³Π°Π·ΠΈΠ½Π½ΠΎΠ³ΠΎ Π°Π²ΡΠΎΠΌΠ°ΡΠ° ΠΠ°Π΄Π°Π΄ΠΈΠΌ ΡΠ»Π΅Π΄ΡΡΡΡΡ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΡ:
Π: {Vt, Va, I, R},
Π³Π΄Π΅ Vt — ΡΡΠΎ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠΎ ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΡΠ½ΡΡ ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ², Va — ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΡΠ½ΡΡ ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ², I — Π½Π°ΡΠ°Π»ΡΠ½ΠΎΠ΅ ΡΠΎΡΡΠΎΡΠ½ΠΈΠ΅ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ, R — ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΏΡΠ°Π²ΠΈΠ» Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ.
ΠΠ»Ρ Π΄Π°Π½Π½ΠΎΠΉ Π³ΡΠ°ΠΌΠ°ΡΠΈΠΊΠΈ Π·Π°Π΄Π°Π΄ΠΈΠΌ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΡΠ½ΡΡ ΠΈ Π½Π΅ΡΠ΅ΡΠΌΠΈΠ½Π°Π»ΡΠ½ΡΡ ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ²:
Π‘ΠΎΡΡΠ°Π²ΠΈΠΌ ΠΏΡΠ°Π²ΠΈΠ»Π° Π΄Π»Ρ Π½Π°ΡΠ΅ΠΉ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ Π ΠΈ ΠΏΡΠΈΠ²Π΅Π΄Π΅ΠΌ ΠΈΡ Π² ΡΠ°Π±Π»ΠΈΡΠ΅ 1.
Π’Π°Π±Π»ΠΈΡΠ° 1 — ΠΡΠ°Π²ΠΈΠ»Π° Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ
β ΠΏΡΠ°Π²ΠΈΠ»Π° | ΠΠ΅Π²Π°Ρ ΡΠ°ΡΡΡ ΠΏΡΠ°Π²ΠΈΠ»Π° | ΠΡΠ°Π²Π°Ρ ΡΠ°ΡΡΡ ΠΏΡΠ°Π²ΠΈΠ»Π° | |
PG' | PG? | ||
PG | DE AL | ||
AL | b LE e | ||
DE | |||
LV | |||
LV | |||
LE | w (DE); | ||
LE | r (DE); | ||
LE | f ID = EX t EX d LE n; | ||
LE | EQ | ||
EQ | ID = EX; | ||
EX | UO SB | ||
EX | SB | ||
SB | (EX) | ||
SB | OP | ||
SB | SB BO SB | ||
UO | ; | ||
BO | |||
BO | * | ||
BO | ; | ||
OP | ID | ||
OP | CO | ||
ΠΡΠΎΠ΄ΠΎΠ»ΠΆΠ΅Π½ΠΈΠ΅ ΡΠ°Π±Π»ΠΈΡΡ 1. | |||
β ΠΏΡΠ°Π²ΠΈΠ»Π° | ΠΠ΅Π²Π°Ρ ΡΠ°ΡΡΡ ΠΏΡΠ°Π²ΠΈΠ»Π° | ΠΡΠ°Π²Π°Ρ ΡΠ°ΡΡΡ ΠΏΡΠ°Π²ΠΈΠ»Π° | |
ID | u ID | ||
ID | U | ||
CO | k | ||
ΠΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΡ Π»Π΅ΠΊΡΠ΅ΠΌ, ΠΏΠ΅ΡΠ΅Π²ΠΎΠ΄ Π»Π΅ΠΊΡΠ΅ΠΌ Π² ΠΊΠΎΠ΄Ρ ΠΈ ΡΠΏΠΈΡΠΎΠΊ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΠΉ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ ΠΏΡΠΈΠ²Π΅Π΄Π΅ΠΌ Π² ΡΠ°Π±Π»ΠΈΡΠ°Ρ 2, 3, 4 ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²Π΅Π½Π½ΠΎ.
Π’Π°Π±Π»ΠΈΡΠ° 2 — ΠΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΡ Π»Π΅ΠΊΡΠ΅ΠΌ
ΠΠ΅ΠΊΡΠ΅ΠΌΠ° | ΠΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Π»Π΅ΠΊΡΠ΅ΠΌΡ | |
begin | ΠΊΠ»ΡΡΠ΅Π²ΠΎΠ΅ ΡΠ»ΠΎΠ²ΠΎ «begin» (Π½Π°ΡΠ°Π»ΠΎ ΠΎΠΏΠΈΡΠ°Π½ΠΈΡ Π΄Π΅ΠΉΡΡΠ²ΠΈΠΉ) | |
end | ΠΊΠ»ΡΡΠ΅Π²ΠΎΠ΅ ΡΠ»ΠΎΠ²ΠΎ «end» (ΠΎΠΊΠΎΠ½ΡΠ°Π½ΠΈΠ΅ ΠΎΠΏΠΈΡΠ°Π½ΠΈΡ Π΄Π΅ΠΉΡΡΠ²ΠΈΠΉ) | |
var | ΠΊΠ»ΡΡΠ΅Π²ΠΎΠ΅ ΡΠ»ΠΎΠ²ΠΎ «var» (ΠΎΠΏΠΈΡΠ°Π½ΠΈΠ΅ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ ) | |
read | ΠΊΠ»ΡΡΠ΅Π²ΠΎΠ΅ ΡΠ»ΠΎΠ²ΠΎ «read» (ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡ Π²Π²ΠΎΠ΄Π° Π΄Π°Π½Π½ΡΡ ) | |
write | ΠΊΠ»ΡΡΠ΅Π²ΠΎΠ΅ ΡΠ»ΠΎΠ²ΠΎ «write» (ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡ Π²ΡΠ²ΠΎΠ΄Π° Π΄Π°Π½Π½ΡΡ ) | |
for | ΠΊΠ»ΡΡΠ΅Π²ΠΎΠ΅ ΡΠ»ΠΎΠ²ΠΎ «for» (ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡ ΡΠΈΠΊΠ»Π°) | |
to | ΠΊΠ»ΡΡΠ΅Π²ΠΎΠ΅ ΡΠ»ΠΎΠ²ΠΎ «to» | |
do | ΠΊΠ»ΡΡΠ΅Π²ΠΎΠ΅ ΡΠ»ΠΎΠ²ΠΎ «do» | |
end_for | ΠΊΠ»ΡΡΠ΅Π²ΠΎΠ΅ ΡΠ»ΠΎΠ²ΠΎ «end_case» (ΠΎΠΊΠΎΠ½ΡΠ°Π½ΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠ° ΡΠΈΠΊΠ»Π°) | |
integer | ΡΠΈΠΏ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ «ΡΠ΅Π»ΡΠΉ» | |
ΠΎΠΏΠ΅ΡΡΠΈΡ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ | ||
; | ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ Π²ΡΡΠΈΡΠ°Π½ΠΈΡ | |
* | ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ | |
: | ΡΠ°Π·Π΄Π΅Π»ΠΈΡΠ΅Π»ΡΠ½ΡΠΉ ΡΠΈΠΌΠ²ΠΎΠ» «:» | |
; | ΡΠ°Π·Π΄Π΅Π»ΠΈΡΠ΅Π»ΡΠ½ΡΠΉ ΡΠΈΠΌΠ²ΠΎΠ» «;» | |
( | ΡΠ°Π·Π΄Π΅Π»ΠΈΡΠ΅Π»ΡΠ½ΡΠΉ ΡΠΈΠΌΠ²ΠΎΠ» «(» | |
) | ΡΠ°Π·Π΄Π΅Π»ΠΈΡΠ΅Π»ΡΠ½ΡΠΉ ΡΠΈΠΌΠ²ΠΎΠ» «)» | |
ΡΠ°Π·Π΄Π΅Π»ΠΈΡΠ΅Π»ΡΠ½ΡΠΉ ΡΠΈΠΌΠ²ΠΎΠ» «,» | ||
ΠΠ΅ΠΊΡΠ΅ΠΌΠ° | ΠΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Π»Π΅ΠΊΡΠ΅ΠΌΡ | |
= | ΡΠ°Π·Π΄Π΅Π»ΠΈΡΠ΅Π»ΡΠ½ΡΠΉ ΡΠΈΠΌΠ²ΠΎΠ» «=» | |
Π’Π°Π±Π»ΠΈΡΠ° 3 — ΠΠ΅ΡΠ΅Π²ΠΎΠ΄ Π»Π΅ΠΊΡΠ΅ΠΌ Π² ΠΊΠΎΠ΄Ρ
ΠΠ΅ΠΊΡΠ΅ΠΌΠ° | ΠΠΎΠ΄ | |
begin | b | |
end | l | |
var | v | |
write | w | |
read | r | |
integer | i | |
for | f | |
to | t | |
do | d | |
end_for | n | |
<οΏ½ΡΠΈΡΡΠ°> | k | |
<οΏ½Π±ΡΠΊΠ²Π°> | u | |
; | ; | |
* | * | |
; | ; | |
: | : | |
= | = | |
( | ( | |
) | ) | |
Π’Π°Π±Π»ΠΈΡΠ° 4 — Π‘ΠΏΠΈΡΠΎΠΊ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΠΉ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ
ΠΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΠ΅ | ΠΠΎΡΡΠ½Π΅Π½ΠΈΠ΅ | |
PG | ΠΡΠΎΠ³ΡΠ°ΠΌΠΌΠ° | |
AL | ΠΠΏΠΈΡΠ°Π½ΠΈΠ΅ Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΠΉ | |
DE | ΠΠΏΠΈΡΠ°Π½ΠΈΠ΅ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ | |
LV | Π‘ΠΏΠΈΡΠΎΠΊ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ | |
OP | ΠΠΏΠ΅ΡΠ°ΡΠΎΡ | |
EQ | ΠΡΠΈΡΠ²Π°ΠΈΠ²Π°Π½ΠΈΠ΅ | |
EX | ΠΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ | |
SB | ΠΠΎΠ΄Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ | |
BO | ΠΠΈΠ½Π°ΡΠ½ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ | |
UO | Π£Π½Π°ΡΠ½ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ | |
LE | Π‘ΠΏΠΈΡΠΎΠΊ ΠΏΡΠΈΡΠ²Π°ΠΈΠ²Π°Π½ΠΈΠΉ | |
ID | ΠΠ΄Π΅Π½ΡΠΈΡΠΈΠΊΠ°ΡΠΎΡ | |
Π‘Π | ΠΠΎΠ½ΡΡΠ°Π½ΡΠ° | |
ΠΠΎΡΡΡΠΎΠΈΠΌ Π΄Π΅ΡΠ΅ΡΠΌΠ΅Π½ΠΈΡΠΎΠ²Π°Π½Π½ΡΠΉ Π²ΠΎΡΡ ΠΎΠ΄ΡΡΠΈΠΉ ΡΠ°ΡΠΏΠΎΠ·Π½Π°Π²Π°ΡΠ΅Π»Ρ.
Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΡ, Π΄Π»Ρ ΡΠΎΠ³ΠΎ ΡΡΠΎΠ±Ρ ΠΏΠΎΡΡΡΠΎΠΈΡΡ Π΄Π΅ΡΠ΅ΡΠΌΠΈΠ½ΠΈΡΠΎΠ²Π°Π½Π½ΡΠΉ Π²ΠΎΡΡ ΠΎΠ΄ΡΡΠΈΠΉ ΡΠ°ΡΠΏΠΎΠ·Π½Π°Π²Π°ΡΠ΅Π»Ρ:
Π°)ΠΡΠ»ΠΈ ΠΈΠΌΠ΅Π΅ΡΡΡ ΡΠΈΠΌΠ²ΠΎΠ» Π³ΡΡΠΏΠΏΡ Π ΡΠ°ΠΊΠΎΠΉ, ΡΡΠΎ Π² Π½Π΅ΠΊΠΎΡΠΎΡΠΎΠ΅ ΠΏΡΠ°Π²ΠΈΠ»ΠΎ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ Π²Ρ ΠΎΠ΄ΠΈΡ ΡΠ΅ΠΏΠΎΡΠΊΠ° ΠΠ ΠΈ ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ ΡΠΈΠΌΠ²ΠΎΠ» Ρ ΠΠΠ Π'(Π), ΡΠΎ Π±ΡΠ΄Π΅ΠΌ ΡΡΠΈΡΠ°ΡΡ, ΡΡΠΎ ΠΌΠ΅ΠΆΠ΄Ρ ΡΠΈΠΌΠ²ΠΎΠ»Π°ΠΌΠΈ Ρ ΠΈ, Π ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΡΡΡΡ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΡ Ρ ΠΠΠ‘ΠΠ, Π Π±) ΠΡΠ»ΠΈ Π² Π·Π°Π΄Π°Π½Π½ΠΎΠΉ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ΅ ΠΈΠΌΠ΅Π΅ΡΡ ΠΏΡΠ°Π²ΠΈΠ»ΠΎ Π->Π±ΠΠ± Π, ΠVa, Π± ΡΠΎ ΠΌΠ΅ΠΆΠ΄Ρ, Π ΠΈ Ρ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΡΡΡ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΠ΅, Π Π‘ΠΠΠ Π’ Ρ .
ΠΡΡ Π½Π°ΡΠ° Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ° ΠΎΡΡΠ°Π΅ΡΡΡ ΠΏΡΠ΅ΠΆΠ½Π΅ΠΉ, ΡΠΎ Π΅ΡΡΡ:
Π: {Vt, Va, I, R},
Π° ΠΏΡΠ°Π²ΠΈΠ»Π° Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ Π ΠΏΡΠΈΠ²Π΅Π΄Π΅Π½Ρ Π² ΡΠ°Π±Π»ΠΈΡΠ΅ 5.
Π’Π°Π±Π»ΠΈΡΠ° 5 — ΠΡΠ°Π²ΠΈΠ»Π° Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠΈ
β ΠΏΡΠ°Π²ΠΈΠ»Π° | ΠΠ΅Π²Π°Ρ ΡΠ°ΡΡΡ ΠΏΡΠ°Π²ΠΈΠ»Π° | ΠΡΠ°Π²Π°Ρ ΡΠ°ΡΡΡ ΠΏΡΠ°Π²ΠΈΠ»Π° | |
PG' | PG? | ||
PG | DE AL? | ||
AL | b LE e? | ||
DE | |||
LV | |||
LV | |||
LE | w (DE); ? | ||
LE | r (DE); ? | ||
LE | f ID = EX t EX d LE n;? | ||
LE | EQ? | ||
EQ | ID = EX; ? | ||
EX | UO SB? | ||
EX | SB? | ||
SB | (EX) ? | ||
SB | OP ? | ||
SB | SB BO SB? | ||
UO | -? | ||
BO | +? | ||
BO | *? | ||
BO | -? | ||
OP | ID? | ||
OP | CO? | ||
ID1 | u ID? | ||
ΠΡΠΎΠ΄ΠΎΠ»ΠΆΠ΅Π½ΠΈΠ΅ ΡΠ°Π±Π»ΠΈΡΡ 5. | |||
β ΠΏΡΠ°Π²ΠΈΠ»Π° | ΠΠ΅Π²Π°Ρ ΡΠ°ΡΡΡ ΠΏΡΠ°Π²ΠΈΠ»Π° | ΠΡΠ°Π²Π°Ρ ΡΠ°ΡΡΡ ΠΏΡΠ°Π²ΠΈΠ»Π° | |
ID | u? | ||
CO | k ? | ||
ID1 | ID | ||
ΠΠ΄Π΅? — ΠΌΠ°ΡΠΊΠ΅Ρ ΠΊΠΎΠ½ΡΠ° ΡΠ΅ΠΏΠΎΡΠΊΠΈ.
ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΠΌ Π½Π΅ΠΊΠΎΡΠΎΡΡΠ΅ ΡΠ»ΡΡΠ°ΠΈ:
Π°)ΠΠ΄Π΅Π½ΡΠΈΡΠΈΠΊΠ°ΡΠΎΡ ID ΡΠΎΡΡΠΎΠΈΡ ΠΈΠ· ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° Π±ΡΠΊΠ² Π»Π°ΡΠΈΠ½ΡΠΊΠΎΠ³ΠΎ Π°Π»ΡΠ°Π²ΠΈΡΠ°, ΡΠΎ Π΅ΡΡΡ Π±ΡΠ΄Π΅ΠΌ ΡΡΠΈΡΠ°ΡΡ, ΡΡΠΎ u = { a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z}
Π±) ΠΠΎΠ½ΡΡΠ°Π½ΡΠ° Π‘Π ΡΠΎΡΡΠΎΠΈΡ ΠΈΠ· ΡΠΈΡΡ, ΡΠΎ Π΅ΡΡΡ Π±ΡΠ΄Π΅ΠΌ ΡΡΠΈΡΠ°ΡΡ, ΡΡΠΎ k = {0,1,2,3,4,5,6,7,8,9}
ΠΠ»Ρ ΡΠΎΠ³ΠΎ, ΡΡΠΎΠ±Ρ Π½Π°ΡΠ° Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ° ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠΌΠ΅ΡΠ°Π½Π½ΠΎΠΉ ΡΡΡΠ°ΡΠ΅Π³ΠΈΠ΅ΠΉ ΠΏΡΠ΅Π΄ΡΠ΅ΡΡΠ²ΠΎΠ²Π°Π½ΠΈΡ, Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎ, ΡΡΠΎΠ±Ρ Π²ΡΠΏΠΎΠ»Π½ΡΠ»ΠΈΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΡΡΠ»ΠΎΠ²ΠΈΡ:
Π°) ΠΡΡΡΡΡΡΠ²ΠΈΠ΅ Π΅ — ΠΏΡΠ°Π²ΠΈΠ» Π±) ΠΠΌΠ΅ΡΡΡΡ ΠΏΡΠ°Π²ΠΈΠ»Π° ΠΏΡΠΈ ΠΊΠΎΡΠΎΡΡΡ , Ρ ΠΠΠ‘ΠΠ, Π? Π Π‘ΠΠΠ Π’ Ρ = ?
Π²) Π -> Π±YΠ³
B->Π³
ΠΈ Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎ, ΡΡΠΎΠ±Ρ Π ΠΠΠ‘ΠΠ Ρ ? Π Π‘ΠΠΠ Π’ Ρ = ?
Π³) Π ->Π±
B -> Π±
Ρ.Π΅ Π² Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΠΊΠ΅ Π±ΡΠ΄ΡΡ Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ Π ΠΠΠ‘ΠΠ Ρ Π»ΠΈΠ±ΠΎ, Π ΠΠΠ‘ΠΠ Ρ , Π³Π΄Π΅ Ρ — ΡΠΈΠΌΠ²ΠΎΠ»ΠΏΡΠ΅Π΄ΠΈΠΊΠ°Ρ ΡΠ΅ΠΏΠΎΡΠΊΠΈ Π±.
Π°) ΠΠΠ Π'(PG)={PG?}
ΠΠΠ Π'(RG) = ΠΠΠ Π (DE) = {RG, v, i,;}
ΠΠΠ Π' (AL) = ΠΠΠ Π (b LE e)= {AL, b, e}
ΠΠΠ Π' (DE) = ΠΠΠ Π (v LV: i;) = {DE, v, i,;}
ΠΠΠ Π' (LV) = ΠΠΠ Π (ID, LV) = { LV, ID }
ΠΠΠ Π' (OP) ={OP, ID, CO}
ΠΠΠ Π' (EQ) = ΠΠΠ Π (ID = EX;) = {EQ, =,;}
ΠΠΠ Π' (EX) = {EX, SB, -}
ΠΠΠ Π' (BO) ={B0, +,*,-}
ΠΠΠ Π' (SB) =ΠΠΠ Π ((EX)SB)? ΠΠΠ Π (OP)? ΠΠΠ Π (ΠΠ)={SB, (,), OP, BO};
ΠΠΠ Π' (LE) = ΠΠΠ Π (EQ) = {LE, (,), =,;, f, t, d, n, w, r}
ΠΠΠ Π' (UO) = {UO,-}
ΠΠΠ Π' (ID)= ΠΠΠ Π' (u) = {u}
ΠΠΠ Π' (CO) = ΠΠΠ Π' (k) = {k}ΠΠΠ Π' (e) ={ e}
ΠΠΠ Π' (b) ={ b}
ΠΠΠ Π' (e) ={ e}
ΠΠΠ Π' (v) ={ v}
ΠΠΠ Π' (w) ={ w}
ΠΠΠ Π' ® ={ r}
ΠΠΠ Π' (i) ={ i}
ΠΠΠ Π' (f) ={ f}
ΠΠΠ Π' (d) ={d}
ΠΠΠ Π' (n) ={ n}
ΠΠΠ Π' © ={ c}
ΠΠΠ Π' (+) ={ +}
ΠΠΠ Π' (*) ={ *}
ΠΠΠ Π' (-) ={ -}
ΠΠΠ Π' (,) ={,}
ΠΠΠ Π' (;) ={;}
ΠΠΠ Π' (:) ={:}
ΠΠΠ Π' (=) = { = }
ΠΠΠ Π' (() ={ (}
ΠΠΠ Π' ()) ={) }
ΠΠΠ Π' (u) ={u}
ΠΠΠ Π' (k) ={k}
Π±) Π‘ΠΠΠ `(AL) = {?}?Π‘ΠΠΠ'(PG)={?, b, e}
Π‘ΠΠΠ ` (DE) = {?}?ΠΠΠ Π'(AL)= {?, b, e }
Π‘ΠΠΠ ` (LV) = {?}?ΠΠΠ Π'(:)= {?:}
Π‘ΠΠΠ ` (OP) = {?}?ΠΠΠ Π'(SB)= {?,;,), d, t, +, -, *}
Π‘ΠΠΠ ` (EQ) = {?}?ΠΠΠ Π'(LE)={?, (,),;, f, =, t, d, n, w, r }
Π‘ΠΠΠ ` (EX) = {?}?ΠΠΠ Π'(t)?ΠΠΠ Π'(d)?ΠΠΠ Π'(;)?ΠΠΠ Π'())={?, t, d,;,)}
Π‘ΠΠΠ ` (BO) = {?}?ΠΠΠ Π'(SB)= {?, (,), OP, BO}
Π‘ΠΠΠ ` (UO) = {?}?ΠΠΠ Π'(SB)= {?, (,), OP, BO}
Π‘ΠΠΠ ` (SB) = {?}?Π‘ΠΠΠ'(EX)= {?, t, d,;,), +, *, -}
Π‘ΠΠΠ ` (LE) = {?} ?ΠΠΠ Π'(e) ?ΠΠΠ Π'(n) = {?, e, n}
Π‘ΠΠΠ `(ID)= {?}? Π‘ΠΠΠ' (OP)? ΠΠΠ Π' (=) ={?,;,), d, t, +, -, *, =}
Π‘ΠΠΠ `(CO) = {?}? Π‘ΠΠΠ' (OP)= {?,;,), d, t, +, -, *, =}
Π‘ΠΠΠ ` (b) ={?}?ΠΠΠ Π'(LE)= {?, u, =,;}
Π‘ΠΠΠ ` (e) ={?}?Π‘ΠΠΠ'(AL)= {?, b}
Π‘ΠΠΠ ` (v) ={?}?ΠΠΠ Π'(LV)= {?, u }
Π‘ΠΠΠ ` (w) ={?}?ΠΠΠ Π'(()= {?, (}
Π‘ΠΠΠ ` ® ={?}?ΠΠΠ Π'(() = {?, (}
Π‘ΠΠΠ ` (i) ={?}?ΠΠΠ Π'(;)= {?,; }
Π‘ΠΠΠ ` (f) ={?}?ΠΠΠ Π'(ID) = {?, u}
Π‘ΠΠΠ ` (d) ={?}?ΠΠΠ Π'(LE)= {?, u, =,;}
Π‘ΠΠΠ ` (n) ={?}?ΠΠΠ Π'(i) = {?, i }
Π‘ΠΠΠ ` (+) ={?}?Π‘ΠΠΠ'(ΠΠ) = {?, +,*,-}
Π‘ΠΠΠ ` (-) ={?}?Π‘ΠΠΠ'(ΠΠ) = {?, +,*,-}
Π‘ΠΠΠ ` (*) ={?}?Π‘ΠΠΠ'(ΠΠ) = {?, +,*,-}
Π‘ΠΠΠ ` (;) ={?}?Π‘ΠΠΠ' (DE)?Π‘ΠΠΠ `(LE1)?Π‘ΠΠΠ' (EQ) = {?, b, e, l, u }
Π‘ΠΠΠ ` (:) ={?}?ΠΠΠ Π'(i)= {?, i }
Π‘ΠΠΠ ` (=) = {?}?ΠΠΠ Π'(EX) = {? (,), u, k, +, -, *}
Π‘ΠΠΠ ` (() ={?}?ΠΠΠ Π'(DE)= {?, v, i,;}
Π‘ΠΠΠ ` ()) ={?}? ΠΠΠ Π'(;) = {?,; }
Π‘ΠΠΠ ` (,) ={?}? ΠΠΠ Π'(LV) = {?, u }
Π‘ΠΠΠ `(u) ={?}? ΠΠΠ Π' (ID)= { u, ?}
Π‘ΠΠΠ `(k) ={?}? ΠΠΠ Π (CO)= {?, k}
Π²) PG ->DE AL
AL ΠΠΠ‘ΠΠ DE = {b, e} ΠΠΠ‘ΠΠ DE = {(b DE), (e DE) }
AL -> b LE e
e ΠΠΠ‘ΠΠ LE = {(e LE)}
LE ΠΠΠ‘ΠΠ b = {(,), =,;, f, t, d, n, w, r} ΠΠΠ‘ΠΠ b = {((b), ()b), (=b), (;b), (f b), (t b), (d b), (n b), (w b), (r b)}
;ΠΠΠ‘ΠΠ i = {(; i)}
i ΠΠΠ‘ΠΠ: = { (i:) }
: ΠΠΠ‘ΠΠ LV = { (: LV) }
LV ΠΠΠ‘ΠΠ v = { (ID, v) }
LV ΠΠΠ‘ΠΠ, = {(ID,)}
ΠΠΠ‘ΠΠ ID = {(, u)}
LE-> EQ LE
LE ΠΠΠ‘ΠΠ EQ = {(,), =,;, f, t, d, n, w, r } ΠΠΠ‘ΠΠ EQ = {((EQ), () EQ), (= EQ), (; EQ), (f EQ), (t EQ), (d EQ), (n EQ), (w EQ), (r EQ)}
LE -> r (DE);
; ΠΠΠ‘ΠΠ) = {(;))}
) ΠΠΠ‘ΠΠ DE = {((DE)}
DE ΠΠΠ‘ΠΠ (= (= {(v)), (:)), (i)), (;)), (e))}
(ΠΠΠ‘ΠΠ r = {(®}
LE -> w (DE);
; ΠΠΠ‘ΠΠ) = {(;))}
) ΠΠΠ‘Π DE = {((DE)}
DE ΠΠΠ‘ΠΠ (= {(v)), (:)), (i)), (;)), (e))}
(ΠΠΠ‘ΠΠ w = {((w)}
LE -> f ID = EX t EX d LE n;
; ΠΠΠ‘ΠΠ n = {(;n)}
n ΠΠΠ‘ΠΠ LE = { (n, LE)}
LE ΠΠΠ‘ΠΠ d = { ((,), =,;, f, t, d, n, w, r)}? ΠΠΠ‘ΠΠ d = {((d), ()d), (;d), (f d), (t d), (d d), (n d), (w d), (r d)}
d ΠΠΠ‘ΠΠ EX = {(d, EX)}
EX ΠΠΠ‘ΠΠ t = (BO, -)? ΠΠΠ‘ΠΠ t = {(BO t), (- t)}
t ΠΠΠ‘ΠΠ EX = { t EX}
EX ΠΠΠ‘ΠΠ = = {(BO, -)? ΠΠΠ‘ΠΠ = = {(BO =), (- =)}
= ΠΠΠ‘ΠΠ ID = {(= ID)}
ID ΠΠΠ‘ΠΠ f = {(ID f)}
EQ -> ID = EX;
; ΠΠΠ‘ΠΠ EX = {(; EX }
EX ΠΠΠ‘ΠΠ = = (BO, -)? ΠΠΠ‘ΠΠ = = {(BO =), (- =)}
= ΠΠΠ‘ΠΠ u = { (=u)}
EX -> UO SB
SB ΠΠΠ‘ΠΠ UO = { (,), OP, BO } ΠΠΠ‘ΠΠ UO = {((UO), (OP UO), (BO UO) }
SB->(EX)
) ΠΠΠ‘ΠΠ EX = { ()EX) }
EX ΠΠΠ‘ΠΠ (= (BO, -)? ΠΠΠ‘ΠΠ (= {(BO (), (- ()}
SB-> SB BO SB
SB ΠΠΠ‘ΠΠ BO = ((,), OP, BO) ΠΠΠ‘ΠΠ BO = {((BO), ()BO), (OP BO), (BO BO)}
BO ΠΠΠ‘ΠΠ SB = {+,*,-} ΠΠΠ‘ΠΠ SB = {(+SB), (*SB), (-SB)}
ID -> u ID
ID ΠΠΠ‘ΠΠ u = {(u, u)}
Π³) PG ->DE AL
AL Π‘ΠΠΠ Π’ PG = AL Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (PG) = {(AL ?)}
AL -> b LE e
e Π‘ΠΠΠ Π’ AL = e Π‘ΠΠΠ Π’ Π‘ΠΠΠ'(AL)= {(eb), (e?)}
=; Π‘ΠΠΠ Π’ Π‘ΠΠΠ'(DE) = {(;b), (;?)}
LV Π‘ΠΠΠ Π’ LV = LV Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (LV) = {(LV:), (LV?)}
ID Π‘ΠΠΠ Π’ LV = ID Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (LV) = {(ID:), (ID ?)}
LE-> w (DE);
; Π‘ΠΠΠ Π’ LE =; Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (LE) = {(; e), (;?), (;n)}
LE-> r (DE);
; Π‘ΠΠΠ Π’ LE =; Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (LE) = {(; e), (;?), (;n)}
LE -> f ID = EX t EX d LE n;
; Π‘ΠΠΠ Π’ LE =; Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (LE) = {(; e), (;?), (;n)}
LE -> EQ
EQ Π‘ΠΠΠ Π’ LE = EQ Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (LE) = {(EQ e), (EQ?), (EQ n)}
EQ -> ID = EX;
; Π‘ΠΠΠ Π’ EQ =; Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (EQ) = {(; (), (;)), (;;), (;f), (;?), (;=), (;t), (;d), (;n), (;w), (;r)}
EX ->SB
SB Π‘ΠΠΠ Π’ EX = SB Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (EX) = {(SB t), (SB?), (SB d), (SB)), (SB;), (SB (), (SB=), (SBf), (SBn), (SBw), (SBr) }
EX — >
SB Π‘ΠΠΠ Π’ EX = SB Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (EX) = {(SB t), (SB?), (SB d), (SB)), (SB;), (SB (), (SB=), (SBf), (SBn), (SBw), (SBr) }
SB ->(EX)
) Π‘ΠΠΠ Π’ SB = SB Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (SB) = {() t), ()?), () d), ())), ();)}
SB -> OP
OP Π‘ΠΠΠ Π’ SB = OP Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (SB) = {(OP t), (OP ?), (OP d), (OP)), (OP;)}
SB-> SB BO SB
SB Π‘ΠΠΠ Π’ SB = SB Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (SB) = {(SB, t), (SBd), (SB;). (SB)), (SB+), (SB-), (SB*), (SB?) }
UO -> ;
— Π‘ΠΠΠ Π’ UO = - Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (UO) = { (-?), (—)}
BO -> +
+ Π‘ΠΠΠ Π’ BO = + Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (BO) = {(++), (+?), (+*), (±)}
BO-> *
* Π‘ΠΠΠ Π’ BO = * Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (BO) = {(*+), (*?), (**), (*-)}
BO -> ;
— Π‘ΠΠΠ Π’ BO = - Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (BO) = {(-+), (-?), (-*), (—)}
OP ->ID
ID Π‘ΠΠΠ Π’ OP = ID Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (OP) = {(ID+), (ID?), (ID*), (ID-)}
OP->CO
CO Π‘ΠΠΠ Π’ OP = CO Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (OP) = {(CO+), (CO?), (CO*), (CO-), (CO;), (COd), (COt), (CO))}
ID -> u ID
ID Π‘ΠΠΠ Π’ ID = ID Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (ID) = {(ID)), (ID ?), (ID k), (ID+), (ID-), (ID*), (ID=), (IDt), (IDd))}
ID->u
u Π‘ΠΠΠ Π’ ID = l Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (ID) = {(u)), (u?), (uk), (u+), (u-), (u*), (u=), (ut), (ud))}
CO -> k CO
CO Π‘ΠΠΠ Π’ CO = CO Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (CO) = (CO+), (CO?), (CO*), (CO-), (CO;), (COd), (COt), (CO))}
CO -> k
k Π‘ΠΠΠ Π’ CO = k Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (CO) = (k+), (k?), (k*), (k-), (k;), (kd), (kt), (k))}
ΠΠ±Π½Π°ΡΡΠΆΠ΅Π½Π° ΠΎΠ΄Π½Π° ΠΊΠΎΠ½ΡΠ»ΠΈΠΊΡΠ½Π°Ρ ΡΠΈΡΡΠ°ΡΠΈΡ ΠΏΡΠΈ ΡΠ²ΠΎΡΠ°ΡΠΈΠ²Π°Π½ΠΈΠΈ ΠΏΡΠ°Π²ΠΈΠ»
OP ->ID ΠΈ ID -> u ID
ΠΠ²ΠΎΠ΄ΠΈΠΌ ID1 -> ID, ΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ ΠΏΠ΅ΡΠ΅ΠΏΠΈΡΡΠ²Π°Π΅ΠΌ ΠΏΡΠ°Π²ΠΈΠ»ΠΎ ID1 -> u ID
Π‘Π»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ, ΠΏΡΠΎΠ²Π΅Π΄Π΅ΠΌ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΡΠ²Π΅ΡΡΠΊΠ°.
ID1 -> u ID
ID1 Π‘ΠΠΠ Π’ ID = ID1 Π‘ΠΠΠ Π’ Π‘ΠΠΠ' (ID) = {(ID1)), (ID1 ?), (ID1 k), (ID1+), (ID1-), (ID1*), (ID1=), (ID1t), (ID1d))}
ΠΠ»Ρ ΠΊΠ°ΠΆΠ΄ΠΎΠΉ ΠΏΠ°ΡΡ (Ρ , Π)? Ρ ΠΠΠ‘ΠΠ, Π ΡΡΡΠΎΠΈΠΌ ΡΡΠ½ΠΊΡΠΈΡ ΠΏΠ΅ΡΠ΅Ρ ΠΎΠ΄Π°, ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΡΡΠ΅Π΅ Π΄Π΅ΠΉΡΡΠ²ΠΈΠ΅ ΠΏΠ΅ΡΠ΅Π½ΠΎΡ ??(S0, x, A) = (S0, A)
? (S0, b, DE) = (S0, DEb)
? (S0, e, DE) = (S0, DEe)
? (S0, e, LE) = (S0, LEe)
? (S0,), b) = (S0, b))
? (S0,;, b) = (S0, b;)
? (S0, (, b) = (S0, b ()
? (S0, =, b) = (S0, b=)
? (S0, f, b) = (S0, bf)
? (S0, t, b) = (S0, bt)
? (S0, d, b) = (S0, bd)
? (S0, n, b) = (S0, bn)
? (S0, w, b) = (S0, bw)
? (S0, r, b) = (S0, br)
? (S0,;, i) = (S0, i;)
? (S0, i:) = (S0, i:)
? (S0: LV) = (S0, LV:)
? (S0, ID, v) = (S0, vID)
? (S0, ID,) = (S0,ID)
? (S0, u) = (S0, u,)
? (S0, (, EQ)= (S0, EQ ()
? (S0,), EQ)= (S0, EQ))
? (S0, =, EQ)= (S0, EQ=)
? (S0,;, EQ)= (S0, EQ;)
? (S0, f, EQ)= (S0, EQf)
? (S0, t, EQ)= (S0, EQt)
? (S0, d, EQ)= (S0, EQd)
? (S0, n, EQ)= (S0, EQn)
? (S0, w, EQ)= (S0, EQw)
? (S0, r, EQ)= (S0, EQr)
? (S0,;,)) = (S0,);)
? (S0, (, DE) = (S0, DE ()
? (S0, v,)) = (S0,)v)
? (S0,;,)) = (S0,);)
? (S0, i,)) = (S0,)i)
? (S0,)) = (S0,):)
? (S0, e,)) = (S0,)e)
? (S0, (, r) = (S0, r ()
? (S0, (, w) = (S0, w ()
? (S0,;, n) = (S0, n;)
? (S0, n, LE) = (S0, LEn)
? (S0, (, d) = (S0, d ()
? (S0,), d) = (S0, d))
? (S0,;, d) = (S0, d;)
? (S0, f, d) = (S0, df)
? (S0, t, d) = (S0, dt)
? (S0, d, d) = (S0, dd)
? (S0, n, d) = (S0, dn)
? (S0, w, d) = (S0, dw)
? (S0, r, d) = (S0, dr)
? (S0, d, EX) = (S0, EXd)
? (S0, BO, t) = (S0, tBO)
? (S0, -, t) = (S0, t-)
? (S0, t, EX) = (S0, EXt)
? (S0, BO, =) = (S0, =BO)
? (S0, -, =) = (S0, =-)
? (S0, =, ID) = (S0, ID=)
? (S0, ID, f) = (S0, fID)
? (S0,;, EX) = (S0, EX;)
? (S0, =, u) = (S0, u=)
? (S0, (, UO) = (S0, UO ()
? (S0, OP, UO) = (S0, UO OP)
? (S0, BO, UO) = (S0, UO BO)
? (S0,), EX) = (S0, EX))
? (S0, BO, () = (S0, (BO)
? (S0, BO, -) = (S0, -BO)
? (S0, (, BO) = (S0, BO ()
? (S0,), BO) = (S0,)BO)
? (S0, OP, BO) = (S0, BOOP)
? (S0, +, SB) = (S0, SB+)
? (S0, *, SB) = (S0, SB*)
? (S0, -, SB) = (S0, SB-)
? (S0, u, u) = (S0, uu)
ΠΠ»Ρ ΠΊΠ°ΠΆΠ΄ΠΎΠΉ ΠΏΠ°ΡΡ (Ρ , Π)? Π Π‘ΠΠΠ Π’ Ρ ΡΡΡΠΎΠΈΠΌ ΡΡΠ½ΠΊΡΠΈΡ ΠΏΠ΅ΡΠ΅Ρ ΠΎΠ΄Π°, ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΡΡΠ΅Π΅ Π΄Π΅ΠΉΡΡΠ²ΠΈΠ΅ ΡΠ²Π΅ΡΡΠΊΠ° ??*(S0, x, Π±A) = (S0, Π), Π³Π΄Π΅ Π->Π±A
?*(S0, AL, ?) = (S0, PG)
?*(S0, e, b) = (S0, AL)
?*(S0, n, ?) = (S0, AL)
?*(S0,;, b) = (S0, DE)
?*(S0,;, ?) = (S0, DE)
?*(S0,;, e) = (S0, DE)
?*(S0, LV:) = (S0, LV)
?*(S0, LV, ?) = (S0, LV)
?*(S0, ID, ?) = (S0, LV)
?*(S0, ID, e) = (S0, LV)
?*(S0,;, e) = (S0, LE)
?*(S0,;, ?) = (S0, LE)
?*(S0,;, n) = (S0, LE)
?*(S0, EQ, n) = (S0, LE)
?*(S0, EQ, e) = (S0, LE)
?*(S0, EQ, ?) = (S0, LE)
?*(S0,;, e) = (S0, LE)
?*(S0,;, ?) = (S0, LE)
?*(S0,;, () = (S0, EQ)
?*(S0,;,)) = (S0, EQ)
?*(S0,;, f) = (S0, EQ)
?*(S0,;, =) = (S0, EQ)
?*(S0,;, t) = (S0, EQ)
?*(S0,;, d) = (S0, EQ)
?*(S0,;, n) = (S0, EQ)
?*(S0,;, w) = (S0, EQ)
?*(S0,;, r) = (S0, EQ)
?*(S0, SB, t) = (S0, EX)
?*(S0, SB, ?) = (S0, EX)
?*(S0, SB, d) = (S0, EX)
?*(S0, SB,)) = (S0, EX)
?*(S0, SB,;) = (S0, EX)
?*(S0, SB, w) = (S0, EX)
?*(S0, SB, r) = (S0, EX)
?*(S0, SB, f) = (S0, EX)
?*(S0, SB, =) = (S0, EX)
?*(S0, SB, t) = (S0, EX)
?*(S0, SB, ?) = (S0, SB)
?*(S0, SB, () = (S0, SB)
?*(S0, SB,)) = (S0, SB)
?*(S0, SB, u) = (S0, SB)
?*(S0, SB, k) = (S0, SB)
?*(S0, SB, +) = (S0, SB)
?*(S0, SB, -) = (S0, SB)
?*(S0, SB, *) = (S0, SB)
?*(S0, SB, e) = (S0, SB)
?*(S0,), t) = (S0, SB)
?*(S0,), ?) = (S0, SB)
?*(S0,), t) = (S0, SB)
(S0,),)) = (S0, SB)
?*(S0,),;) = (S0, SB)
?*(S0, -, ?) = (S0, UO)
?*(S0, -, -) = (S0, UO)
?*(S0, +, +) = (S0, BO)
?*(S0, +, ?) = (S0, BO)
?*(S0, +, *) = (S0, BO)
?*(S0, -, -)) = (S0, BO)
?*(S0, -, +) = (S0, BO)
?*(S0, -, ?) = (S0, BO)
?*(S0, -, *) = (S0, BO)
?*(S0, -, -)) = (S0, BO)
?*(S0, *, +) = (S0, BO)
?*(S0, *, ?) = (S0, BO)
?*(S0, *, *) = (S0, BO)
?*(S0, *, -)) = (S0, BO)
?*(S0, u, +) = (S0, BO)
?*(S0, u, ?)= (S0, BO)
?*(S0, u, *) = (S0, BO)
?*(S0, u, -)) = (S0, BO)
?*(S0, k, +) = (S0, BO)
?*(S0, k, ?) = (S0, BO)
?*(S0, k, *) = (S0, BO)
?*(S0, k, -)) = (S0, BO)
?*(S0, ID, ?) = (S0, OP)
?*(S0, ID, +) = (S0, OP)
?*(S0, ID, *) = (S0, OP)
?*(S0, ID, -) = (S0, OP)
?*(S0, CO, ?) = (S0, OP)
?*(S0, CO, +) = (S0, OP)
?*(S0, CO, *) = (S0, OP)
?*(S0, CO, -) = (S0, OP)
?*(S0, CO,;) = (S0, OP)
?*(S0, CO, d) = (S0, OP)
?*(S0, CO, t) = (S0, OP)
?*(S0, ID, -) = (S0, OP)
?*(S0, ID, *) = (S0, OP)
?*(S0, ID, ?) = (S0, OP)
?*(S0, ID, () = (S0, OP)
?*(S0, ID,)) = (S0, OP)
?*(S0, ID, u) = (S0, OP)
?*(S0, ID, k) = (S0, OP)
?*(S0, ID, -) = (S0, OP)
?*(S0, ID, +) = (S0, OP)
?*(S0, u,)) = (S0, I OP)
?*(S0, ID1, *) = (S0, ID)
?*(S0, ID1, ?) = (S0, ID)
?*(S0, ID1, () = (S0, ID)
?*(S0, ID1,)) = (S0, ID)
?*(S0, ID1, u) = (S0, ID)
?*(S0, ID1, k) = (S0, ID)
?*(S0, ID1, -) = (S0, ID)
?*(S0, ID1, +) = (S0, ID)
?*(S0, u,)) = (S0, ID)
?*(S0, u, ?) = (S0, BO)
?*(S0, u, k) = (S0, ID)
?*(S0, u, *)) = (S0, ID)
?*(S0, u, -)) = (S0, ID)
?*(S0, u, +)) = (S0, ID)
?*(S0, u, d)) = (S0, ID)
?*(S0, u, t)) = (S0, ID)
?*(S0, u, =)) = (S0, ID)
?*(S0, CO, ?) = (S0, CO)
?*(S0, CO, +) = (S0, CO)
?*(S0, CO, -) = (S0, CO)
?*(S0, CO, *) = (S0, CO)
?*(S0, CO,;) = (S0, CO)
?*(S0, CO, d) = (S0, CO)
?*(S0, CO, t) = (S0, CO)
?*(S0, CO,)) = (S0, CO)
?*(S0, k, +) = (S0, CO)
?*(S0, k, -) = (S0, CO)
?*(S0, k, *) = (S0, CO)
?*(S0, k,;) = (S0, CO)
??*(S0, k, d) = (S0, CO)
?*(S0, k, t) = (S0, CO)
?*(S0, k,)) = (S0, CO)
?*(S0, k, () = (S0, CO)
2.2.3 ΠΡΠΎΠ³ΡΠ°ΠΌΠΌΠ½Π°Ρ ΡΠ΅Π°Π»ΠΈΠ·Π°ΡΠΈΡ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ° Π‘ΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΠΉ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡ (ΠΏΠ°ΡΡΠ΅Ρ) ΡΡΠΈΡΡΠ²Π°Π΅Ρ ΡΠ°ΠΉΠ» Π»Π΅ΠΊΡΠ΅ΠΌ, ΡΠΎΡΠΌΠΈΡΡΠ΅ΠΌΡΠΉ Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΠΌ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠΎΠΌ, ΠΎΡΡΡΠ΅ΡΡΠ²Π»ΡΠ΅Ρ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΈΠΉ ΡΠ°Π·Π±ΠΎΡ, Π²ΡΠ΄Π°Π΅Ρ ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΡ ΠΎ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΡΠΈΠ±ΠΊΠ°Ρ ΠΏΡΠΈ ΠΈΡ Π½Π°Π»ΠΈΡΠΈΠΈ ΠΈ ΡΠΎΠ·Π΄Π°Π΅Ρ ΠΏΡΠΎΠΌΠ΅ΠΆΡΡΠΎΡΠ½ΡΡ ΡΠΎΡΠΌΡ Π·Π°ΠΏΠΈΡΠΈ ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠΉ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ. ΠΡΠ½ΠΎΠ²ΠΎΠΉ ΡΠ°Π·ΡΠ°Π±ΠΎΡΠΊΠΈ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ° ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΏΡΠΎΠ΅ΠΊΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΠΈ ΡΠ΅Π°Π»ΠΈΠ·Π°ΡΠΈΡ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΠ΅Π³ΠΎ ΠΌΠ°Π³Π°Π·ΠΈΠ½Π½ΠΎΠ³ΠΎ Π°Π²ΡΠΎΠΌΠ°ΡΠ°.
ΠΠ»Ρ Π²ΠΎΡΡ ΠΎΠ΄ΡΡΠ΅Π³ΠΎ Π³ΡΠ°ΠΌΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΡΠ°Π·Π±ΠΎΡΠ° Π΄Π»Ρ Π΄Π΅ΡΠ΅ΡΠΌΠΈΠ½ΠΈΡΠΎΠ²Π°Π½Π½ΠΎΠ³ΠΎ Π²ΠΎΡΡ ΠΎΠ΄ΡΡΠ΅Π³ΠΎ ΡΠ°ΡΠΏΠΎΠ·Π½Π°Π²Π°ΡΠ΅Π»Ρ ΠΏΠΎΡΠ»Π΅ ΠΏΡΠΈΠ²Π΅Π΄Π΅Π½ΠΈΡ Π΅Π΅ ΠΊ Π½ΡΠΆΠ½ΠΎΠΌΡ Π²ΠΈΠ΄Ρ ΡΡΠ΅Π±ΡΠ΅ΡΡΡ Ρ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ ΡΡΠ½ΠΊΡΠΈΠΉ ΠΠΠ‘ΠΠ ΠΈ Π‘ΠΠΠ Π’ ΡΠΏΡΠΎΠ΅ΠΊΡΠΈΡΠΎΠ²Π°ΡΡ ΠΌΠ°Π³Π°Π·ΠΈΠ½Π½ΡΠΉ Π°Π²ΡΠΎΠΌΠ°Ρ Ρ ΠΏΠΎΠ΄ΡΠΎΠ±Π½ΡΠΌ ΠΎΠΏΠΈΡΠ°Π½ΠΈΠ΅ΠΌ Π²ΡΠ΅Ρ ΠΏΠ΅ΡΠ΅Ρ ΠΎΠ΄ΠΎΠ² Π² ΡΠ°ΠΌΠΊΠ°Ρ ΡΡΠ½ΠΊΡΠΈΠΈ ΠΏΠ΅ΡΠ΅Ρ ΠΎΠ΄ΠΎΠ².
ΠΡΠΈ ΡΠ°Π·ΡΠ°Π±ΠΎΡΠΊΠ΅ ΠΌΠ°Π³Π°Π·ΠΈΠ½Π½ΠΎΠ³ΠΎ Π°Π²ΡΠΎΠΌΠ°ΡΠ° ΠΌΡ ΠΏΠΎΡΡΡΠΎΠΈΠ»ΠΈΠΈ ΡΡΠ½ΠΊΡΠΈΠΈ ΠΏΠ΅ΡΠ΅Ρ ΠΎΠ΄Π°, ΠΊΠΎΡΠΎΡΡΠ΅ Π±ΡΠ΄ΡΡ ΡΠ²Π»ΡΡΡΡ ΠΎΡΠ½ΠΎΠ²ΠΎΠΉ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ°. ΠΡΠ΅ ΡΡΠ½ΠΊΡΠΈΠΈ ΠΏΠ΅ΡΠ΅Ρ ΠΎΠ΄Π° ΠΌΠΎΠΆΠ½ΠΎ ΡΠ°Π·Π΄Π΅Π»ΠΈΡΡ Π½Π° Π΄Π²Π° Π²ΠΈΠ΄Π°:
— ΡΠ°ΠΊΡ ΡΠ°Π±ΠΎΡΡ ΠΌΠ°Π³Π°Π·ΠΈΠ½Π½ΠΎΠ³ΠΎ Π°Π²ΡΠΎΠΌΠ°ΡΠ° Π±Π΅Π· ΡΡΠ΅Π½ΠΈΡ Π²Ρ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΡΠΈΠΌΠ²ΠΎΠ»Π° (ΠΏΡΡΡΠΎΠΉ ΡΠ°ΠΊΡ);
— ΡΠ°ΠΊΡ ΡΠ°Π±ΠΎΡΡ ΠΌΠ°Π³Π°Π·ΠΈΠ½Π½ΠΎΠ³ΠΎ Π°Π²ΡΠΎΠΌΠ°ΡΠ° Ρ ΡΡΠ΅Π½ΠΈΠ΅ΠΌ Π²Ρ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΡΠΈΠΌΠ²ΠΎΠ»Π°.
ΠΡΠΈ ΡΠ΅Π°Π»ΠΈΠ·Π°ΡΠΈΠΈ Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ° ΠΌΡ ΡΠ°Π·Π±ΠΈΠ»ΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ Π½Π° Π»Π΅ΠΊΡΠ΅ΠΌΡ ΠΈ Π·Π°ΠΏΠΈΡΠ°Π»ΠΈ ΠΈΡ Π² ΡΠΏΠΈΡΠΎΠΊ. ΠΡΠΎΡ ΡΠΏΠΈΡΠΎΠΊ ΠΌΡ ΠΏΠΎΡΠΎΠΌ ΠΎΠ±ΡΠ°Π±Π°ΡΡΠ²Π°Π΅ΠΌ Π² ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠΌ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ΅. ΠΠ° Π²Ρ ΠΎΠ΄ ΠΌΡ ΠΏΠΎΡΡΠ»Π°Π΅ΠΌ Π½Π°ΡΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ (ΡΠΏΠΈΡΠΎΠΊ), Π½Π°ΡΠ°Π»ΡΠ½ΡΡ ΡΠΈΠΌΠ²ΠΎΠ» (PG) ΠΈ ΠΌΠ°ΡΠΊΠ΅Ρ Π΄Π½Π° ΠΌΠ°Π³Π°Π·ΠΈΠ½Π½ΠΎΠ³ΠΎ Π°Π²ΡΠΎΠΌΠ°ΡΠ° (h0), ΠΏΠΎΡΠ»Π΅ ΡΠ΅Π³ΠΎ Π²ΡΠ±ΠΈΡΠ°Π΅ΡΡΡ Π½ΡΠΆΠ½Π°Ρ ΡΡΠ½ΠΊΡΠΈΡ ΠΏΠ΅ΡΠ΅Ρ ΠΎΠ΄Π° ΠΈ ΠΎΡΡΡΠ΅ΡΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠ΅ΠΊΡΡΡΠΈΠ²Π½ΡΠΉ Π²ΡΠ·ΠΎΠ².
Π‘Ρ Π΅ΠΌΠ° ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ ΡΠ°Π±ΠΎΡΡ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°ΡΠΎΡΠ° ΠΏΡΠΈΠ²Π΅Π΄Π΅Π½Π° Π² ΠΏΡΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠΈ B Π½Π° ΡΠΈΡΡΠ½ΠΊΠ΅ Π.2.
2.2.4 Π Π°Π·ΡΠ°Π±ΠΎΡΠΊΠ° ΠΌΠΎΠ΄ΡΠ»Ρ ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠ°ΡΠΈΠΈ
ΠΡΠΈ ΡΠ°Π·ΡΠ°Π±ΠΎΡΠΊΠ΅ ΠΌΠΎΠ΄ΡΠ»Ρ ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠ°ΡΠΈΠΈ Π² ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ ΠΏΡΠΎΠΌΠ΅ΠΆΡΡΠΎΡΠ½ΠΎΠΉ ΡΠΎΡΠΌΡ ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠΉ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ ΡΠ°ΡΡΠΎ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΡΡΡ ΠΏΠΎΡΡΡΠΈΠΊΡΠ½Π°Ρ ΡΠΎΡΠΌΠ° Π·Π°ΠΏΠΈΡΠΈ, ΠΊΠΎΡΠΎΡΠ°Ρ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ΅Ρ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ Π»Π΅Π³ΠΊΠΎ ΡΠ΅Π°Π»ΠΈΠ·ΠΎΠ²ΡΠ²Π°ΡΡ ΠΏΡΠΎΡΠ΅ΡΡ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ (ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠ°ΡΠΈΠΈ) ΡΡΠ°Π½ΡΠ»ΠΈΡΡΠ΅ΠΌΠΎΠΉ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ.
Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ ΠΎΡΠ½ΠΎΠ²Π½ΡΠ΅ ΠΏΡΠΈΠ½ΡΠΈΠΏΡ ΡΠΎΡΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΈ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ ΠΏΠΎΡΡΡΠΈΠΊΡΠ½ΠΎΠΉ ΡΠΎΡΠΌΡ Π·Π°ΠΏΠΈΡΠΈ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΉ.
ΠΡΠ½ΠΎΠ²Π½ΡΠ΅ ΠΏΡΠ°Π²ΠΈΠ»Π° ΠΏΡΠ΅ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½ΠΈΡ ΠΈΠ½ΡΠΈΠΊΡΠ½ΠΎΠΉ Π·Π°ΠΏΠΈΡΠΈ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ Π² ΠΏΠΎΡΡΡΠΈΠΊΡΠ½ΡΡ Π·Π°ΠΊΠ»ΡΡΠ°ΡΡΡΡ Π² ΡΠ»Π΅Π΄ΡΡΡΠ΅ΠΌ.
Π‘ΡΠΈΡΠ°Π½Π½ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°Π½Π΄Ρ Π΄ΠΎΠ±Π°Π²Π»ΡΡΡΡΡ ΠΊ ΠΏΠΎΡΡΡΠΈΠΊΡΠ½ΠΎΠΉ Π·Π°ΠΏΠΈΡΠΈ, ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π·Π°ΠΏΠΈΡΡΠ²Π°ΡΡΡΡ Π² ΡΡΠ΅ΠΊ.
ΠΡΠ»ΠΈ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ Π² Π²Π΅ΡΡΠΈΠ½Π΅ ΡΡΠ΅ΠΊΠ° ΠΈΠΌΠ΅Π΅Ρ Π±ΠΎΠ»ΡΡΠΈΠΉ (ΠΈΠ»ΠΈ ΡΠ°Π²Π½ΡΠΉ) ΠΏΡΠΈΠΎΡΠΈΡΠ΅Ρ, ΡΠ΅ΠΌ ΡΠ΅ΠΊΡΡΠ°Ρ ΡΡΠΈΡΠ°Π½Π½Π°Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ, ΡΠΎ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ ΠΈΠ· ΡΡΠ΅ΠΊΠ° Π΄ΠΎΠ±Π°Π²Π»ΡΠ΅ΡΡΡ ΠΊ ΠΏΠΎΡΡΡΠΈΠΊΡΠ½ΠΎΠΉ Π·Π°ΠΏΠΈΡΠΈ, Π° ΡΠ΅ΠΊΡΡΠ°Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ Π·Π°Π½ΠΎΡΠΈΡΡΡ Π² ΡΡΠ΅ΠΊ. Π ΠΏΡΠΎΡΠΈΠ²Π½ΠΎΠΌ ΡΠ»ΡΡΠ°Π΅ (ΠΏΡΠΈ Π½ΠΈΠ·ΡΠ΅ΠΌ ΠΏΡΠΈΠΎΡΠΈΡΠ΅ΡΠ΅) ΠΏΡΠΎΠΈΡΡ ΠΎΠ΄ΠΈΡ ΡΠΎΠ»ΡΠΊΠΎ Π·Π°Π½Π΅ΡΠ΅Π½ΠΈΠ΅ ΡΠ΅ΠΊΡΡΠ΅ΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π² ΡΡΠ΅ΠΊ.
Π‘ΡΠΈΡΠ°Π½Π½Π°Ρ ΠΎΡΠΊΡΡΠ²Π°ΡΡΠ°Ρ ΡΠΊΠΎΠ±ΠΊΠ° Π·Π°Π½ΠΎΡΠΈΡΡΡ Π² ΡΡΠ΅ΠΊ.
ΠΠΎΡΠ»Π΅ ΡΡΠΈΡΡΠ²Π°Π½ΠΈΡ Π·Π°ΠΊΡΡΠ²Π°ΡΡΠ΅ΠΉ ΡΠΊΠΎΠ±ΠΊΠΈ Π²ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π΄ΠΎ ΠΏΠ΅ΡΠ²ΠΎΠΉ ΠΎΡΠΊΡΡΠ²Π°ΡΡΠ΅ΠΉ ΡΠΊΠΎΠ±ΠΊΠΈ ΠΈΠ·Π²Π»Π΅ΠΊΠ°ΡΡΡΡ ΠΈΠ· ΡΡΠ΅ΠΊΠ° ΠΈ Π΄ΠΎΠ±Π°Π²Π»ΡΡΡΡΡ ΠΊ ΠΏΠΎΡΡΡΠΈΠΊΡΠ½ΠΎΠΉ Π·Π°ΠΏΠΈΡΠΈ, ΠΏΠΎΡΠ»Π΅ ΡΠ΅Π³ΠΎ ΠΈ ΠΎΡΠΊΡΡΠ²Π°ΡΡΠ°Ρ, ΠΈ Π·Π°ΠΊΡΡΠ²Π°ΡΡΠ°Ρ ΡΠΊΠΎΠ±ΠΊΠΈ ΠΎΡΠ±ΡΠ°ΡΡΠ²Π°ΡΡΡΡ, Ρ. Π΅. Π½Π΅ ΠΏΠΎΠΌΠ΅ΡΠ°ΡΡΡΡ Π½ΠΈ Π² ΠΏΠΎΡΡΡΠΈΠΊΡΠ½ΡΡ Π·Π°ΠΏΠΈΡΡ, Π½ΠΈ Π² ΡΡΠ΅ΠΊ.
ΠΠΎΡΠ»Π΅ ΡΡΠΈΡΡΠ²Π°Π½ΠΈΡ Π²ΡΠ΅Π³ΠΎ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ, ΠΎΡΡΠ°Π²ΡΠΈΠ΅ΡΡ Π² ΡΡΠ΅ΠΊΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π΄ΠΎΠ±Π°Π²Π»ΡΡΡΡΡ ΠΊ ΠΏΠΎΡΡΡΠΈΠΊΡΠ½ΠΎΠΉ Π·Π°ΠΏΠΈΡΠΈ.
ΠΠΎΡΡΡΠΈΠΊΡΠ½Π°Ρ Π·Π°ΠΏΠΈΡΡ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ΅Ρ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ΄ΠΈΡΡ Π΅Π³ΠΎ Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ.
ΠΡΠ»ΠΈ Π»Π΅ΠΊΡΠ΅ΠΌΠ° ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΎΠΏΠ΅ΡΠ°Π½Π΄ΠΎΠΌ, ΡΠΎ ΠΎΠ½Π° Π·Π°ΠΏΠΈΡΡΠ²Π°Π΅ΡΡΡ Π² ΡΡΠ΅ΠΊ. ΠΡΠ»ΠΈ Π»Π΅ΠΊΡΠ΅ΠΌΠ° ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠ΅ΠΉ, ΡΠΎ ΡΠΊΠ°Π·Π°Π½Π½Π°Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ Π²ΡΠΏΠΎΠ»Π½ΡΠ΅ΡΡΡ Π½Π°Π΄ ΠΏΠΎΡΠ»Π΅Π΄Π½ΠΈΠΌΠΈ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ°ΠΌΠΈ (ΠΏΠΎΡΠ»Π΅Π΄Π½ΠΈΠΌ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠΌ), Π·Π°ΠΏΠΈΡΠ°Π½Π½ΡΠΌΠΈ Π² ΡΡΠ΅ΠΊ, ΠΈ ΡΡΠΈ ΡΠ»Π΅ΠΌΠ΅Π½ΡΡ (ΡΠ»Π΅ΠΌΠ΅Π½Ρ) Π·Π°ΠΌΠ΅Π½ΡΡΡΡΡ Π² ΡΡΠ΅ΠΊΠ΅ ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠΎΠΌ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ.
ΠΡΠ»ΠΈ ΡΡΠΏΠ΅ΡΠ½ΠΎ ΠΏΡΠΎΡΠ»ΠΈ Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΠΉ ΠΈ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΠΉ Π°Π½Π°Π»ΠΈΠ·Ρ, ΡΠΎ ΠΌΡ ΠΏΡΠΈΡΡΡΠΏΠ°Π΅ΠΌ ΠΊ ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠ°ΡΠΈΠΈ. Π‘Π½Π°ΡΠ°Π»Π° Π΄Π΅Π»Π°Π΅ΠΌ ΠΈΠ· ΡΠ»ΠΎΠ² ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ, Π·Π°ΡΠ΅ΠΌ ΠΏΠ΅ΡΠ΅Π²ΠΎΠ΄ΠΈΠΌ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ Π² ΠΏΠΎΡΡΡΠΈΠΊΡΠ½ΡΡ Π·Π°ΠΏΠΈΡΡ ΠΈ Π²ΡΡΠΈΡΠ»ΡΠ΅ΠΌ.
Π‘Ρ Π΅ΠΌΠ° ΡΠ°Π±ΠΎΡΡ ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠ°ΡΠΎΡΠ° ΠΏΡΠΈΠ²Π΅Π΄Π΅Π½Π° Π² ΠΏΡΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠΈ B Π½Π° ΡΠΈΡΡΠ½ΠΊΠ΅ Π.3.
2.3 ΠΠΎΠ΄ΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΠΡΠΎΠ³ΡΠ°ΠΌΠΌΠ° ΡΠ΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Π½Π° Π½Π° ΡΠ·ΡΠΊΠ΅ C# Π² ΡΡΠ΅Π΄Π΅ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ Visual Studio 2010. Π’Π΅ΠΊΡΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½ Π² ΠΏΡΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠΈ Π.
Π ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠ΅ ΡΠ΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Π½Π½ΠΎ ΠΏΡΡΡ ΠΊΠ»Π°ΡΡΠΎΠ². Π‘ ΠΏΠΎΠΌΠΎΡΡΡ ΠΊΠ»Π°ΡΡΠ° MainForn ΡΠ΅Π°Π»ΡΠ·ΠΎΠ²Π°Π½ ΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°ΡΠ΅Π»ΡΡΠΊΠΈΠΉ ΠΈΠ½ΡΠ΅ΡΡΠ΅ΠΉΡ. C ΠΏΠΎΠΌΠΎΡΡΡ ΠΊΠ»Π°ΡΡΠ° LexAnalysis ΡΠ΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Π½ ΠΌΠΎΠ΄ΡΠ»Ρ Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°, SynAnalysis — ΠΌΠΎΠ΄ΡΠ»Ρ ΡΠΈΠ½ΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°, Intepreter — ΠΌΠΎΠ΄ΡΠ»Ρ ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠ°ΡΠΈΠΈ, ProgramisciJakPolska — Π²ΡΠΏΠΎΠΌΠΎΠ³Π°ΡΠ΅Π»ΡΠ½ΡΠΉ ΠΊΠ»Π°ΡΡ ΠΏΠ΅ΡΠ΅Π²ΠΎΠ΄Π° Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΉ Π² ΠΎΠ±ΡΠ°ΡΠ½ΡΡ ΠΏΠΎΠ»ΡΡΠΊΡΡ Π·Π°ΠΏΠΈΡΡ (ΠΏΠΎΡΡΡΠΈΠΊΡΠ½ΡΡ).
ΠΠ°Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ ΠΏΡΠΎΡΠ΅Π΄ΡΡ ΠΈ ΡΡΠ½ΠΊΡΠΈΠΉ, ΡΠ΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Π½Π½ΡΡ Π² ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠ΅, ΠΎΠΏΠΈΡΠ°Π½ΠΎ Π² ΡΠ°Π±Π»ΠΈΡΠ°Ρ 6,7,8.
Π’Π°Π±Π»ΠΈΡΠ° 6 — ΠΠ°Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ ΠΏΡΠΎΡΠ΅Π΄ΡΡ ΠΈ ΡΡΠ½ΠΊΡΠΈΠΉ Π»Π΅ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π°