A design/testing tool for Turing machines