2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/30509We define five increasingly comprehensive classes of infinite-state systems, called STS1--5, whose state spaces have finitary structure. For four of these classes, we provide examples from hybrid systems.21 pagesLogic in Computer ScienceF.3.1A Classification of Symbolic Transition Systemstext