Связанное изображение подразумевает пару предположений.
- Стрелки, помеченные буквой «E», означают «эпсилон-переход», изменяющееся состояние, которое не изменяет текущий символ.следующая стрелка не «потребляет никакого ввода»
- Под прямоугольной областью, помеченной буквой «R», подразумевается «Автомат, принимающий R ».если вы достигнете начального состояния в этой области (второй кружок слева на изображении), область в штучной упаковке примет R для произвольного подъязыка. R используется как переменная, так же как и в базовом регулярном выражении
<em>R</em><strong>*</strong>.Мы не видим стрелок между начальным и конечным состояниями, потому что мы не определяем, что означает R ;это переменная, мы можем использовать что угодно.