PROGRAM CFA(INPUT,OUTPUT);
TYPE STATE=(Q0,Q1,Q2,Q3);
     INTE=0..1;
     DELTA=ARRAY[Q0..Q3,INTE] OF STATE;
VAR D,DD :DELTA;
    T,TT :STATE;
    X :INTE;

{$I B:FA.SRC}

BEGIN
    DD[Q0,0]:= Q2;  DD[Q0,1]:= Q1;
    DD[Q1,0]:= Q3;  DD[Q1,1]:= Q0;
    DD[Q2,0]:= Q0;  DD[Q2,1]:= Q3;
    DD[Q3,0]:= Q1;  DD[Q3,1]:= Q2;
    TT:= Q0;
    MASIN(TT,DD)
END.