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