自动机1

S6

false

S3

not

true

bfactor

S5

bfactor - (.bexpr ) bexpr - .bexpr or bterm bexpr - .bterm bterm - .bterm and bfactor bterm - .bfactor bfactor - .not bfactor bfactor - .( bexpr ) bfactor - . true bfactor - . false

S4

bfactor - not. bfactorbfactor - .not bfactor bfactor - .( bexpr ) bfactor - . true bfactor - . false

(

S8

bexpr - bexpr or. btermbterm - .bterm and bfactor bterm - .bfactor bfactor - .not bfactor bfactor - .( bexpr ) bfactor - . true bfactor - . false

S11

bfactor - (bexpr).

bterm

bexpr

S7

bfactor - false.

or

S0

S' - .bexprbexpr - .bexpr or bterm bexpr - .bterm bterm - .bterm and bfactor bterm - .bfactor bfactor - .not bfactor bfactor - .( bexpr ) bfactor - . true bfactor - . false

and

S

S10

bfactor - (bexpr. ) bexpr - bexpr. or bterm

S14

bfactor - not bfactor.

bterm - bfactor.

S12

bexpr - bexpr or bterm.bterm - bterm. and bfactor

S9

bterm - bterm and. bfactorbfactor - .not bfactor bfactor - .( bexpr ) bfactor - . true bfactor - . false

S2

)

S13

bterm - bterm and bfactor.

S1

S' - bexpr.bexpr - bexpr. or bterm

bfactor - true.

bexpr - bterm. bterm - bterm. and bfactor