С помощью этой системы кодирования можно транслитерировать [Прим. перев.: Транслитерация - передача текста, написанного с помощью одной алфавитной системы, средствами другой алфавитной системы] правила, заданные табл. 2.1, в правила, заданные табл. 2.3.
Каждое правило записывается на отдельной строке, а столбцы разделяются пустыми промежутками. Ничего не изменится, если исключить пустые промежутки и соединить строчки в одну длинную строку, состоящую из иксов, единиц и нулей. Эта строка будет представлять собой полное описание нашей суммирующей машины!
Мы сформировали систему записи, позволяющую описывать некоторую машину. Ее алфавит состоит из трех элементов: "X", "0" и "1". Строки, записанные с помощью этой нотации, естественно, не будут иметь смысла, пока мы не укажем, каким образом их следует
| X1X | X0X | Х111Х | X1X | X1X |
| X1X | XXX | X11X | X0X | X1X |
| X1X | X1X | X1X | X1X | X1X |
| X11X | X0X | X11X | X0X | X1X |
| X11X | XXX | X111Х | X0X | X1X |
| X11X | X1X | X11111X | X0X | X0X |
| X111X | X0X | Х111Х | X0X | X1X |
| X111X | XXX | X1111X | X0X | X0X |
| X111X | X1X | Х11111Х | X0X | X0X |
| X1111X | X0X | Х1111Х | X0X | X0X |
| X1111X | XXX | X1X | XXX | X0X |
| X1111X | X1X | X111111X | X1X | X1X |
| X11111X | X0X | Х11111Х | X0X | X0X |
| X11111X | XXX | X1X | XXX | X0X |
| X11111X | X1X | X1X | X1X | X1X |
| X111111X | X0X | XX | X0X | X0X |
| X111111X | XXX | XX | XXX | X0X |
| X111111X | X1X | Х111Х | X1X | X1X |
интерпретировать. Для этого было бы достаточно описать машину (или, еще лучше, построить ее), входами которой служили бы два информационных потока: один, содержащий должным образом закодированное описание нашей суммирующей машины, а другой - исходную конфигурацию иксов, нулей и единиц, с которой заданная указанным описанием суммирующая машина должна оперировать. Эти две так называемые цепочки символов, естественно, можно разместить на одной ленте. Когда мы будем иметь подобную машину, у нас появится право называть нашу систему нотации языком, поскольку имеется некоторая реализация его правил трансформации.