Язык последовательных функциональных схем SFC (Sequential Function Chart) является графическим языком, в котором программа описывается в виде схематической последовательности шагов, объединенных переходами. Язык SFC построен по принципу, близкому к концепции конечного автомата, что делает его одним из самых мощных языков программирования. Разработан в NEMA - National Electrical Manufacturers Association (Национальная ассоциация производителей электроизделий, США) в 1979 году.
Наиболее простым и естественным образом на языке SFC описываются технологические процессы, состоящие из последовательно выполняемых шагов, с возможностью описания нескольких параллельно выполняющихся процессов, для чего в языке имеются специальные символы разветвления и слияния потоков.
Шаги последовательно располагаются вертикально сверху вниз. На каждом шаге выполняется определенный перечень действий (операций).
После того, как шаг выполнен, управление передается следующему за ним шагу. Переход между шагами может быть условным или безусловным. Условный переход требует выполнение определенного логического условия для передачи управления на следующий шаг; пока это условие не выполнено программа будет оставаться внутри текущего шага, даже если все операции внутри шага уже выполнены. Безусловный переход происходит всегда после полного выполнения всех операций на данном шаге. С помощью переходов можно осуществлять разделение и слияние ветвей последовательности, организовать параллельную обработку нескольких ветвей или заставить одну выполненную ветвь ждать завершения другой.