Let α be the regular language whose elements will take A from q0 to q1.
فرض می‌شود که α یک زبان منظم باشد که عناصرش A را از q0 تا q1 دربر بگیرد.