Аннотация:
Описывается общий случай автоматной системы взаимосвязанных графов со связанными состояниями. Изучается поведение таких систем. Показывается, что две системы эквивалентны, если равны соответствующие множества сверхплотных слов. Выделяются частные случаи систем, анализ которых с помощью сверхплотных слов наиболее целесообразен.