Утверждение: Для любого регулярного выражения существует источник представляющий тот же язык .
Доказательство: А)пусть задано регулярное событие образованное операциями .
Рассмотрим два регулярных события. Предположим , что для представления этих двух событий нужно построить графы . Очевидно, что элементарные события представлены источниками.
В) Покажем, что объединение элементарных событий , так же представимо источни¬ком заданы.
С) Конкатенация заданы.
D) Итерация