doc: LSTSs are state spaces (no finite state machines)