The states exist whether you model them or not, but yes using one FSM for entire UI would potentially grow too large and cumbersome to be practical. They do, however, make more sense targeted at particular levels of abstraction: system, component, etc.