Semi-tensor product approach to controllability, reachability, and stabilizability of extended finite state machines