Изменения

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