Изменения

то в очередь можно добавить только меньшее из <tex>R_1</tex> и <tex>R_2</tex>.

<tex>Q</tex> {{---}} множество состояний ДКА.

<tex>F</tex> {{---}} множество терминальных состояний.