04 Детерминированные функции, ограниченно-детерминированные функции. Диаграммы Мура. Автоматы.
Ошибка.
Попробуйте повторить позже
Для функции с входным алфавитом и выходным алфавитом , заданной как:
найти её вес, нарисовать усечённое информационное дерево и построить диаграмму Мура.
1. Для того, чтобы найти вес нашей функции, сначала нарисуем её информационное дерево.
Теперь нам нужно понять, сколько в этом бесконечном информационном дереве неэквивалентных
поддеревьев.
Ясно, что неэквивалентных поддеревьев будет всего 2. Это поддеревья вида
а также вида
Следовательно, вес нашей функции равен 2.
2. Для того, чтобы построить усечённое информационное дерево, мы должны сначала выбрать и
пометить числами 0 и 1 две базовые вершины - корневую и любую другую так, чтобы помеченные
разными номерами вершины задавали неэквивалентные деревья. И из каждой вершины выпустить
ребра. Получим такое усечённое дерево:
3. И, соответственно, диаграмма Мура получается, если мы в усечённом информационном дереве отождествим вершины с одинаковыми метками:
Ошибка.
Попробуйте повторить позже
Для функции с входным алфавитом и выходным алфавитом , заданной как:
найти её вес, нарисовать усечённое информационное дерево и построить диаграмму Мура.
Для функции с входным алфавитом и выходным алфавитом , заданной как:
найти её вес, нарисовать усечённое информационное дерево и построить диаграмму Мура.
Решение.
1. Для того, чтобы найти вес нашей функции, сначала нарисуем её информационное дерево.
Теперь нам нужно понять, сколько в этом бесконечном информационном дереве неэквивалентных
поддеревьев.
Ясно, что неэквивалентных поддеревьев будет всего 4. Это поддеревья вида
Следовательно, вес нашей функции равен 4.
2. Для того, чтобы построить усечённое информационное дерево, мы должны сначала выбрать и
пометить числами 0 и 1, 2 и 3 четыре базовые вершины - корневую и любые три другие так, чтобы
помеченные разными номерами вершины задавали неэквивалентные деревья. И из каждой вершины
выпустить ребра. Получим такое усечённое дерево:
3. И, соответственно, диаграмма Мура получается, если мы в усечённом информационном дереве отождествим вершины с одинаковыми метками:
Ошибка.
Попробуйте повторить позже
Показать, что функция с входным алфавитом и выходным алфавитом , заданная как:
не является ограниченно-детерминированной.
Построим информационное дерево для нашей функции.
И дело в том, что это дерево содержит бесконечно много неэквивалентных поддеревьев.
Действительно, рассмотрим, например, функцию, задающуюся деревом, растущим из вершины на
чётном ярусе 2 :
Тогда функция, заданная этим поддеревом, примет значение единица через 2 яруса (на 4 ярусе исходного
дерева).
В то время как, например, если рассмотреть функцию, задающуюся деревом, растущим из следующей
вершины на чётном ярусе 4:
Тогда функция, заданная этим поддеревом, примет значение единица только через 4 яруса (на 8 ярусе
большого дерева) после помеченной вершины.
Таким образом, чем ниже мы возьмём вершину, тем дальше от неё функция, задаваемая такой
вершиной, начнёт принимать значение 1.
То есть, если мы берём вершину на ярусе , то функция, определяемая деревом, растущим из этой
вершины, начнёт принимать значение 1 начиная с яруса исходного дерева - всякий раз всё дальше
и дальше - таким образом, деревья, растущие из вершин на разных ярусах, не могут быть
эквивалентны.
Ошибка.
Попробуйте повторить позже
Показать, что функция с входным алфавитом и выходным алфавитом , заданная как:
(где - это стрелка импликации, равная 1, если посылка ложна, либо заключение истинно, и
равная 0 только тогда, когда посылка истинна, а заключение ложно)
хотя и формально в своей записи использует значение , тем не менее, является
детерминированной.
Формально, если вглядеться в определение функции, то её значение в момент времени как
будто бы зависит от подаваемого на вход в следующий момент времени .
Однако давайте чуть пристальнее проанализируем поведение нашего выхода .
по определению равна 0, если одновременно посылка истинна, а
заключение - ложно.
Но чтобы посылка была истинной, все должны быть равны единице. Но в
частности и должен быть равен 1. Значит заключение в таком случае уже не может быть
ложным.
Следовательно, вообще никак не может быть ложным. Получается, в любой момент времени
равна 1.
Таким образом наша функция детерминирована - она не зависит от и, более того, она
вообще не зависит от ни в какой момент времени - проанализировав мы поняли, что
. А константная функция, разумеется, тоже детерминирована - её
значение в любой момент времени можно вычислить, вообще ничего не зная про входные
данные.
Ошибка.
Попробуйте повторить позже
Привести пример недетерминированной функции с входным алфавитом и выходным алфавитом .
Например, можно взять такую функцию
Таким образом, чтобы вычислить даже самое первое выходное значение , нам нужно подождать, пока функции на вход подадут шестое значение . По определению, такая функция не является детерминированной, потому что должен зависеть только от .