[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / raw/concept/kbhderived_variable.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- title: "derived variable" source: https://www.jemoka.com/posts/kbhderived_variable/ --- 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.