Представление функций на FBD

К достоинствам функциональных схем при их использовании в качестве языка алгоритмизации относятся традиционность и однозначность описания, в том числе и параллельных процессов.

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

При этом необходимо отметить, что использование в качестве тестов соотношений “вход-выход”, обеспечивающих полноту проверки для схем без памяти, не решает проблему определения всех функциональных возможностей для схем с памятью, так как в этом случае необходимо проверять также и правильность порядка изменений выходных переменных. Однако, именно соотношения «вход-выход» и применяются при создании методик проверки на функционирование большинства систем логического управления. Это, как отмечалось выше, не обеспечивает качественной их проверки, так как такие соотношения не позволяют анализировать все имеющиеся в схеме переходы между состояниями.

Функциональные схемы при их применении в качестве языка программирования обладают всеми достоинствами декларативных языков функционального программирования, основным из которых является функциональность (прозрачность по ссылкам). При этом каждое выражение определяет единственную величину, а все ссылки на нее эквивалентны самой этой величине, и тот факт, что на выражение можно ссылаться из другой части программы, никак не влияет на величину рассматриваемого выражения. Это свойство определяет различие между математическими функциями и функциями, которые можно написать на процедурных языках программирования таких, например, как Паскаль, позволяющих функциям ссылаться на глобальные данные и применять "разрушающее" присваивание. Такое присваивание может привести к побочным эффектам, например к изменению значения функции при повторном ее вызове даже без изменения значений аргументов. Это приводит к тому, что функцию трудно использовать, так как для того, чтобы определить, какая величина получится при ее вычислении, необходимо рассмотреть текущую величину глобальных данных, что, в свою очередь, требует изучения предыстории вычислений для определения того, что порождает эту величину в каждый момент времени”.

При определенных условиях (переобозначениях выходных переменных) в системах булевых формул, по которым функциональные схемы могут строиться, даже для автоматов с памятью удается обеспечить и другое достоинство декларативных языков – независимость результатов от порядка вычисления формул.