This thesis presents methodologies for the operation of a programming/documentation system for a Texas Instruments Model 530 programmable controller. The methodologies include: 1) a means to store information about the structure of a ladder diagram and display the ladder diagram on a CRT screen, 2) a means to convert the ladder diagram information into its equivalent Boolean code, and 3) a means to convert Boolean code into its equivalent ladder diagram information.