concept
active
concept:non-deterministic-transition-systemNon-deterministic Transition System
Binary relation (S, S, R) on a set modeling computational state transitions; point of entry to coalgebra theory.
Neighborhood — ranked by edge-count
Thinkers (1)
thinker
- RuttencitesCited for work on coalgebras and their connection to transition systems via order theory.
Concepts (1)
concept
- Binary Relationassociated_withFundamental structure (G, M, R) modeling objects with attributes; gives rise to polar maps and concept lattices.
Related by similarity (8)
cosine ≥ 0.65 · no typed edgeEntities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.
- Component of EI measuring how uniquely the current state determines the future state.
- Change between ordered and disordered macroscopic phases; existence depends on topology
- Inherent in Linda because an in statement chooses one matching tuple arbitrarily; essential for many parallel patterns.
- Amplification of small differences in initial conditions; cited as a property that future autonomous machines will share with living systems
- An environment where the underlying dynamics or reward structure changes over time, testing adaptation.
- Formal representation of algorithms as directed acyclic graphs computing functions f_A
- ETI where HFHF is solved by phenotypic plasticity and homogeneous genetics; e.g., multicellularity with genetically identical cells
- ETI where HFHF is solved by reproductive plasticity and heterogeneous genetics; e.g., symbiosis leading to organelles