Cтраница 4
Теорема 8.3. Автомат А с п k I состояниями и входным алфавитом X представим произведением автоматов AI и А2 соответственно с k и I состояниями и входным алфавитом X ( параллельной одновременной работой двух автоматов с общим входом), если и только если существует подстановка t e Т алфавита состояний, которая преобразует матрицы соединений всех автономных) автоматов Ах, х е X, к виду правильных клеточных матриц соединений. [46]
Удобство клеточных матриц состоит в том, что действия над ними совершаются формально по тем же правилам, что и над обыкновенными матрицами. [47]
Показать, что умножение двух клеточных матриц тогда и только тогда сводится к умножению клеток, рассматриваемых как отдельные элементы, когда вертикальное деление первой матрицы соответствует горизонтальному делению второй. [48]