АВТОМАТ ЧАСТИЧНЫЙ

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

А. Н. Чеботарев.