The AIXI agent interacts sequentially with some (stochastic and unknown to AIXI) environment \mu.
where U denotes a monotone universal Turing machine, and q ranges over all programs on the universal machine U.