He_lium

Perhaps someting like Turing Machine (+expanders) or Rung Divisions