Автомат частковий

Автома́т частко́вий — автомат, у якого функція переходів Ψ(a, x) або функція виходів Φ(a, x), або обидві ці функції визначено не для всіх пар значень своїх аргументів a та x. У зв'язку із цим, поняття еквівалентності цілком визначених автоматів і їх станів у випадку часткових автоматів замінюється загальнішим поняттям сумісності, яке базується на збігу індукованих відображень в перетині їх областей визначення.

Джерела інформації

• Енциклопедія кібернетики : у 2 т. / за ред. В. М. Глушкова. — Київ : Гол. ред. Української радянської енциклопедії, 1973. — Т. 1. Чеботарев А. Н., с. 26.