Теория ИФтоматов

Многие замечают сходство изображения ИЛ в виде графа и Автомата с конечным набором состояний.

Практически 1 к 1. ИЛ и в правду является системой с конечным набором состояний, а значит всякое ИЛ-произведение — автомат.
Однако мало кто знает какую пользу можно из этого вынести.
Читать дальше