Pages that link to "Item:Q736851"
From MaRDI portal
The following pages link to The relation between preset distinguishing sequences and synchronizing sequences (Q736851):
Displaying 6 items.
- Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation (Q1707350) (← links)
- Introducing complexity to formal testing (Q2291824) (← links)
- The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs (Q2398505) (← links)
- Preset Distinguishing Sequences and Diameter of Transformation Semigroups (Q2799186) (← links)
- Deciding Whether or Not a Synchronous Relation is Regular Prefix (Q2934880) (← links)
- Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata (Q2947421) (← links)