СПОСОБ ПРЕДСТАВЛЕНИЯ КОНЕЧНОГО АВТОМАТА

1. Способ представления конечного автомата, включающий представление его состояний с использованием предикатов и построение на их основе полного множества состояний, достижимого из его текущего состояния, отличающийся тем, что задание конечного автомата осуществляют в матрично-предикатной форме в виде квадратной матрицы, значения элементов которой определяют истинными значениями предиката.
2. Способ по п.1, отличающийся тем, что значения элементов квадратной матрицы определяют истинными значениями пятиместного предиката или предиката, местность которого не ограничивается (n-местный предикат).