Изменения

1. # Для каждой упорядоченной пары вершин <tex>v</tex> и <tex>u</tex> существует только одно ребро из <tex>v</tex> в <tex>u</tex>. 2. # Некоторые вершины обозначены начальными, а некоторые {{---}} конечными. Ребро может одновременно быть начальным и конечным. 3. # Вершины обозначены различными символами из конечного алфавита <tex>\Sigma</tex>, то есть мы можем обращаться к вершине по ее символу.

Не пустая строка <tex>c_1c_2...c_n</tex> из <tex>\Sigma^*</tex> длиной не менее двух символов, называется разрешенной, если символом <tex>c_1</tex> отмечена стартовая вершина, а символом <tex>c_n</tex> {{---}} конечная, и для всех <tex>1 \leqslant i \leqslant n - 1</tex> в <tex>G</tex> существует ребро <tex>a_i с_i \rightarrow a_с_{i+1}</tex>.

|definition= Автомат <tex>A</tex> называется '''локальным''' (англ. '''local automation'''), если для любого <tex>c</tex> из <tex>\Sigma</tex> множество <tex>\{\delta(s, c): \mid s \in S\}</tex> содержит не более одного элемента.

|definition= Автомат <tex>A</tex> называется '''стандартным локальным''' автоматом (англ. '''standard loal automation'''), если в нем нет перехода в начальное состояние.