Π§ΠΈΡ‚Π°ΠΉΡ‚Π΅ ΠΊΠ½ΠΈΠ³ΠΈ ΠΎΠ½Π»Π°ΠΉΠ½ Π½Π° Bookidrom.ru! БСсплатныС ΠΊΠ½ΠΈΠ³ΠΈ Π² ΠΎΠ΄Π½ΠΎΠΌ ΠΊΠ»ΠΈΠΊΠ΅

Π§ΠΈΡ‚Π°Ρ‚ΡŒ ΠΎΠ½Π»Π°ΠΉΠ½ Β«Π‘ΠΎΠ·Π½Π°ΡŽΡ‰ΠΈΠΉ ΡƒΠΌ. Π’ поисках Ρ„ΡƒΠ½Π΄Π°ΠΌΠ΅Π½Ρ‚Π°Π»ΡŒΠ½ΠΎΠΉ Ρ‚Π΅ΠΎΡ€ΠΈΠΈΒ». Π‘Ρ‚Ρ€Π°Π½ΠΈΡ†Π° 115

Автор Дэвид ЧалмСрс

2. ΠžΠ± ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ вычислСния

Бтандартная тСория вычислСния ΠΈΠΌΠ΅Π΅Ρ‚ Π΄Π΅Π»ΠΎ ΠΈΡΠΊΠ»ΡŽΡ‡ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ с абстрактными ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π°ΠΌΠΈ: машинами Π’ΡŒΡŽΡ€ΠΈΠ½Π³Π°, ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ°ΠΌΠΈ Π½Π° ПаскалС, ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹ΠΌΠΈ Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚Π°ΠΌΠΈ ΠΈ Ρ‚. ΠΏ. Π­Ρ‚ΠΎ β€” матСматичСскиС сущности, Π½Π°ΡΠ΅Π»ΡΡŽΡ‰ΠΈΠ΅ матСматичСскоС пространство. ΠšΠΎΠ³Π½ΠΈΡ‚ΠΈΠ²Π½Ρ‹Π΅ ΠΆΠ΅ систСмы, ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ Π² Ρ€Π΅Π°Π»ΡŒΠ½ΠΎΠΌ ΠΌΠΈΡ€Π΅, это ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½Ρ‹Π΅ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Ρ‹, ΠΈΠΌΠ΅ΡŽΡ‰ΠΈΠ΅ физичСскоС Π²ΠΎΠΏΠ»ΠΎΡ‰Π΅Π½ΠΈΠ΅ ΠΈ ΠΊΠ°ΡƒΠ·Π°Π»ΡŒΠ½ΠΎ Π²Π·Π°ΠΈΠΌΠΎΠ΄Π΅ΠΉΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ с Π΄Ρ€ΡƒΠ³ΠΈΠΌΠΈ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π°ΠΌΠΈ физичСского ΠΌΠΈΡ€Π°. Но Π·Π°Ρ‡Π°ΡΡ‚ΡƒΡŽ ΠΌΡ‹ Ρ…ΠΎΡ‚ΠΈΠΌ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒ Ρ‚Π΅ΠΎΡ€ΠΈΡŽ вычислСния для получСния Π²Ρ‹Π²ΠΎΠ΄ΠΎΠ² ΠΎ ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½Ρ‹Ρ… ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π°Ρ… Π² Ρ€Π΅Π°Π»ΡŒΠ½ΠΎΠΌ ΠΌΠΈΡ€Π΅. Для этого Π½Π°ΠΌ Π½ΡƒΠΆΠ΅Π½ мост ΠΌΠ΅ΠΆΠ΄Ρƒ ΠΎΠ±Π»Π°ΡΡ‚ΡŒΡŽ абстрактного ΠΈ ΠΎΠ±Π»Π°ΡΡ‚ΡŒΡŽ ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½ΠΎΠ³ΠΎ[179].

Π’Π°ΠΊΠΈΠΌ мостом являСтся понятиС ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ β€” ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ ΠΌΠ΅ΠΆΠ΄Ρƒ абстрактными Π²Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹ΠΌΠΈ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π°ΠΌΠΈ, ΠΈΠ»ΠΈ, ΠΊΠΎΡ€ΠΎΡ‚ΠΊΠΎ, «вычислСниями» ΠΈ физичСскими систСмами, ΠΈΠΌΠ΅ΡŽΡ‰Π΅Π΅ΡΡ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° физичСская систСма Β«Ρ€Π΅Π°Π»ΠΈΠ·ΡƒΠ΅Ρ‚Β» вычислСниС, ΠΈΠ»ΠΈ ΠΊΠΎΠ³Π΄Π° вычислСниС «описываСт» Ρ„ΠΈΠ·ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ систСму. ВычислСния часто ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΈΡ€ΡƒΡŽΡ‚ΡΡ Π½Π° синтСтичСских, ΠΊΡ€Π΅ΠΌΠ½ΠΈΠ΅Π²Ρ‹Ρ… ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€Π°Ρ…, Π½ΠΎ ΠΈΡ… ΠΌΠΎΠΆΠ½ΠΎ ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ ΠΈ ΠΈΠ½Π°Ρ‡Π΅. К ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρƒ, Π½Π΅Ρ€Π΅Π΄ΠΊΠΎ говорят, Ρ‡Ρ‚ΠΎ вычислСния ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΈΡ€ΡƒΡŽΡ‚ ΠΏΡ€ΠΈΡ€ΠΎΠ΄Π½Ρ‹Π΅ систСмы, Ρ‚Π°ΠΊΠΈΠ΅ ΠΊΠ°ΠΊ чСловСчСский ΠΌΠΎΠ·Π³. Π’Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ описания ΠΏΡ€ΠΈΠΌΠ΅Π½ΡΡŽΡ‚ΡΡ ΠΊ самым Ρ€Π°Π·Π½ΠΎΠΎΠ±Ρ€Π°Π·Π½Ρ‹ΠΌ физичСским систСмам. И всякий Ρ€Π°Π· Π² ΠΏΠΎΠ΄ΠΎΠ±Π½Ρ‹Ρ… случаях нСявно ΠΈΠ»ΠΈ явно задСйствуСтся понятиС ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ.

ΠŸΠΎΠ½ΡΡ‚ΠΈΠ΅ ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ нСчасто подвСргаСтся Π΄Π΅Ρ‚Π°Π»ΡŒΠ½ΠΎΠΌΡƒ Π°Π½Π°Π»ΠΈΠ·Ρƒ; ΠΎΠ±Ρ‹Ρ‡Π½ΠΎ Π΅Π³ΠΎ просто ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°ΡŽΡ‚ ΠΊΠ°ΠΊ Π΄Π°Π½Π½ΠΎΡΡ‚ΡŒ. Но для Π·Π°Ρ‰ΠΈΡ‚Ρ‹ сильного ИИ ΠΌΡ‹ нуТдаСмся Π² Π΅Π³ΠΎ Π΄Π΅Ρ‚Π°Π»ΡŒΠ½ΠΎΠΌ объяснСнии. ВСзис ΠΎ сильном ИИ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ Π² Π²Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… Ρ‚Π΅Ρ€ΠΌΠΈΠ½Π°Ρ… ΠΈ Π³ΠΎΠ²ΠΎΡ€ΠΈΡ‚ ΠΎ Ρ‚ΠΎΠΌ, Ρ‡Ρ‚ΠΎ имплСмСнтация Π½Π°Π΄Π»Π΅ΠΆΠ°Ρ‰Π΅Π³ΠΎ вычислСния достаточна для сознания. Π§Ρ‚ΠΎΠ±Ρ‹ ΠΎΡ†Π΅Π½ΠΈΡ‚ΡŒ это ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅, ΠΌΡ‹ Π΄ΠΎΠ»ΠΆΠ½Ρ‹ Π·Π½Π°Ρ‚ΡŒ, Π² ΠΊΠ°ΠΊΠΎΠΌ ΠΈΠΌΠ΅Π½Π½ΠΎ случаС физичСская систСма ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΈΡ€ΡƒΠ΅Ρ‚ вычислСниС. Π Π°Π·ΠΎΠ±Ρ€Π°Π²ΡˆΠΈΡΡŒ Π² этом, ΠΌΡ‹ смоТСм ΠΏΡ€ΠΈΡΠΎΠ΅Π΄ΠΈΠ½ΠΈΡ‚ΡŒ это Π·Π½Π°Π½ΠΈΠ΅ ΠΊ ΠΏΡ€ΠΎΠ΄Π΅Π»Π°Π½Π½ΠΎΠΌΡƒ Π½Π°ΠΌΠΈ Ρ€Π°Π½Π΅Π΅ Π°Π½Π°Π»ΠΈΠ·Ρƒ психофизичСских Π·Π°ΠΊΠΎΠ½ΠΎΠ², Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΠΏΠΎΠ½ΡΡ‚ΡŒ, ΠΌΠΎΠΆΠ΅Ρ‚ Π»ΠΈ ΠΈΠ· этого Π²Ρ‹Ρ‚Π΅ΠΊΠ°Ρ‚ΡŒ ΠΈΠ½Ρ‚Π΅Ρ€Π΅ΡΡƒΡŽΡ‰ΠΈΠΉ нас Π²Ρ‹Π²ΠΎΠ΄.

НСкоторыС Π°Π²Ρ‚ΠΎΡ€Ρ‹ Π΄ΠΎΠΊΠ°Π·Ρ‹Π²Π°Π»ΠΈ Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ Π΄Π°Ρ‚ΡŒ сколь-Π»ΠΈΠ±ΠΎ ΡΠΎΠ΄Π΅Ρ€ΠΆΠ°Ρ‚Π΅Π»ΡŒΠ½ΠΎΠ΅ объяснСниС ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ. Π’ частности, Π‘Π΅Ρ€Π» (Searle 1990b) Π΄ΠΎΠΊΠ°Π·Ρ‹Π²Π°Π», Ρ‡Ρ‚ΠΎ имплСмСнтация Π½Π΅ являСтся Ρ‡Π΅ΠΌ-Ρ‚ΠΎ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ΠΈΠ²Π½Ρ‹ΠΌ, Π°, Π½Π°ΠΎΠ±ΠΎΡ€ΠΎΡ‚, зависит ΠΎΡ‚ Π½Π°Π±Π»ΡŽΠ΄Π°Ρ‚Π΅Π»Ρ: любая систСма ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ истолкована ΠΊΠ°ΠΊ ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΈΡ€ΡƒΡŽΡ‰Π°Ρ любоС вычислСниС ΠΏΡ€ΠΈ Π½Π°Π΄Π»Π΅ΠΆΠ°Ρ‰Π΅ΠΉ ΠΈΠ½Ρ‚Π΅Ρ€ΠΏΡ€Π΅Ρ‚Π°Ρ†ΠΈΠΈ. Π‘Π΅Ρ€Π», ΠΊ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρƒ, считаСт, Ρ‡Ρ‚ΠΎ ΠΎ Π΅Π³ΠΎ стСнС ΠΌΠΎΠΆΠ½ΠΎ Ρ€Π°ΡΡΡƒΠΆΠ΄Π°Ρ‚ΡŒ Ρ‚Π°ΠΊ, Π±ΡƒΠ΄Ρ‚ΠΎ ΠΎΠ½Π° ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΈΡ€ΡƒΠ΅Ρ‚ Π΅Π³ΠΎ тСкстовый Ρ€Π΅Π΄Π°ΠΊΡ‚ΠΎΡ€ Wordstar. Если Π±Ρ‹ это Π±Ρ‹Π»ΠΎ Ρ‚Π°ΠΊ, Ρ‚ΠΎ Ρ‚Ρ€ΡƒΠ΄Π½ΠΎ Π±Ρ‹Π»ΠΎ Π±Ρ‹ ΠΏΠΎΠ½ΡΡ‚ΡŒ, ΠΊΠ°ΠΊ Π²Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ понятия ΠΌΠΎΠ³ΡƒΡ‚ ΠΈΠ³Ρ€Π°Ρ‚ΡŒ ΠΊΠ°ΠΊΡƒΡŽ-Ρ‚ΠΎ ΠΎΡΠ½ΠΎΠ²ΠΎΠΏΠΎΠ»Π°Π³Π°ΡŽΡ‰ΡƒΡŽ Ρ€ΠΎΠ»ΡŒ Π² Ρ‚Π΅ΠΎΡ€ΠΈΠΈ, Π² ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠΌ счСтС ΠΈΠΌΠ΅ΡŽΡ‰Π΅ΠΉ Π΄Π΅Π»ΠΎ с ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½Ρ‹ΠΌΠΈ систСмами. Π§Ρ‚ΠΎ ΠΆΠ΅ Π΄ΠΎ сильного ИИ, Ρ‚ΠΎ ΠΎΠ½ Π»ΠΈΠ±ΠΎ оказался Π±Ρ‹ лишСн всякого содСрТания, Π»ΠΈΠ±ΠΎ ΠΏΠΎΠ΄Ρ€Π°Π·ΡƒΠΌΠ΅Π²Π°Π» Π±Ρ‹ ΠΏΡ€ΠΈΠ·Π½Π°Π½ΠΈΠ΅ сильной разновидности панпсихизма. Π”ΡƒΠΌΠ°ΡŽ, ΠΎΠ΄Π½Π°ΠΊΠΎ, Ρ‡Ρ‚ΠΎ пСссимизм Ρ‚Π°ΠΊΠΎΠ³ΠΎ Ρ€ΠΎΠ΄Π° нСосноватСлСн: Π½Π΅ сущСствуСт прСпятствий для ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ΠΈΠ²Π½ΠΎΠΉ характСристики ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ. Π’ этом ΠΏΠ°Ρ€Π°Π³Ρ€Π°Ρ„Π΅ я схСматично ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²Π»ΡŽ эту характСристику (ΠΎΠ½Π° Π±ΡƒΠ΄Π΅Ρ‚ нСсколько тСхничСской, Π½ΠΎ ΠΎΡΡ‚Π°Π²ΡˆΠ°ΡΡΡ Ρ‡Π°ΡΡ‚ΡŒ Π³Π»Π°Π²Ρ‹ Π΄ΠΎΠ»ΠΆΠ½Π° Π±Ρ‹Ρ‚ΡŒ понятной, Π΄Π°ΠΆΠ΅ Ссли ΠΏΡ€ΠΎΡΠΊΠΎΡ‡ΠΈΡ‚ΡŒ эти Π΄Π΅Ρ‚Π°Π»ΠΈ).

Π›ΡŽΠ±ΠΎΠ΅ объяснСниС ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ вычислСния Π±ΡƒΠ΄Π΅Ρ‚ Π·Π°Π²ΠΈΡΠ΅Ρ‚ΡŒ ΠΎΡ‚ Ρ‚ΠΎΠ³ΠΎ, ΠΎ ΠΊΠ°ΠΊΠΎΠΌ классС вычислСний ΠΈΠ΄Π΅Ρ‚ Ρ€Π΅Ρ‡ΡŒ. БущСствуСт мноТСство Ρ€Π°Π·Π½Ρ‹Ρ… Π²Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… Ρ„ΠΎΡ€ΠΌΠ°Π»ΠΈΠ·ΠΌΠΎΠ², ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌ соотвСтствуСт Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Π΅ классы вычислСний: ΠΌΠ°ΡˆΠΈΠ½Ρ‹ Π’ΡŒΡŽΡ€ΠΈΠ½Π³Π°, ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Π΅ Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚Ρ‹, ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹ Π½Π° ПаскалС, коннСкционистскиС сСти, ΠΊΠ»Π΅Ρ‚ΠΎΡ‡Π½Ρ‹Π΅ Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚Ρ‹ ΠΈ Ρ‚. Π΄. Π’ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠ΅, Π½Π°ΠΌ Π½ΡƒΠΆΠ½ΠΎ объяснСниС ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΈΠ· этих Ρ„ΠΎΡ€ΠΌΠ°Π»ΠΈΠ·ΠΌΠΎΠ². Π― объясню ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΡŽ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ для ΠΎΠ΄Π½ΠΎΠ³ΠΎ Ρ„ΠΎΡ€ΠΌΠ°Π»ΠΈΠ·ΠΌΠ°, Π° ΠΈΠΌΠ΅Π½Π½ΠΎ для Ρ„ΠΎΡ€ΠΌΠ°Π»ΠΈΠ·ΠΌΠ° ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ‚ΠΎΡ€Π½Ρ‹Ρ… Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚ΠΎΠ². Π­Ρ‚ΠΎΡ‚ класс вычислСний достаточно абстрактСн для Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΠΌΠΎΠΆΠ½ΠΎ Π±Ρ‹Π»ΠΎ Π±Π΅Π· Ρ‚Ρ€ΡƒΠ΄Π° пСрСнСсти Π½Π° Π΄Ρ€ΡƒΠ³ΠΈΠ΅ классы ΡΠ²ΡΠ·Π°Π½Π½ΡƒΡŽ с Π½ΠΈΠΌ ΠΊΠΎΠ½Ρ†Π΅ΠΏΡ†ΠΈΡŽ ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ.

ΠšΠΎΠΌΠ±ΠΈΠ½Π°Ρ‚ΠΎΡ€Π½Ρ‹ΠΉ Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚ β€” Π±ΠΎΠ»Π΅Π΅ Ρ€Π°Ρ„ΠΈΠ½ΠΈΡ€ΠΎΠ²Π°Π½Π½Ρ‹ΠΉ родствСнник ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠ³ΠΎ Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚Π°. ΠšΠΎΠ½Π΅Ρ‡Π½Ρ‹ΠΉ Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚ (КА) спСцифицируСтся Π·Π°Π΄Π°Π½ΠΈΠ΅ΠΌ ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠ³ΠΎ Π½Π°Π±ΠΎΡ€Π° Π΄Π°Π½Π½Ρ‹Ρ… Π½Π° Π²Ρ…ΠΎΠ΄Π΅, ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠ³ΠΎ Π½Π°Π±ΠΎΡ€Π° Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½ΠΈΡ… состояний, ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠ³ΠΎ Π½Π°Π±ΠΎΡ€Π° Π΄Π°Π½Π½Ρ‹Ρ… Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ ΠΈ ΡƒΠΊΠ°Π·Π°Π½ΠΈΠ΅ΠΌ сопряТСнного с Π½ΠΈΠΌΠΈ Π½Π°Π±ΠΎΡ€Π° ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΉ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ ΠΊ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ. Π’Π½ΡƒΡ‚Ρ€Π΅Π½Π½Π΅Π΅ состояниС КА β€” это простой элСмСнт Si, Π»ΠΈΡˆΠ΅Π½Π½Ρ‹ΠΉ Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½Π΅ΠΉ структуры; это ΠΆΠ΅ справСдливо для Π΄Π°Π½Π½Ρ‹Ρ… Π½Π° Π²Ρ…ΠΎΠ΄Π΅ ΠΈ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅. ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΡΠΏΠ΅Ρ†ΠΈΡ„ΠΈΡ†ΠΈΡ€ΡƒΡŽΡ‚ для ΠΊΠ°ΠΆΠ΄ΠΎΠΉ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠΉ ΠΏΠ°Ρ€Ρ‹ Π΄Π°Π½Π½Ρ‹Ρ… Π½Π° Π²Ρ…ΠΎΠ΄Π΅ ΠΈ Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½ΠΈΡ… состояний Π½ΠΎΠ²ΠΎΠ΅ Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½Π΅Π΅ состояниС ΠΈ ΠΈΠΌΠ΅ΡŽΡ‰ΠΈΠΉΡΡ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚. Если Π΄Π°Π½ΠΎ Π½Π°Ρ‡Π°Π»ΡŒΠ½ΠΎΠ΅ состояниС ΠΊΠ°ΠΊΠΎΠ³ΠΎ-Ρ‚ΠΎ КА, Ρ‚ΠΎ эти ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ состояния ΠΊ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ ΡΠΏΠ΅Ρ†ΠΈΡ„ΠΈΡ†ΠΈΡ€ΡƒΡŽΡ‚, ΠΊΠ°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ ΠΎΠ½ Π±ΡƒΠ΄Π΅Ρ‚ ΠΈΠ·ΠΌΠ΅Π½ΡΡ‚ΡŒΡΡ Π²ΠΎ Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ ΠΈ Ρ‡Ρ‚ΠΎ ΠΎΠ½ Π±ΡƒΠ΄Π΅Ρ‚ Π΄Π°Π²Π°Ρ‚ΡŒ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ Π² зависимости ΠΎΡ‚ Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎ ΠΎΠ½ ΠΏΠΎΠ»ΡƒΡ‡Π°Π΅Ρ‚ Π½Π° Π²Ρ…ΠΎΠ΄Π΅. Π’Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚Π΅Π»ΡŒΠ½Π°Ρ структура КА прСдставляСт собой этот ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ простой Π½Π°Π±ΠΎΡ€ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΉ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ состояния ΠΊ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ Π² Π½Π°Π±ΠΎΡ€Π΅ нСструктурированных состояний.

ΠšΠΎΠ½Π΅Ρ‡Π½Ρ‹Π΅ Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚Ρ‹ Π½Π΅ΠΏΡ€ΠΈΠ³ΠΎΠ΄Π½Ρ‹ для Ρ€Π΅ΠΏΡ€Π΅Π·Π΅Π½Ρ‚Π°Ρ†ΠΈΠΈ структуры Π±ΠΎΠ»ΡŒΡˆΠΈΠ½ΡΡ‚Π²Π° вычислСний, ΠΈΠΌΠ΅ΡŽΡ‰ΠΈΡ… практичСскоС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ состояния ΠΈ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ состояния ΠΊ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ Π² Π½ΠΈΡ… ΠΎΠ±Ρ‹Ρ‡Π½ΠΎ ΠΈΠΌΠ΅ΡŽΡ‚ ΡΠ»ΠΎΠΆΠ½ΡƒΡŽ Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½ΡŽΡŽ структуру. НикакоС описаниС КА Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚, ΠΊ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρƒ, ΠΏΠ΅Ρ€Π΅Π΄Π°Ρ‚ΡŒ всю структуру ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹ Π½Π° ПаскалС, ΠΌΠ°ΡˆΠΈΠ½Ρ‹ Π’ΡŒΡŽΡ€ΠΈΠ½Π³Π° ΠΈΠ»ΠΈ ΠΊΠ»Π΅Ρ‚ΠΎΡ‡Π½ΠΎΠ³ΠΎ Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚Π°. ПолСзнСй поэтому ΡΠΊΠΎΠ½Ρ†Π΅Π½Ρ‚Ρ€ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒΡΡ Π½Π° классС Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚ΠΎΠ² со структурированными Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½ΠΈΠΌΠΈ состояниями.

ΠšΠΎΠΌΠ±ΠΈΠ½Π°Ρ‚ΠΎΡ€Π½Ρ‹Π΅ Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚Ρ‹ (КоА) Π½ΠΈΡ‡Π΅ΠΌ Π½Π΅ ΠΎΡ‚Π»ΠΈΡ‡Π°ΡŽΡ‚ΡΡ ΠΎΡ‚ КА, Π·Π° ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ΠΌ Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎ ΠΈΡ… Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½ΠΈΠ΅ состояния структурированы. БостояниС ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ‚ΠΎΡ€Π½ΠΎΠ³ΠΎ Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚Π° прСдставляСт собой Π²Π΅ΠΊΡ‚ΠΎΡ€ [S1, S2,…,Sn]. Π­Ρ‚ΠΎΡ‚ Π²Π΅ΠΊΡ‚ΠΎΡ€ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹ΠΌ ΠΈΠ»ΠΈ бСсконСчным, Π½ΠΎ я ΡΠΎΡΡ€Π΅Π΄ΠΎΡ‚ΠΎΡ‡ΡƒΡΡŒ Π½Π° ΠΏΠ΅Ρ€Π²ΠΎΠΌ случаС. Π­Π»Π΅ΠΌΠ΅Π½Ρ‚Ρ‹ этого Π²Π΅ΠΊΡ‚ΠΎΡ€Π° ΠΌΠΎΠΆΠ½ΠΎ ΠΌΡ‹ΡΠ»ΠΈΡ‚ΡŒ Π² качСствС ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚ΠΎΠ² Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½Π΅Π³ΠΎ состояния; ΠΎΠ½ΠΈ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‚ ΠΊΠ»Π΅Ρ‚ΠΊΠ°ΠΌ ΠΊΠ»Π΅Ρ‚ΠΎΡ‡Π½ΠΎΠ³ΠΎ Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚Π° ΠΈΠ»ΠΈ ячСйкам Π»Π΅Π½Ρ‚Ρ‹ ΠΈ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ ΡƒΠΏΡ€Π°Π²Π»ΡΡŽΡ‰Π΅Π³ΠΎ устройства ΠΌΠ°ΡˆΠΈΠ½Ρ‹ Π’ΡŒΡŽΡ€ΠΈΠ½Π³Π°. ΠšΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт Si ΠΌΠΎΠΆΠ΅Ρ‚ ΠΈΠΌΠ΅Ρ‚ΡŒ ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠ΅ мноТСство Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ Sij, Π³Π΄Π΅ Sij β€” j-e Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠ΅ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ i-Π³ΠΎ элСмСнта. Π­Ρ‚ΠΈ значСния ΠΌΠΎΠΆΠ½ΠΎ Ρ‚Ρ€Π°ΠΊΡ‚ΠΎΠ²Π°Ρ‚ΡŒ Π² качСствС «подсостояний» ΠΎΠ±Ρ‰Π΅Π³ΠΎ состояния. Π”Π°Π½Π½Ρ‹Π΅ Π½Π° Π²Ρ…ΠΎΠ΄Π΅ ΠΈ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ ΠΈΠΌΠ΅ΡŽΡ‚ Π°Π½Π°Π»ΠΎΠ³ΠΈΡ‡Π½ΡƒΡŽ ΠΊΠΎΠΌΠΏΠ»Π΅ΠΊΡΠ½ΡƒΡŽ структуру: ΠΏΠ΅Ρ€Π²Ρ‹Π΅ ΡΠ²Π»ΡΡŽΡ‚ собой Π²Π΅ΠΊΡ‚ΠΎΡ€ [I1,…, Ik], Π²Ρ‚ΠΎΡ€Ρ‹Π΅ β€” Π²Π΅ΠΊΡ‚ΠΎΡ€ [О1,…, Оm].

КоА дСтСрминируСтся спСцифицированиСм Π½Π°Π±ΠΎΡ€Π° Π²Π΅ΠΊΡ‚ΠΎΡ€ΠΎΠ² Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½ΠΈΡ… состояний ΠΈ Π²Π΅ΠΊΡ‚ΠΎΡ€ΠΎΠ² Π΄Π°Π½Π½Ρ‹Ρ… Π½Π° Π²Ρ…ΠΎΠ΄Π΅ ΠΈ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ ΠΈ спСцифицированиСм Π½Π°Π±ΠΎΡ€Π° ΠΏΡ€Π°Π²ΠΈΠ» ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ состояния ΠΊ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ, ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‰ΠΈΡ… ΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ состояния КоА Π²ΠΎ Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ. Для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ элСмСнта Π²Π΅ΠΊΡ‚ΠΎΡ€Π° Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½Π΅Π³ΠΎ состояния ΠΏΡ€Π°Π²ΠΈΠ»ΠΎ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ состояния ΠΊ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ опрСдСляСт Ρ‚ΠΎ, ΠΊΠ°ΠΊ Π΅Π³ΠΎ Π½ΠΎΠ²ΠΎΠ΅ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ зависит ΠΎΡ‚ ΠΏΡ€Π΅ΠΆΠ½ΠΈΡ… Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ Π΄Π°Π½Π½Ρ‹Ρ… Π½Π° Π²Ρ…ΠΎΠ΄Π΅ ΠΈ Π²Π΅ΠΊΡ‚ΠΎΡ€ΠΎΠ² Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½Π΅Π³ΠΎ состояния. Для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ элСмСнта исходящСго Π²Π΅ΠΊΡ‚ΠΎΡ€Π° ΠΏΡ€Π°Π²ΠΈΠ»ΠΎ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ состояния ΠΊ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ опрСдСляСт Ρ‚ΠΎ, ΠΊΠ°ΠΊ Π΅Π³ΠΎ Π½ΠΎΠ²ΠΎΠ΅ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ зависит ΠΎΡ‚ ΠΏΡ€Π΅ΠΆΠ½ΠΈΡ… Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ Π²Π΅ΠΊΡ‚ΠΎΡ€Π° Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½Π΅Π³ΠΎ состояния. ΠšΠ°ΠΆΠ΄Ρ‹ΠΉ ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹ΠΉ КоА ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ прСдставлСн ΠΊΠ°ΠΊ КА с Ρ€Π°Π²Π½Ρ‹ΠΌΠΈ Π²Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹ΠΌΠΈ возмоТностями, Π½ΠΎ КА β€” описаниС приносило Π±Ρ‹ Π² ΠΆΠ΅Ρ€Ρ‚Π²Ρƒ Π±ΠΎΠ»ΡŒΡˆΠΈΠ½ΡΡ‚Π²ΠΎ структурных ΠΌΠΎΠΌΠ΅Π½Ρ‚ΠΎΠ², сущСствСнных для КоА. Π­Ρ‚Π° структура ΠΈΠΌΠ΅Π΅Ρ‚ ΠΊΠ»ΡŽΡ‡Π΅Π²ΠΎΠ΅ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ ΠΏΡ€ΠΈ использовании КоА для уяснСния Ρ‚ΠΎΠΉ ΠΎΡ€Π³Π°Π½ΠΈΠ·Π°Ρ†ΠΈΠΈ, которая Π»Π΅ΠΆΠΈΡ‚ Π² основС ΠΌΠ΅Π½Ρ‚Π°Π»ΡŒΠ½ΠΎΠ³ΠΎ.

Π’Π΅ΠΏΠ΅Ρ€ΡŒ ΠΌΡ‹ ΡƒΠΆΠ΅ ΠΌΠΎΠΆΠ΅ΠΌ Π΄Π°Ρ‚ΡŒ объяснСниС ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ. ВычислСния, Ρ‚Π°ΠΊΠΈΠ΅ ΠΊΠ°ΠΊ КоА β€” это абстрактныС ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Ρ‹, Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Π°Ρ структура ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… опрСдСляСтся ΠΈΡ… состояниями ΠΈ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡΠΌΠΈ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ состояния ΠΊ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ. ЀизичСскиС систСмы β€” это ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½Ρ‹Π΅ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Ρ‹, ΠΊΠ°ΡƒΠ·Π°Π»ΡŒΠ½Π°Ρ структура ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… опрСдСляСтся ΠΈΡ… Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½ΠΈΠΌΠΈ состояниями ΠΈ ΠΊΠ°ΡƒΠ·Π°Π»ΡŒΠ½Ρ‹ΠΌΠΈ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡΠΌΠΈ ΠΌΠ΅ΠΆΠ΄Ρƒ Π½ΠΈΠΌΠΈ. Π’ Π½Π΅Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎΠΌ ΠΏΠ»Π°Π½Π΅ ΠΌΡ‹ Π³ΠΎΠ²ΠΎΡ€ΠΈΠΌ, Ρ‡Ρ‚ΠΎ физичСская систСма ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΈΡ€ΡƒΠ΅Ρ‚ вычислСниС, Ссли ΠΊΠ°ΡƒΠ·Π°Π»ΡŒΠ½Π°Ρ структура этой систСмы ΠΎΡ‚Ρ€Π°ΠΆΠ°Π΅Ρ‚ Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΡƒΡŽ структуру вычислСния. Π’ΠΎ Π΅ΡΡ‚ΡŒ, систСма ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΈΡ€ΡƒΠ΅Ρ‚ вычислСниС, Ссли ΠΌΠΎΠΆΠ½ΠΎ ΡƒΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ Ρ‚Π°ΠΊΠΎΠ΅ соотвСтствиС ΠΌΠ΅ΠΆΠ΄Ρƒ состояниями этой систСмы ΠΈ Π²Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹ΠΌΠΈ состояниями, ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ ΠΊΠ°ΡƒΠ·Π°Π»ΡŒΠ½ΠΎ соотнСсСнныС физичСскиС состояния ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‚ Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎ соотнСсСнным Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΌ состояниям.

Π­Ρ‚Π° интуитивная идСя ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Π½Π°ΠΏΡ€ΡΠΌΡƒΡŽ использована для получСния прСдставлСния ΠΎΠ± ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ Π² случаС КоА. ЀизичСская систСма ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΈΡ€ΡƒΠ΅Ρ‚ КоА, Ссли ΠΌΠΎΠΆΠ½ΠΎ Ρ‚Π°ΠΊ Ρ€Π°Π·Π»ΠΎΠΆΠΈΡ‚ΡŒ Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½ΠΈΠ΅ состояния систСмы Π½Π° подсостояния, ΠΈ Π΄Π°Π½Π½Ρ‹Π΅ систСмы Π½Π° Π²Ρ…ΠΎΠ΄Π΅ ΠΈ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ β€” Π½Π° подсостояния этих Π΄Π°Π½Π½Ρ‹Ρ…, ΠΈ Ρ‚Π°ΠΊ соотнСсти подсостояния систСмы с подсостояниями КоА, Ρ‡Ρ‚ΠΎ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ ΠΊΠ°ΡƒΠ·Π°Π»ΡŒΠ½ΠΎΠ³ΠΎ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ состояния ΠΊ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ для физичСских состояний, Π΄Π°Π½Π½Ρ‹Ρ… Π½Π° Π²Ρ…ΠΎΠ΄Π΅ ΠΈ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ ΠΎΡ‚Ρ€Π°ΠΆΠ°ΡŽΡ‚ Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹Π΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ состояния ΠΊ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ для ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΡ… Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹Ρ… состояний, Π΄Π°Π½Π½Ρ‹Ρ… Π½Π° Π²Ρ…ΠΎΠ΄Π΅ ΠΈ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅.

Π€ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΉ ΠΊΡ€ΠΈΡ‚Π΅Ρ€ΠΈΠΉ ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ КоА выглядит Ρ‚Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ:

ЀизичСская систСма Π  ΠΈΠΌΠΏΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΈΡ€ΡƒΠ΅Ρ‚ КоА М, Ссли ΠΌΠΎΠΆΠ½ΠΎ Ρ€Π°Π·Π»ΠΎΠΆΠΈΡ‚ΡŒ Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½ΠΈΠ΅ состояния Π  Π½Π° ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Ρ‹ [s1,…, sn] ΠΈ ΡƒΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ соотвСтствиС f ΠΌΠ΅ΠΆΠ΄Ρƒ подсостояниями sj ΠΈ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠΌΠΈ подсостояниями Sj Π² М, Π° Ρ‚Π°ΠΊΠΆΠ΅ произвСсти ΡΡ…ΠΎΠ΄Π½ΡƒΡŽ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡŽ разлоТСния ΠΈ установлСния соотвСтствия для Π΄Π°Π½Π½Ρ‹Ρ… Π½Π° Π²Ρ…ΠΎΠ΄Π΅ ΠΈ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅, Ρ‚Π°ΠΊ, Ρ‡Ρ‚ΠΎ для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΏΡ€Π°Π²ΠΈΠ»Π° ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ ΠΊ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ