input1.txt

编译原理中

B->I|BoI
I->T|I=T
T->F|TvF       
F->S|F^S
S->P|~P        
P->L|i|(B)
L->t|f