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

Матеріал з Вікіпедії — вільної енциклопедії.

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

[ред.] Джерела інформації

[ред.] Дивіться також

  • Автоматів способи визначення


Сигма Це незавершена стаття з математики.
Ви можете допомогти проекту, виправивши або дописавши її.