an Entity in Data Space: 134.155.108.49:8890
Well-structured transition systems are a class of computational models where the infinite state space is subject to a well-quasi-ordering respected by the transition rules. As a result, some verification problems are decidable, but the decision problems fall in very large complexity classes that must be described with the fast-growing hierarchy.
Identifier (URI) | Rank |
---|---|
dbkwik:resource/d4CKYJRPFWNAOVNSvnrLmw== | 5.88129e-14 |
dbr:Well-structured_transition_system | 5.88129e-14 |