Computability
A web query is a mapping q associating to each web instance I and object o ? I(Obj), a subset q(o,I) of I(Obj)
The object o is called the source (of the query)
The input of a web machine is then
The definition computability and eventually computability are the same