Автомат частковий: відмінності між версіями

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