Известно, как по регулярному выражению построить автомат с <tex>\varepsilon</tex>-переходами, но потом его нужно перобразовать к детерминированному конечному автомату (ДКА). Изучим, как по регулярному выражению сразу построить ДКА.
==Графы Майхилла==
{{Определение
|definition=
