แญแ
แฝแแ แตแญแแ แแแข
แซแ แณแจแ
แจแแฅแฎแซแต แ แแ แฅแแฐแแ แจแดแแแฉ แตแญแแ แญแแแซแแข แ แแแ แฅ แญแฐแฐแฑ!
แแแ แ แญแแต แตแซ แขแฐแฉ แแ แแ แถแตแต แฐแจแแแฝแ แแแ แซแตแแแแแณแแก-
- แแ แแฅ แแญ แแแตแจแต แฅแแฐแแแแ แญแแตแ;
- แแฅแแ แฅแแดแต แฅแแฐแแซแณแฉ แญแแตแ;
- แแฐ แแฅแ แญแแก.
แญแ แ แแฎแแซแ แ แแฃแฅ แแญแ แญแ แซแแข แฎแต แตแแฝแ แจแแจแฐแแตแ แแตแจแ แ แแฅแแก-
- แแฎแแซแ แแ แแตแจแ แฅแแณแแ แต แแแฐแ;
- แฐแแฃแฉแ แฅแแดแต แแจแแแ แฅแแณแแ แต แแแฐแ;
- แฐแแณแ แฎแต แญแแ.
แจแแจแจแปแ แฐแจแ, แ แฅแญแแฅ, แ แฃแ แ แตแแแ แแ, แแ แแฌ แตแแฑ แ แแแแญแ. แญแแแแต แจแแแแชแซแแนแ แแแฑแ แฅแแแแแซแแ. แฅแซแแณแแฑ แแฎแแซแ แ แแช แแฐ แฅแซ แจแแแแฉ แ แแต แซแจแแแแธแแ. แ แณแฝ แแญแ แณแณแคแ แฅแจแปแแญ แฅแแฐแแ แฅแตแซแแแฐแแญ แตแจแต แแแปแ แ แตแแแฅแแข แตแ แแก แจแฐแแฐแ แแณแฅ แแแญ แ แแ แตแข แฅแ แ แฅแญแแ แแแต แแฎแแซแ แ แตแญแญแ แแ แฅแแฐแแฐแซ แซแตแฃแ แฃ แฅแ แฎแฑ แ แแ แแแแต แแฐ แ แณแฝ แฅแแฐแแแจแญ แฐแตแ แ แแตแจแ แ แแ แแแแต แ แญแปแแข
แญแ แฎแต แ แตแแตแ แแฐแฅ แฅแแดแต แ แตแญแญแ แญแจแฐแณแ? แ แแ แจแแต แแ แซแ แ แฅแจแต แแตแจแ แ แแฅแ? แแแ แฅแ แ แแแแณแ แฝแแญ แแญ แจแฐแแซ แแแข แตแ แฐแตแ แจแแแแ แจแฐแจแแแ แตแญแแต แแแ แฅแแแแแแ แฅแแ แแข แ แแ แแแณ, แฎแต แแแปแ แจแแแแก แ แแต แแแฎแฝแ แ แฅแแแ แแฐแฅ แ แแฅแ. แจแขแแฒแแญ แฐแแแแญแ แ 1 แแแจแแญ แฅแป แฅแแแแแต? แ แ แตแ-แฅแญแณ, แฅแแ แแแ แแแญ แแแ แแ, แฅแ แแแ แแณแฅ แ แซแตแแแแ, แแแญ แแ แจแแซ แ แแ แจแแ แ แ แแญ แแจแแญ แแจแฐแต แฅแแฐแแฝแ แฅแแตแณแแณแแ. แตแแแ , แ แแต แฝแแญ แแแ แแญแ แแตแฅแตแฅ แแแแ แแแจแณแต แฅแแณแ, แ แแแแชแซ แแฐแฅ แ แแฅแแต.
แแฝแแฉ แแแตแแแฝ แ แตแแตแแ แซแฐแก, แตแ แฐแถแฝแ แแตแแแต แญแฝแแ. แญแ แแ แ แตแฐแณแฐแฅแ แแแฝ แฅแแฒแแ แญแ แญแแแข แญแ แแ แแแแแต, แแณแฅแแ แแปแ แซแตแแแแแณแ. แจแฒแญ แแแฐแแ แฅแ แต แ แฃแ แแตแแแแแก โ แตแตแฝแ แฐแแฅแฎ แแ แซแ แ แ แตแฐแณแฐแฅแ แฐแซแ แฅแแฐแแ แซแณแซแแข แซแแปแแญแฃ แฅแซแฐแฅแญ แฅแแฐแแ แฅแป แแ แจแแณแตแ แแข แฅแ แแณแฆแฝแแ แ แแแแซแแฝ แแแญ แแปแ แซแตแแแแแณแ.
แแญแแฎแฝ แฅแ แฐแแฃแซแตแ แซแจแแแแ, แ แฐแแญแ แ แตแแแ แแฎแแญแถแฝ แแตแฅ. แแ แตแ แ แแฑ แฅแป แฅแแแซแแ: แ แแแฝ แฅแแตแแตแฅ แญแจแฑแแ. แ แแแฝ แแฐแฅ แ แฃแ แ แตแแแ แฅแ แ แฃแ แจแฃแต แแ, แตแแแ แฅแแ แแแแแแ แฅแญแณแณ แฅแแแแแแ. แแญแแญ แแแแซแแฝแ แ แจแตแแ แแแ แแปแ แ แแฅแ? แ แ แ แแแญ แญแ แแแแ แแแฎแแซแ แ แแชแแฝ แจแแแแชแซแ แฅแซแ แแ-แ แแ แแแ แฅแแฝแแแ. แแฅแฑ แแแ แตแญแญแแ แแแต แจแแ: แฅแจแแณแแธแ แซแ แฝแแฎแฝ แ แฃแ แจแฐแแซแฉ แแธแ. แแ แแณแแถแฝแฃ TLA+ แซแแแแแต แจแตแแฒแแฌแฝแ แแแ แแแข แแแแฝ, แปแญแแ แแ แแ แจแ แแ แ แแบ แแ. แแแ แแแญ แฅแแฐ แแแณแ โโแญแแฐแแ.
แ แฃแ แ แตแแแแ แแ แฅแซแ แแ-แจแ แซ แ แตแฐแณแฐแฅแ แฅแแดแต แแแแต แญแปแแ? แแแตแก- แฅแแฐ แณแญแแฒแตแถแฝ แแฐแฅ แ แแฅแแข แญแ แฃแแแต 500 แแแณแต แแตแฅ แฅแซแฑแ แซแจแแแ แจแ แตแฐแณแฐแฅ แแแแต แแแข แ แณแญแแต แแตแฅแฃ แจแฅแแแณแแ แจแแณแฅ แแดแแฝ แฅแแแแฃแแแข แ แตแตแฎแแ แแแแฃแต แ แแ แฅแฅแ แตแญแแ แจแแแแชแซแ แณแญแแต แแแข แ แฅแ แแแญ แฅแแต แแตแฅ แฅแ แ แแญ แ แแแแ แจแแณแฅ แแดแ แแตแฅ แจแฐแแญ แ แซแแต แ แ แแ แฃ แ แ แแแแฅ แฅแ แ แแฅแแต แฅแแฐ แแฅแฆแฝ แญแณแซแ แฃ แแแ แฅแแณแ แ แฅแแแฑ แฅแแฑ แ แฐแซแฎแฝ แฅแ แแ แซแแถแฝ แฃ แแแ แ แฅแ แแแ แ แแตแฅ แฅแ แ แ แฃแ แแตแฅแตแฅ แแแฎแฝ แแธแแข แญแ แแดแ, แแญ แฅแแฐแแแ, แจแฐแแฐแ แฝแแฎแฝแ แแแแณแต แจแฐแแ แจ แแ. แแแแต แแแแแต แจแแแ แดแแตแฎแแ แจแต แฅแแฐแแ แแ แแแแฐแ แ แฃแ แฅแฉ แแ. แแแญ แแ แ แแ แแแแต แแญ แซแแแ แจแ แจแญ แแแณ แแแฐแแ แญ แจแแแ, แญแ แแดแ แ แญแฐแซแ.
แจแแณแฅ แตแแ แญแต แจแ แแณแซแ แฃแ แชแซแตแ แแแแฐแ แซแตแฝแแแ. แฅแ แณแญแแต แฅแแแ แแฅแจแถแฝ แจแฅแแแณแ แแญ แฅแแดแต แฅแแฐแแแแฑ แซแณแซแ. แตแ แณแญแแตแฃ แตแ แฎแแแแฐแญ แณแญแแต แฅแแแแแญแข แจแแแฐแซแ แต แฅแแแณ แจแฐแแซแฉ แ แญแแต แจแฎแแแฉแฐแญ แตแญแแถแฝแ แแแก แแฎแฐแฐแญแฃ แแ แฎแแถแแฝแฃ แฎแแแแฐแฎแฝแฃ แแปแ แแฎแแซแแฝ แฅแ แจแแณแฐแแตแข แ แฎแแแฉแฐแญ แแญ แตแ แ แแต แแฎแแซแ แตแแแตแฌแต แฅแแแซแแ, แแแญ แแ แ แ แ แแแญ แฅแแแ แแ แแฐแแฐแแซแแฝ แแแแแแ แจแฎแแแฉแฐแญ แฒแตแฐแ แญแ แซแ. แ แฅแ แณแญแแต แแตแฅ แฅแ แจแฐแแซแฉ แแดแแฝแ แฅแแ แแแแ-แฑแชแแ แแฝแ แฃ แ แจแแ แจแณแแ แจแญแตแฐแถแฝ แตแฅแตแฆแฝ แฅแ แแแฝ แฅแแข
แแฎแแซแ แแแตแ แแ? แญแ แ แแ แแณแฐแฅ แจแแฝแ แแแแแ แฎแต แแแข แ แณแฝ แแปแ แซแตแแแแแ แฅแแ แ. แถแตแต แฐแแฃแซแตแ แฅแแจแแแแแ-แจแฐแ แแแแ แจแแฎแแซแ แฅแญแณ แฅแแแญแปแแ, แจแแซแ แจแแฎแแซแแ แจแแฐแ แฐแจแ แแตแ แฅแแฝแแแ แฅแ แ แแจแจแปแ แฎแฑแ แฅแแฝแแแ. แฎแฑแ แ แแแฝแแ แต แแ, แจแฝแแ แ แญแธแต แแแ แฅแแณแแฅแ แฅแแแแแฃแแ. แฅแแ แฅแแฐแแ แถแตแต แฝแแฎแฝแ แแแณแต แ แแฅแ: แญแ แแณแชแซ แแ แแญแแต แฝแแ แฅแแฐแแแแต แญแแตแ; แแแ แจแฝ แตแแฐ แแแญ แญแแจแก; แฎแต แปแ. แญแ แฐแแฃแญ แจแซแฑ แจแแ แแแต แฐแแฃแญ แ แแแก แฐแจแแ แ แแแต แแตแฅ แ แตแญแญแ แ แตแแฃแข แญแ แแ แแกแต แฐแแฃแญ แ แฆแตแต แฅแญแจแแฝ แฅแแแณแแแ - แฅแแฐแแณแฉแต แฅแแฑ แ แฅแ แฐแจแแแฝ แญแฐแแแแแข
แจแแแแชแซแแ แฐแจแ แ แ แแ แแญแแญ แฅแแแแจแต-แแฎแแซแ แแ แฝแแญ แฅแแฐแแแณ. แฅแแ แฃ แฅแ แฅแแแ แแ แ แแตแ แแฎแแซแ แ แแณแแต แแฅแแต แจแแแตแต แฅแ แจแฐแแฐแ แแคแต แจแแซแแฃ แฐแแฃแญ แ แตแญแแ แฅแแแญแปแแแข แ แแณแฅ แแตแฅ แ แแต แฐแแฃแญ แฅแแแ แแ แฅแแฐ แจแณแแ แฅแแต แตแฅแตแฅ แญแแแปแแข แแแณแแฃ แแฐแแฅแฎ แแฅแฎแฝ แจแตแฉแแแ แฐแแฃแญ แฅแแฐ แตแฅแตแฅ {<0,0>, <1,1>, <2,4>, <3,9>, โฆ} แฐแแแฟแ. แจแฅแแฐแแ แ แญแแต แฐแแฃแญ แแซ แจแฅแซแแณแแฑ แฅแแต แจแแแแชแซ แ แซแแต แตแฅแตแฅ แแ, แแแตแ แจแฐแแฅแฎ แแฅแฎแฝ. แ แแตแ แฐแแฃแญ แแแแฐแ แแฐแ แฅแ แแแฉแ แแแแ แ แแฅแแข
แแแญ แแ แ แแณแฅ แแตแฅ แซแ แฐแแฃแซแต แ แแฎแแซแแแ แแแแแฝ แแตแฅ แซแ แฐแแฃแซแต แแญ แ แแต แ แญแแต แ แญแฐแแแข แแณแก แ แฃแ แแแ แแแข แแฐแแณแฐแก แแณแแแฝ แแ แตแแแแแฃ แแแ แจแแแแ แฅแแแแจแตแก แ C แแตแฅ แซแ แฐแแฃแญ แแญแ แ แแซ แแตแฅ แจแแแต แขแแฒแแญ แตแแแ แจแแซ แ แซแแญ แจแแแแต แจแแญแแแณแแต แแดแข แ แแ
แแด แแญแแญ แแตแฅ, แฅแแฝแแแ: แซแฐแแ GCD(M,N)
แแญแญแญแญ M
ะธ N
แจแต GCD(M,N)
- แแซแ แจแขแแฒแแญ แฅแแถแฝ แตแฅแตแฅ แจแแ แฐแแฃแญแฃ แฅแ แจแแแแป แฅแดแฑ แจแแจแแแแ แตแแ แขแแฒแแญ แแแข M
ะธ N
. แญแ
แแดแ แจแฅแแแณแ แแญ แฅแแดแต แญแแแณแ? แแดแ แขแแฒแแญ แแญ แญแฐแซแแฃ แ แฒ แแญแ แ แแซ 32-แขแต แ แแแข int
. แญแ
แแดแ แ แแแชแแ แตแญแญแ แแแแ แแแแฐแ แซแตแฝแแแ GCD
แแแญ แแ แจแตแญแ แแ แ แตแ
แฐแถแฝแ แ แญแจแแจแแแข แญแ
แจแ แแ แแตแฅแตแฅ แแดแ แซแตแแแแแ, แแแ
แ แแแ แแ แจแแ.
แฅแแฐ แแดแ แตแ แ แแต แฐแแฃแญ แแตแแแต แฅแแแแแญ. แ แแณแแต แแฎแแซแแฝ (แฅแแฐ แฆแแฌแฒแแ แฒแตแฐแแฝ แซแ) แแฐแแฐแ แแคแถแฝ แจแฐแแฐแ แฅแดแต แฅแป แ แญแแแฑแแฃ แซแแแแจแฅ แแแฑ แญแฝแแแข แ แฐแจแแชแ, แฅแแฐ แแดแ แซแแ แฐแแฃแญ แแแแฐแแ แฐแจแ แฐแตแแ แ แญแฐแแ: แฝแแฉแ แฅแแดแต แฅแแฐแแแณ แแแต. แแฃแ แแฐแญแฐแญ แฅแ แจแ แจแ แแฐแญแฐแญ แ แแต แ แญแแต แฐแแฃแญ แซแฐแแแฃ แแ แแ แแแ แจแฐแแซแฉ แตแแฐ แแแฎแฝ แแธแแข แตแแแ , แจแแฎแแซแ แแฅ แฅแแดแต แฅแแฐแแณแซ แแแแแฝ, แจแฐแแจ แแดแ แฅแ แแแแ, แฐแจแแแ แจแ แ แ แจแฃแ แญแญ แแดแ แฅแแ แแ. แ แแตแก แซแแ แแฎแแซแ แฅแแฐ แแแ แจแฐแแแฑ แฃแ แชแซแต แตแฅแตแฅ แแ แจแแแจแแ, แฅแซแแณแแฑแ แ แฐแซแ, แจแแแถแฝ แ แฐแ แฐแจแฐแ แแ, แฅแ แแแฑ แแฐแแแแฎแฝ แฅแดแถแฝแ แแตแ แต แแ.
แจ Euclid แตแแฐ แแแญ แแแฐแ แฐแจแ แแ แฅแแฐแแแตแ แฅแแญแข แแตแแต แ แแฅแ GCD(M, N)
. แฅแแตแแแซแแ M
แฅแแดแต x
แ N
แฅแแดแต y
, แจแแซแ แ แฐแฐแแแ แจแฅแแแ
แ แฐแแแแฎแฝ แตแแนแ แจแตแแ
แฅแตแจ แฅแฉแ แตแจแต แญแแแฑ. แแแณแ, แจแแ M = 12
แ N = 18
, แจแแจแฐแแแ แฃแ
แช แแแแฝ แฅแแฝแแแ:
[x = 12, y = 18] โ [x = 12, y = 6] โ [x = 6, y = 6]
แฅแ M = 0
ะธ N = 0
? แแฎ แ แแแ แแฅแฎแฝ แจแฐแจแแแ แแ, แตแแแ
แ แแ
แแณแญ แแญ แแแ แณแแ
แ แซแแญ แจแแ. แ แแ
แแแณ แแฐ แแแแชแซแ แฐแจแ แฐแแแฐแ แแ แจแ
แ แแฅแแก-แ แแแณแ แซแแแ แแฅแฎแฝ GCD แ แตแญแญแ แแตแแต แ แแฅแ? แญแ
แ แตแแแ แซแแแ, แแแแซแแ แแแจแญ แฅแป แซแตแแแแแณแ.
แฅแแ แตแ แแญแณแแแต แตแแฝ แแแป แแตแจแ แ แแฅแ. แฅแแแ แแ แจแแแซแ แ แแ แ แฐแแ แจแฎแต แแตแแฎแฝ แฅแแต แแแข แแแญ แแ แจแฐแแฐแ แจแแตแแฎแฝ แฅแแต แซแตแแแฑ แตแซแ แจแ แแ แ แแ แแ, แแญแแซแฑแ แแฅแแ แ แฆแณ แตแแฝ แแ. แฅแ แฎแฑแ แแแตแแแต แแแ แแแแต แ แแแแชแซ แฐแจแ แแญ แแ. แฅแญแตแ แแแฐแแ แญ แจแแแญแฉแตแ แแแแ แฐแแแฝ แฅแ แฉแธแถแฝ แณแซแตแแแแ แแ แ แแ แแแ แญแฝแแแข แแฎแแซแแ แแแ แแ แฅแ แแ แแแแ แฅ แแฃแ แแแแต แแฐแจแ แจแแแฃแธแแ แแแฎแฝ แ แแแตแจแ แแแข แแแฐแแ แฅแญแแ แแแฐแแ แ แฃแ แแ แแฃแข แ แ แ แแแข แแญแณแแแตแ แจแฐแแ แแตแแฎแฝ แ แแแญ แจแแซแ แ แแตแ แฐแแฃแญ แฅแแดแต แแจแแแ แฅแแฐแแตแฝแ แแฐแฅแ แซแฐแญแแแ แ แแตแฐแ แแญแณแแแต, แแญแแซแฑแ แ แตแแฝ แฎแต แฐแแณแณแญ แฝแแญ แแแณแต แญแฝแแ. แฅแแ แตแญแญแแ แตแณแฒแตแฒแญแตแ แแตแ แต แ แแฝแแ, แแญแแซแฑแ แ แแแแซแ แแญ แแแ แ แแณแแ, แแแตแ แ แแแแชแซ แฅแ แ แแแฐแแ แฐแจแแแฝ แแญ, แซแแปแแฉแตแ แจแแตแแฎแฝ แฅแแต แแแแ แญ แแแ แแแแต แจแแแ. แฅแ แแจแซแ แฅแแ แ แแแแ แ แญแฝแแ, แแญแแซแฑแ แ แแจแซแ แแตแฅ แจแแแแชแซแแ แฐแจแ แจแแ แแแ แแฅแต แจแแแ, แฐแแฃแฉ แ แตแแตแ แฐแแตแแ.
แแฐแ แ แฃแแแ แแญแแฎแฝ แแตแฅ แฅแ แฝแแฎแฝแ แฝแ แแแต แแแ แแแข แแฐแแฃแฎแฝ แฅแฅแ แแญแแฎแฝแ แแแปแ แแแ แ แตแธแแช แแแญ แจแแ, แตแแแ แแณแญ แ แแแแญแ. แ แแตแฉแฃ แแแฐแ แ แฃแ แชแซแต แ แแซแซ แแแแซแแฝแ แตแแแปแ แฅแแแแแซแแแข แจแฐแ แแแต แแฅแจแฑแ แ แแ แแ แจแตแแแแ แจแฃแ แช แตแฅแตแฅ แแแแฝ แฅแแฐแแฝแ แจแแแแฝ แฒแแฌแ แ แแข (แฐแ แแแต) แฅแ แจแแณแ แฃแ แชแซแต (แแซแแแต). แฐแ แแแต แแแต แแแ แแฅแ แแแญ แ แญแจแฐแตแ, แแฎแแซแ แจแฐแณแณแฐ แแแต แ แญแฐแฅแ. แแตแจแ แแแต แญแแ แญแฐแญ แฅแแ แ แแต แฅแฉ แแแญ แญแจแฐแณแ แแแตแ แแฎแแซแ แแฅแแ แแ แแแญแถ แตแญแญแแแแ แแแต แญแฐแฃแ. แฅแแฐ แฐแแก, แฐแ แแแต แจแ แแ แ แตแแแ แ แแแซแฝ แแ, แตแ แฐแถแฝ แฅแแแ แแ แฅแแ แญแจแฐแณแ. แตแแแ , แแแ แแแแ แฅ, แตแ แแตแจแ แ แแแแญแ, แแแ แฅแแณแ แ แฅแญแแฅ แ แตแแแ แขแแแ.
แ แแแแชแซ แฐแจแ แแแ แจแแฝแ แจแแแแชแซ แแแถแฝแ แ แแแ แฐแ
แแแตแ แฅแแณแซแแแข แแแฐแแฃ แแฅแซแแณแแฑ แแแต แจแแแกแต แแแ แแแถแฝ แแญ แซแ แแแแแถแฝแข แฅแแฐ แณแญแแฒแตแถแฝ แฅแแตแซ แฅแ แแแถแฝแ แ แแณแฅ แฅแแแแแแแข แจแแแป แแแถแฝ แตแฅแตแฅ แ แแแญ แญแแแปแ แฃ แแแณแ แฃ แ แฉแญแแต แ แแแชแแ แแแณ แแตแฅ- (x = M) โง (y = N)
. แแฐแแฐแ แฅแดแถแฝ M
ะธ N
แ แแต แจแแแแชแซ แแแณ แฅแป แ แ. แจแแฃแฉ แแแต แแญ แซแแ แแแแแต แจแแฃแฉ แแแต แฐแแแแฎแฝ แจแแ แแญ แ แฐแแแ แต แแแญ แญแแแปแ, แฅแ แจแ แแ แแแณ แฐแแแแฎแฝ แซแ แแซแญแ แจแฐแแ แแธแ. แจแฉแญแแต แ แแแชแแแ แ แฐแแแจแฐ แจแแแฑแ แแแฎแฝ แแฃแแ แฅแแตแฐแแแณแแ แฃ แจแฅแแแ
แ แแตแฅ แ แ แแฑ x
แตแแ แแ แแ, แฅแ แ แแแฐแแ แแตแฅ - y
:
แ แแแแชแซแ แแแณ แ แฒแฑ แจy แฅแดแต แจแแตแแ แจy แฅแดแต แแญ แฅแฉแ แแ, แฅแ แตแแนแ แฐแแแแญ แจแตแแ แฐแแแแญ แ แแแแต แ แฒแฑแ แจ x แฅแดแต แฅแแแแแ. แ แแแฐแแ แแณแญ แฐแแซแแแ แฅแแฐแญแแแ.
แแฐ แฉแญแแต แตแแฐ แแแญ แฅแแแแตแข แฅแแฐ แแ แฅแแตแฅ M = 12
, N = 18
. แญแ
แแ แ แจแแแแชแซ แแแณแ แญแแแปแ แฃ (x = 12) โง (y = 18)
. แจแแซ แฅแแแซแ แฅแดแถแฝ แจแแญ แฃแแ แแแญ แแตแฅ แฅแแฐแซแธแแแ แฅแ แฅแแแแแแก-
แฅแธแแ แแแตแ แญแธแแแก- x' = 18 - 12 โง y' = 12
แฅแ แฃแ
แชแแ แฅแแแแแ- [x = 12, y = 18]
. แ แฐแแณแณแญแฃ แ แฃแ
แชแซแฝแ แซแแตแ แแแแ แแแถแฝ แแแแ
แฅแแฝแแแแก- [x = 12, y = 18] โ [x = 12, y = 6] โ [x = 6, y = 6]
.
แ แแจแจแปแ แแแต [x = 6, y = 6]
แแแฑแ แจแแแปแ แญแแแฝ แแฐแต แตแแแแ แแฃแญ แแแณ แจแแแแข แตแแแ
แฃ แจแแแฐแแ แฐแจแ แแ แแญแแญ แ แแ - แฅแญแตแ แฅแแฐแแแแจแฑแต แฃ แญแ
แฅแแฐ แแแแฒแถแฝ แฅแ แณแญแแฒแตแถแฝ แ แฃแ แฐแซ แแณแฅ แแ แฃ แฅแ แฅแแฐ แฎแแแฉแฐแญ แณแญแแต แฅแแแณ แ แญแฐแแแข
แฅแแแ แแแต แแแฎแฝ แแฐ แ แแต แจแแแซแ แ แแญแแฎ แแแญ แแฃแแฉ แญแฝแแแข แฅแท แแแ แฅแ แแแฅแซแซแต แแแ แแฝ แฃ แแ แ แแ แแฅแท แแแ แแ แจแแแข แแแฎ แแฅแจแต แฅแป แแแซแ แ แแญแแฎ แแซแตแแแแ แญแฝแแแฃ แแฐแ แแแต แฒแฃแ แ แซแตแแแแแข แแแซแ แ แแญแแฎ แ แแแตแ แฃ แฅแฑ แ แฃแ แฐแซ แแณแฅ แ แญแฐแแ แฃ แแ แ แ แแแญ แแแณ แ แตแแแ แญแแต แแแข
แ แฉแญแแต แตแแฐ แแแญ แแฅแซแแณแแฑ แฅแดแต x
ะธ y
แแฉ แฅแดแถแฝ แ แแธแ x'
ะธ y'
, แญแ
แ แจแแแฅแแ แแแต แแญ แซแแแ แแแแแต แฅแแแต แซแฐแญแแแ. แ แแ แ แแแแญ แจแฉแญแแต แ แแแชแแ แแซแฅ แแแข แจแแญแแตแ แ แแแชแแแ แแแ
แจแฝแฃ แ แแ แซแแ แแแณ แฅแ แแแ แจแแฝแ แจแแฐแแต แแแถแฝ แแแฉแต แญแแฃแแฃ แฅแ แฅแซแแณแแฑ แซแแฐแจแแแ แฐแแแแญ แฅแดแต แฅแ แแ แฐแแแแญ แฅแดแถแฝ แ แแต แฃ แแแณแ แจแแแฅแแ แแแต แแญ แซแแ แแแแแต แฅแแแต แแแข แญแ
แ แแตแจแ แแแ แแแฃ แแ แ แแ แแณแแแฝแ แ แแฐแฅแแข
แจแแฐแซ แแณแชแซ แแแตแซแต แแฐแ แ แแณแฅ แซแตแแแแแณแแข แแแแซแแ แฅแแดแต แแฐแ แ แแตแจแ แญแปแแ? แญแ
แแ แแแตแจแ, แแฐแ แ แแแ แซแตแแแแแ, แแแณแ,
แจแถแตแต แแแแ แแแญแต แซแแ แจแฅแฉแ แแแญแต แแแญแต แแแต แ แตแฐแแซ แซแแ แแ แจแแแญแฑ แ แตแฐแแ แซแแ แฅแดแต แแญ แฅแฉแ แแ แแแต แแ. แ แแ แจแฑ, แแญแแญ แแแแซแ แแบ แแ, แ แฅแ แแแณ แแแต แตแญแแแแฝ. แ TLA+ แแตแฅ แแแ แแญแแญ แแแแซแฃ แแญ แจแแญ แฃแแ แตแแญแต แแญ แแแแซแแฝแ แฅแ แ แแณแแต แ แแฃแฆแฝแ แแจแ แซแตแแแแแณแแข แ ASCII แแตแฅ แญแ แญแแตแแ
แฅแแฐแแแแจแฑแต, แแแ แจแฐแแณแฐแ แแแญ แจแแ. แจTLA+ แแแแซแ แแแจแญ แญแฝแแแฃ แแแตแ แ แตแแฝ แแดแ แแแแ แแแ แจแแฝแ แฃแ
แชแแฝแ แแแแข แ แฅแ แแแณ, แญแ
แแดแ แจแฐแแฐแ แฅแดแถแฝ แญแแแ M
ะธ N
. แญแ
แแ แ แแ แ แแถแแฒแญ แจแแ แ แฃแ แแแฃแ แฅแ แแแ แจแแจแแแซ แแด แแแข แแฐแ แ แจแฅแแแต แแจแแแซแแฝแ แแแ แฅแ แ แแซแแซแ แแแฐแฝแ แญแปแแ แแแญแแ แญแ
แฅแ แแ แจแแแตแต แ แแแ แแแ แญแ
แ แจแแซแฐแญแแ แจแแ แแแต แญแปแแแข
แจแฒแคแแค+ แแแ แแณแฑ แแณแฅ แแแ แแแฃ แฅแ แแฎแแซแแฎแฝ แฅแ แจแฎแแแแฐแญ แณแญแแฒแตแถแฝ แแณแฅแ แญแแซแแข แ แแแแชแซ แฒแณแญ, แญแ
แฅแแฐ แแแต แญแแตแแ, แแ แ แแซแณแแ แแแณ, แ แแ แแแญ แแแด แแ. แจแฅแซ แฃแแฐแจแฃแฌ TLA+แ แแฅแ แแแขแแฝ แแแตแจแณแต แฅแแดแต แฅแแฐแแจแจ แฅแจแแแจแ แแ แญแข แแแฎแน แ แตแญแชแ แแญ แฅแแฐแณแฉ แแฒแซแแ แจแฅแญแญแ แแญแแฝ แแแข แตแแแ
TLA+ แซแตแแซแแต แแ แแ แญแฝแแแข
แแแแฃแต แ แแต แฐแ TLA + แฅแ PlusCal แแณแฅ แแธแ แฅแแ แญแแแแแฃ แฅแ แแณแฅ แฐแแ แ แฐแแ แฉ แแณแแแฝ แแญ แฅแป แญแฐแซแแข แ แฐแแฃแญ, แจแแญแแถแฝ, แแฐแถแฝ, แฅแแแฝ, แแแฐ แแญ แฅแแแฐแ แแแ แซแตแแแแแณแ. แญแ แตแ แฐแต แแแข แ แ แแแ แแตแฅ แญแ แซ แจแแ แจแ แญแชแต แแแฎแแฅ แจแปแแ แฅแแแก- โTLA+แ แ แ แฅแญ แแ แแ แแฎแแญแถแฝ แแญ แฐแ แ แแแแฃแ แฅแซแแณแแฑ แแแณ แแ แแแฝแ แแแแต แตแแ แแแฅ แ แแฅแทแ แแญแแซแฑแ แแญแฑแ แจแแแณแณแฝแ แ แแต แ แฐแแ แณแแซแแฝแ แแแซแ แตแแปแแ แฅแ แฅแแตแแฝแ แจแแซแตแแแแแ แแแแค แฅแ แฅแแแต แตแแฐแ แ แแแข แจแแฎแแซแแ แฅแแแต แณแญแแฉ แแญแแ แจแ แแแแ แแปแปแซแแฝแ แซแตแญแ". แฅแแแ แแ แแฐแ แ แแดแแฝแ แตแแ แแ แแคแณแ แซแแแ แฎแต แฅแแแแแ - แ แฐแแฃแญ แแแ แแแญ แ แตแญแญแ แฐแแซแ แแ. แ แฐแจแแชแ, แจแแฎแแซแ แ แแแแฝ แ แแแแณแธแแ แขแซแแแ, แ แตแฐแณแณแชแแฝ แจแแฐแ แ แแดแแฝแ แ แตแแแแแต แแณแแ แฅแแฐแแญแฝแ แ แตแฐแซแจแต แ แ. แฅแ แแแฎแแฅ แฅแแฒแ แฒแ แฝแแ: "แ แตแฐแณแณแชแแฝ แ แแ แTLA + แแญแแญ แแแแซแแฝแ แแแแ แฅแ แ แฐแแญแ แแแ แแ แแแแฐแฅ แ แฃแ แฅแจแฃแฉ แแ". แตแแแ แ แตแฐแณแณแชแแฝ TLA+ แฅแจแฐแซ แแแแ แฒแซแฉแฃ แ แฐแตแณ แญแแ แแแข แญแชแต แแแฎแแฅ แญแ แแ แจแปแแ แจแตแตแตแต แแญ แ แแต (แฅแ แแต 2014) แฒแแ แ แแ แแ แฅแ แฅแตแจแแแแ แตแจแต TLA+ แ 14 แแฎแแญแถแฝ แแตแฅ แฅแ แ แแญ แญแแแ แฅแแ 10 แ แญแฐแแ. แแแ แแณแ แจ XBox 360 แแตแ แแญ แจแฐแซแซแ แแ. แ แแต แฐแแแแ แแฐ แปแญแแต แณแจแญ แแฃ แฅแ แจแแ แฐแจ แตแแตแณ แตแญแแต แแญแแญ แแแแซ แฝแแ. แแแ แแแป แแตแแ แญแแฃแแแฃ แซแแ แแแซ แณแญแตแฐแแ แจแแญแแญ แตแ แฐแต แฐแแแฃ แฅแ แ แแ แแญแแซแต แฅแซแแณแแฑ XBox 360 แจแ แซแต แฐแ แณแต แ แ แแแ แ แแ แญแแตแแแข แจIBM แแแแฒแถแฝ แแจแซแธแ แญแ แแ แตแ แฐแต แฅแแณแแแแต แ แจแแแ แแแข
แ แ แญแแแจแฅ แแญ แตแ TLA + แจแ แแ แแแ แฅ แญแฝแแ แฃ แแ แ แแ แตแ แแฐแ แ แซแแแ แแญแแฎแฝ แฅแแแแแญ แข แ แแตแฐแแแ แจแแซ แ แซแแญ แฅแ แจแแณแฐแแตแ แจแแซแฐแ แแฎแแซแแฝแ แแแ แฅแแ แ แญแ แ แ แฅแแแข แฅแ แแ แ TLA+ แจแปแแฉแตแ แแแ-แแฐแแซ แแณแชแซ แจแแณแฐแ แแฎแแซแแฝแ แฅแแฝแแแแข แ แฃแ แแแ แจแแแ แแฐแต แ แแ แจTLA + แฎแต แญแ แ แญแแตแแแข
แแแญ แแ แจแแญ แฃแแ แแณแแฃ แฐแ แแแ แแแแฃแต แฅแแจแฑ แฅแ แฅแฉแ แแแญแถแฝ แฅแแฒแตแแฉ แญแแแ แแ แญแข แตแแแ แตแญแญแแแ แ แญแธแต แญแ แ แญแแตแแแข
แแ แแณแ แฐแแ แฅแแแแจแต-
แฅแแ แฃ แ แฐแแซแแแฃ แ แแแฉ แแตแฅ แจแฅแฉแแฃ แจแแฐแแญ แฅแ แจแแฃแแต แแแญแถแฝ แ แฐแแแ แ แแแแฐ แแ แญแฃ แตแแแ แแแ แ แฐแซแญ แ แ แแแข แ แ แ แแแญ, แตแญแญแแ แ แญแธแต แตแญแญแแ แจแแณแฅ แแบ แจแแ, แแญแแซแฑแ แ แแ แแณแญ แแญ "แตแญแญแ" แแแต "แฐแ แแแ แจแแแแแ" แแแต แแ, แฅแ แญแ แ แแณแฅ แแณแแ แ แญแฝแแ.
แจแฅแแแต แแบ แจแแแ แตแแฒแแฌแฝแ แจแแฑ แญแแตแแแข แแ แ แญแฐแแ. แ แแต แแฎแแซแ แแ แแตแจแ แฅแแณแแ แต แตแแแแแ
แฅแแดแต แฅแแฐแแฐแซ แแฐแฅ แ แซแตแแแแแ แแแต แ แญแฐแแ - แ แฐแแซแแ แจแ แแ แฅแจแต แแตแจแ แ แแฅแ. แแแแซแ แ แฐแแญ แฅแแ
แ แตแแแ แแ. แแฐแแแฃแ แจ แ
แตแแต แ แฃแ แฅแฉแแ แแฎแแซแ แแแแฐแ แจแแญแปแ แแ, แแแญ แแ แญแ
แแแต แ แญแซแฝ แแแฐแต แจแแฅแแ แแแต แ แญแฐแแ, แฅแ แฅแแฐ แจแแแฐ แ
แแ แฅแจแต แฎแต แแปแ แฅแฉ แแแญ แ แญแฐแแ. แ แแจแจแป แฃ แจแตแตแตแต แ
แแฝแ แแญแแญ แแแแซ แจแตแญแแแฝ แแญ แปแแฉ แ แ แตแฐแซแจแถแฝ แแแญ แ แแซ แแญแ แแตแฅแข แจแ
แแน แแตแฅ แจแ แแฑ แแณแ แญแธแแแก- a left-comment token is LeftComment aligned with its covering token
. แญแ
แ
แ แจแฐแปแแ แ แแณแฅ แฅแแแแแ แแ แฅแแ แแก- LeftComment aligned
, left-comment
ะธ covering token
- แตแญแแแแฝ แแญ แแแฝ. แจแแณแฅ แแแแแต แแณแฅแ แจแแแแนแต แ แแ
แแแแต แแแก แจแแแต แแบแแฝแ แญแฝแแ แฅแ แ แฅแแฑ แแญ แฐแแตแญแฐแ แแแฝแ แญแฝแแแข แจแแ
แแญแแฑ แแญแแญ แฅแ
แ แจ 850 แจแฎแต แแตแแฎแฝ แตแตแตแต แฐแแฆแฝ แแแจแณแต แฅแ แแแจแ แ แฃแ แแแ แแธแ. แฅแแแ
แ แฐแแฆแฝ แแปแ แแแ แ แแแ แจแแฃ แฅแแฑแ แแแจแ แฅแ แแ แแตแทแ แแแต แ แแฅแแข แ แฐแแญ แแแ
แแแ แจแตแแ แฐแแฅ แฅแ
แ แแญ แฅแแฐแแ แจแแแแฝ แฎแต แปแแฉ. แฅแแแ
แ แตแตแตแต แ
แแฝ แ แ แญแซแณ แแณแแแฝ แตแแแจแญแณแธแ 850 แจแฎแต แแตแแฎแฝแ แแจแ แ แแตแแแแแ แฅแ แตแ
แฐแถแฝแ แแแแแต แ แฃแ แแแ แแ แฐแแแทแแข แแซ แแแ
แฅแฉ แแณแชแซแแฝ แ แแต. แฎแฑแ แ แแ แฅแฝแ แแฎ แฅแ แแ แญแแตแตแฅแ แแ แญแฃ แฅแ แ
แญแธแฑ แฅแซแต แจแแแ แญแแ แแ แญแข
แแแ แแฐแ แ แแญแแญ แแแแซ แแ แแ แ แแฐแปแแ? แ แ แแต แ แฉแ, แตแญแญแแแ แ แแแแ แฅแแ แ แฃแ แ แตแแแ แ แญแฐแแ. แแแ แซแ แ แตแแถแฝ แแแแ แแแแตแฐแฐแณแธแ แจแแญแแญ แแแฃ แตแแแ แ แแแ แซแแฐแแแฑ แแแณแแฝ แแตแฅ แ แตแญแญแ แฅแแฒแฐแซ แแตแจแ แ แแตแแแแแแข แ แฃแ แ แตแแแแ แแแญ แฐแแ แ แ แแฃแชแซ แตแแแแ แจแ แแแข แจแฒแคแแค+ แแดแ แ แซแ แฅแแ แแแ แแญแณ แจแแแแฃแตแแแ แแณแแแนแ แ แฅแ แแปแ แ แแฅแแข
แจแแญ แซแแ แแญแแญ แแแแซ แแแแ แแญแแฎแฝ แจแฐแแแฑ แฃแ แชแซแต แ แแต. แจแฎแฑ แจแ แซแ แฐแจแ แแแข แ แแแแแ แแแ แแฐแแ แญ แญแฝแแ. แแแปแ แแแแธแแ แแณแชแซแแฝ แแญแ แแดแแฝ แแแ แแญแณ แจแแธแแแข แญแ แแ แแญแแญ แแแแซ แแแปแ แแแ แจแแฎแแซแแแ แฎแญแต แ แญแจแณแแตแแข แฅแ แฅแญแตแ แ TLA+ แแตแฅ แจแฐแแแฉ แจแแตแแต แแฎแแซแแฝแ แแแปแ แ แฐแแญ แแแ แฅแจแปแ แซแแแ แ แตแฐแแญ แญแ แแ แแแแซ แ แแตแแแ แแซแฐแญแแธแ แจแแฝแ แแแ แแฃแชแซแแฝ แจแแแข แ แแจแจแปแ, แญแ แแญแแญ แฎแต แ แตแญแญแ แฅแแดแต แฅแแฐแแแฝแ แแแ แ แญแแแญแ, แญแ แฎแต แแ แฅแแฐแแฐแซ แฅแป แแ แจแแแแจแ. แตแ แฎแฑ แแฐแฅ แจแแแแซแฝแ แ แแต แฝแแฉแ แแแฐแฅ แฅแแฒแจแณแ แแแแซแแ แฅแแฝแแแแข
แแแญ แแ แญแ แแญแแญ แจแแแฝ แแแแแแฝ แจแแแฉแต แฃแ แชแซแตแ แ แแต. 95% แจแแแแต แแแฝ แแญแแฎแฝ แ แฃแ แ แญแญ แฅแ แแแ แแธแแก
แ แฐแจแแชแ, แญแ แแญแแญ แฐแแฆแฝ แตแฅแตแฅ แแ. แฅแแฐ แ แแต แฐแแฅ, แญแ แฐแซแ แแญแแญ แแแญแต แแ. แจแแแฝ แตแฅแตแฅ แจแแซแตแจแตแแแ แแแ แแจแณแต แ แฃแ แจแฃแต แแแฃ แแแ แ แแ แฅแแฑแ แแแจแ แฅแ แแ แแณแแ แจแแ แจแฅแแข แแแ แแ, แ แแ แแแณ, แจแฐแปแ แแแแต แแแแต แ แแปแแฉแ.
แซแแแแจแฅ แตแแแ แฉ แแฎแแซแแฝ แฅแแต แแแต แแแแญ แฐแแข แแแข แฅแแฐ แ แแต แฐแแฅ, แ แตแญแฉ แญแฐแซแ, แแแณแ, แตแญแแฐ แญแแแแฝ แแญแ แจแฐแจแแแ แตแญแแถแฝ. แ แฃแ แฅแแต แฐแแฝ แ แ แฅแแฏแแ แแ แ แแจแแต แแจแทแธแ แญแฝแแ, แฅแ แฅแ แจแแฑ แ แแฑ แ แญแฐแแแ, แแแ แฅแแณแ แ แแต แแ แแตแจแ แฅแฝแแ. แตแแแ แตแซแฝแแ แจแแแตแน แแณแชแซแแฝ แซแตแแแแแ - แแแณแ TLA + แแญแ PlusCalแข
แฎแฑ แ แตแญแญแ แแ แแตแจแ แฅแแณแแ แต แซแแ แฉ แแญแแญ แแแแซ แแปแ แแแ แ แตแแแ? แฅแแฐแแ แจแแแแ แแฐแแแข แ แฐแจแแชแแฃ แ แแแแซแแฃ แ แแต แจแแญ แฐแ แ แตแญแญแ แจแแซแฐแญแแแ แแแจแณแต แจแ แแ แ แแ แแฐ แฎแต แแแฃแต แ แซแตแแแแแแข แ แ แ แแแก แ แ แแแญ แ แแฝ แแแฉ แ แญแแฃแแข แแแ แ แ แจแฐแแจ แแแญ แ แแฃ แ แฅแญแแฅแฃ แฅแ แจแแจแฐแแ แ แ แแแญ แ แ แฅแฑ แฅแป แแแก แฎแฑ แจแแฐแซแ แแแญ แแญแแญ แฎแต แฒแ แแ แแแ แซแแฃแธแแ แแ แแฐแแฝ แแแแญ แ แแ แตแข
แตแแแ แแฎแแซแแฎแฝ แตแ แแฐแฅ แ แตแญแญแ แแ แแแ แ แแฃแธแ? แแแแชแแฝ แฃ แฅแแฐแแแแแ แฐแ แฃ แฅแญแตแ แซแแแ แฃ แฅแญแตแ แฅแซแฐแก แฅแป แแ แจแแแตแแแข แฅแแฒแแ แฎแต แจแแตแจแแ แ แแต แแฐแฅ แ แแฅแแต, แญแ แ แแแต แฎแต แจแแตแแแฅแ แ แแต แแปแ แซแตแแแแแณแ. แแแแซแ แฎแต แแตแจแ แจแแแแซแฝแ แ แแต แจแแแฝแแ แแแข แแแแแ แฐแ แแ แแแ แต แแญแ แแปแปแ แแแฝแ แฎแต แแญแแญ แแแแซ แซแตแแแแแข แฅแ แญแ "แ แแต แฐแ" แจแฐแปแ แจแ แแต แแญ แ แแ แฅแซแฑ แจแฎแฑ แฐแซแฒ แแแ แญแฝแแ. แแตแแแ แแฎแแซแแฝ แฅแ แตแญแแถแฝ, แแญแแแฝ, แแตแแถแฝ แฅแ แ แแณแแดแ แแตแฅแตแฅ แแแ แจแ แแต แแด แญแแแฝ แแญแแญ แแแแซ แซแตแแแแ. แตแ แฎแฑ แ แตแญแญแ แแ แแแ แ แแ แต? แแ แฅแแฐแแฐแซ แแแตแ แญแ แแ แฎแต แแแ แแ แแแแแแ แฐแ แแ แแ แ แ แฅแแฐแแฝแ แแแแฝ แซแตแแแแแณแแข แ แแณแแต แแ แฎแฑ แแแแแ แฅแแดแต แฅแแฐแแแฝแ แแแแฝ แ แตแแแ แแแ แญแฝแแ. แญแ แแ แแด แ แ แแแชแแ แแฐแต แแตแฅ แซแแแ, แจแแซแ แ แแแชแแ แฅแแ แฅแแ แซแแแ. แจแ แแ แแฉ แฅแ แ แฒแต แแแญ แจแแ, แจแแฐแ แฐแจแ แแตแ แฅแแ แฅแแ แซแแแ. แฅแแ แแแ แ แญแแต แแฐแ แ แแฉแแต แจแแแก แแแฑแ แจแแฎแแซแ แ แฅแตแตแซแญแต แแดแ แแธแแข
แจแฎแต แแญแแญ แแแแซ แฅแแดแต แ แตแญแญแ แแปแ แ แแฅแแต? แแแ แแแญ: แจแฎแฑ แซแฑ แ แแต แฐแจแ แจแ แซแ แแแ แ แแ แต. แแแถแฝแ แฅแ แฃแ แชแซแตแ แแแแฝ แ แแ แต. แฐแแฃแฉ แจแแแแแแ แซแ แ แฅแฅแ แแแ แ แแ แต. แ แแต แฐแแฃแญ แฅแแดแต แแฐแแ แญ แฅแแณแแ แต แแญแแญ แแแแซ แฅแจแปแ แจแแแฃ แ pseudocode แแญแ แ แแแตแซแ แแปแ แญแฝแแแข แ แแฐแ แ แแญแแฎแฝ แแญ แแญแแฎแฝแ แฅแแดแต แฅแแฐแแฝแ แแแญ แซแตแแแแแณแ. แญแ แแฐแ แ แฃแแแ แฐแแฝ แแญแ แจแแจแณแแตแ แ แตแแแ แญแ แแถแฝ แญแฐแฅแแณแ. แแฐแ แ แแแแซแแฝแ แฅแแดแต แแปแ แญแแซแ? แแฎแแซแ แแตแจแแ แตแแแญ แแฎแแซแแฝแ แปแแ แจแแซแ แ แซแแแข แฅแแ แแญ แฐแแณแณแญ แแ: แตแแญแฐแฉแ แญแแ, แ แ แแณแซแ แ แจแแแญ แซแจแแแก แฅแ แตแ แฐแถแฝแ แซแตแฐแซแญแ. TLA+ แแแฐแ แ แแแแซแแฝ แแญแก แแแ แแญแแ แญแฝแแแฃ แฅแ แแ แแแ แแฅแญแตแ แแฉ แแแแต แจแฐแปแ แแแ แญแฝแแแข แจTLA+ แฅแ แ แจแแณแฅ แ แตแฐแณแฐแฅแ แ แฐแแฅ แแตแฐแแญ แแแข
แแแแซ แฅแ แฎแต แฅแแดแต แแแแแต แญแปแแ? แจแแณแฅ แ แแฐ-แแณแฆแฝแ แฅแ แ แฐแแฃแ แญแ แ แแซแแแ แ แตแฐแซแจแถแฝ แฅแแแข แจแแซแแฝ แแญ แจแแฐแฉ แจแแ แ แแฎแแซแ แฐแจแ แจแ แแแแฝ แฅแ แจแ แแแแฝ แตแญแตแญ แญแแฉแแณแแข แตแแแ , แแซแ แ แฅแแแ แจแแฎแแซแ แ แแแแฎแฝ แฅแแดแต แฅแแฐแแฐแแ แญ แ แตแญแญแ แแปแ แซแตแแแแแณแ.
แจแแญ แจแฐแ แแฑแต แแตแฅ แ แแณแธแแ แขแแ แตแญแญแแแแ แฎแต แจแแปแ แแฐแต แฅแแฐแแญแแแจแฑ แแฅ แแฃแ แญแแฃแ. แฎแฑแ แฒแฝแ, แแแตแ, แถแตแฐแแแ แฐแจแ แซแจแแแแ, แฅแแฒแแ แ แแฎแแซแ แแตแฅ แแฐแฅ แฅแ แแฐแฅ แซแตแแแแแณแ. แ แแต แแแต แฅแซ แแตแฅแตแฅ แแญแ แแแฝ แซแแแ, แแฅแฑ แแญแแญ แแแแซ แแปแ แซแตแแแแแณแ. แฅแ แแ แฅแแ แตแ แฎแฑ แซแฑ แ แแแซแแข แแแแแแ แจแแฎแแซแแแ แแแ แฃ แแแแแแ แแด แแ แแ แญแฝแแ แฃ แฅแฑ แตแแฅแแฑ แ แญแฐแแแข แฅแแฒแแ, แจแแญ แจแฐแ แแฑแต แแตแฅ แจแตแแแ แฎแตแ แแแจแญ แฅแ แแจแ แ แซแตแแแแ. แจแ แฅแตแตแซแญแต แแดแ แ แตแญแญแ แจแฐแปแ แขแแแ แฅแแณ แ แ แฐแแฃแ แฉ แแญ แตแ แฐแถแฝ แแแฉ แญแฝแแ.
แแญแแฎแฝแ แแปแ แ แฎแต แแฐแต แแตแฅ แฐแจแแช แฅแญแแ แแแข แแฅแฑ แแตแแ แญแแฃแแ แฅแ แตแ แฐแถแฝ แ แตแแฝ แฅแจแต แแซแ แญแฝแแ - แญแ แแ แจแ แแแ แจแแฎแแซแ แ แแแแฝ แแแต แฅแแแแแแข แจแแญแแฎแฝ แแญ, แจแแฎแแซแแฝ แฅแซแต แจแ แซแ แญแแแ. แณแฒแซ แแแแตแแ แฅแ แแ แซแ แฅแแญแฑ แจแแแแฐแ? แแญแแซแฑแ แแปแ แจแฃแต แแแข แฅแ แแปแ แจแฃแต แแ, แแญแแซแฑแ แแแ แแฐแฅ แ แแฅแแต, แฅแ แแฐแฅแ แ แตแธแแช แแ. แซแฐแกแตแ แแตแแฐแ แแ แแ แแแ แแแข แฅแแ แจแฉแซ แแญ แฐแแณแณแญแแต แแณแ แญแฝแแ - แฃแแฐแแต แแ แ แฃ แฅแจแฎแก แญแแณแแข แกแแปแแตแ แแฐแแ แ แฅแ แแปแ แแแแแต แซแตแแแแแณแ. แแแแต แซแตแแแแแข
แแแแซแ แตแญแญแ แแญแแ แญแฝแแแข แจแแ แฆแณ แแญ แตแ แฐแต แฐแญแฐแ แแแ แญแฝแแแฃ แแญแ แแตแแญแถแน แฐแแแ แแ แแญแ แแปแปแ แแแญแฅแ แญแฝแแแข แแแแแ แฐแ แจแแ แแแ แต แฎแต แแแจแญ แ แแ แตแฃ แตแแแ แญแแ แญแฐแญ แฅแแ แแแแซแ แจแแฎแแซแ แแญ แ แญแแแตแแข แ แแณแฅ แฐแจแ, แ แแ แแแณ แแตแฅ, แ แฒแต แแญแแญ แแปแ แฅแ แแ แ แแ แ แตแแ แแปแ แ แแฅแแต. แแแ แซแแ แฅแแฐแแซแฐแญแ แ แแ แแ แฅแแแแแแข แ แฐแแฃแญ แฃ แฎแฑแ แฅแแตแฐแซแญแแแ แฅแ แแแแฃแต แแแแซแแ แฅแแแแแแแแข แญแ แแฅแแ แญแแ แแแญแถ แแจแฐแฑ แจแแญแแญ แจแแ แแแ แแญแแญ แแแแซแแฝแ แญแแ? แ แแแแชแซแฃ แฎแตแแ แแแแแฅ แฐแแฃ แ แแญแแฉ แแตแฅ แซแแ แฅแซแแณแแฑ แฐแจแแช แแ แญแฅแฐแฑ แ แแญแ แแแฃ แฅแ แญแ แฐแ แฅแญแตแ แฅแซแตแ แแแ แญแฝแแแข แฅแ แฅแ แแ แจแฅแแ แฎแต แ แญแตแแต แ แแแแ แต แแ แ แ แแแแซ แตแแแแแ แฅแซแดแ แฅแณแฐแฃแแแข แฅแ แจแฎแต แจแ แแ แแญแแญ แแแแซแแฝแ แฅแฝแแแ. แตแแแ , แฎแฑแ แฒแซแญแตแ, แแแแซแ แแแแ แแแแ แซแตแแแแแ. แ แแแฐแ แฐแจแ, แ แฅแซแแณแแฑ แญแแณ, แฎแฑ แฅแจแฃแฐ แญแแณแ, แแแแ แฅ แฅแ แแแแจแต แจแ แแ แ แตแธแแช แญแแแ. แญแ แจแขแแตแฎแแ แแจแแญ แแ. แแแญ แแ แ แแญแแญ แซแแแแญแญ แฅแซแแณแแฑ แจแแฝแแ แแตแแญ แคแฒแต แญแแแแฃ แฅแ แฎแฑ แจแแญแ แ แ แฅแ แจแ แแฉ แแแแ แฅ แ แตแธแแช แญแแแแข
แฅแแฐแฐแแแจแ
แตแ TLA + แฅแ PlusCal แ แแฉ แตแ
แจ แแฝ แแญ แจแ แแ แแแ แฅ แตแฝแแแฝแแฃ แจแแแป แแผ แแฐแแซ แแแต แตแฝแแแฝแ
แฅแฃแญแ แญแ แตแญแแ แแแแ แซแตแฐแแ. แ แตแฐแซแจแถแฝแ แตแตแฝแ แฐแซแฒแ แฅแแฐแแซแแฃแธแ แ แตแณแแตแข แจแธแแแ แแญ แแแแซแจแต แ แฅแแแต แจแแแ, แฅแฑ แจแแแญ 2019-11, 12 แ แดแแต แแฐแญแตแ แญแ แ แแซแแฐแ แจ Hydra 2019 แฎแแแจแแต แแญ แญแแแ. แตแฌแถแฝแ แแแแต แญแปแแ
แ แญแแแ แตแญแฃแขแซ แแญแข .
แแแญ: hab.com