Євробачення 2017

Большинство терминов остается таким же, как и в случае детерминированного распознающего конечного автомата. В частности, в рассматриваемой формуле Z — выходной алфавит. Но и в этом случае 8 и X фактически представляют собой отношения и больше не соответствуют определениям функций. Рассмотрим приведенные ниже автоматы, которые показывают, как отражается введение недетерминированности на обоих этих отношениях.

Во-первых, из того, что применяется отношение перехода d, следует, что с каждой парой “состояние-входные данные”, (q, о), может быть связано несколько следующих состояний. А в действительности может оказаться так, что для актавизации перехода фактически не потребуются какие-либо входные данные (такие переходы известны под названием эпсилон-переходов, или £-переходов). Чаще всего в теории и на практике обнаруживается именно эта форма недетерминированности. Смотрите євробачення 2017 здесь.

Во-вторых, применительно к выходному отношению А. вырабатываемый символ может изменяться с учетом текущего сочетания “состояние-входные данные”. Такая форма недетерминированности встречается не столь часто. Фактически отношение А. часто может интерпретироваться как детерминированная функция, зависящая от <3. В таком случае в расчете на каждый недетерминированный переход вырабатывается только одно возможное выходное значение.