Hunger models: computable theory of feeding control