
%This function processes the outgoing transitions from state s3

function [return_s4,return_s8,return_s9] = exe_State3(x,w,state_4, state_8, state_9)

state = exe_State(x);
if(state == 1)
    return_s8 = state_8 + 1; return_s4 = state_4; return_s9 = state_9; 
    p = 'Http Response';
    disp(p); 
    
elseif(state == 2)
    return_s9 = state_9 + 1; return_s4 = state_4; return_s8 = state_8;
     p = 'Error: too many connection';
    disp(p); 
    
else
    return_s4 = state_4 + 1; 
    [return_s8_exe4, return_s9_exe4 ] = exe_State4(w,state_8, state_9); 
    
    return_s8 = return_s8_exe4; return_s9 = return_s9_exe4; 
end
