A language corresponding to Turing machines with planar control graphs [Public domain]