Radu Grosu SUNY at Stony Brook Finite Automata as Linear Systems Observability, Reachability and More.
