functionally equivalent to a Turing complete programming environment?