[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / wiki/concepts/derived_variable.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- title: "derived variable" type: concept source: https://www.jemoka.com/posts/kbhderived_variable/ confidence: high status: active --- A derived variable is a mapping between states to a set, usually the natural numbers. Remember, if we can, given a state and match it to a number and show a relation which would iterate the state and decrease the states’ number. We can show that the algorithm terminates.