BOOL (1131514), страница 2
Текст из файла (страница 2)
then <if Ident=T then gotoTrueLab<0>>
else <if Ident=F then goto FalseLab<0>>.
‚ á¢®î ®ç¥à¥¤ì, ¯à¨ £¥¥à 樨 ¬ è¨ëå ª®¬ ¤ íâ® ¯à ¢¨«® ¬®¦® § ¬¥¨âì á«¥¤ãî饥:
RULE
BoolExpr ::= Ident
SEMANTICS
<TST Ident>;
if Sign<0> then <BNE TrueLab<0>>
else <BEQ FalseLab<0>>.
…᫨ í«¥¬¥â®¬ «®£¨ç¥áª®£® ¢ëà ¦¥¨ï ï¥âáï áà ¢¥¨¥, â® £¥¥à¨àã¥âáï ª®¬ ¤ , ᮮ⢥âáâ¢ãîé ï § ªã áà ¢¥¨ï (beq ¤«ï =, bne ¤«ï <>, bge ¤«ï >= ¨ â.¤.), ¥á«¨ âਡãâ sign ᮮ⢥âáâ¢ãî饩 ¢¥àè¨ë ¨¬¥¥â § 票¥ true, ¨ ®âà¨æ ¨¥ (bne ¤«ï =, beq ¤«ï <>, blt ¤«ï >= ¨ â.¤.), ¥á«¨ âਡãâ sign ¨¬¥¥â § 票¥ false.
�ਢ¥¤¥¬ ¥áª®«ìª® ¯à¨¬¥à®¢. ‚ëà ¦¥¨¥ A AND (B OR C) âà ᫨àã¥âáï ¢ ¯®á«¥¤®¢ ⥫ì®áâì ª®¬ ¤ à¨á. 8.25. ‚ëà ¦¥¨¥ (NOT((A=B)OR(C<>D)))AND(not((E<F)AND(G>H))) âà ᫨àã¥âáï ¢ ¯®á«¥¤®¢ ⥫ì®áâì ª®¬ ¤ à¨á. 8.26.
TST A CMP A,B
BEQ False BEQ False
TST B CMP C,D
BNE True BNE False
TST C CMP E,F
BEQ False BGE False
True: CMP G,H
False:. . . BGT False
True:
False:
�¨á. 8.25 �¨á. 8.26















