Programming and PLC automata