Скажу по-секрету, что это был язык логики предикатов.
После получения нужных формул, устанавливались регистры чипов в начальное состояние, предварительно проверяя корректность логики на ПК в режиме сигнальной эмуляции состояний.
Затем, чипы "прошивались" (однократно кодировались) с помощью программаторов и впаивались на печатную плату, служившую "мозгом" будущего робота-терминатора.
(с) 2016, xmoonlight