Условие:
Составить регулярные выражения для автомата А, сравнивающего два двоичных числа.
Количество разрядов в числах произвольно. Окончание чисел фиксируется буквой xs . Сравниваемые числа имеют одинаковое количество разрядов. Числа подаются на вход начиная с младших разрядов.
| Если 1-е число < 2-го, то А выдает сигнал y1, | ![]() |
| Если 1-е число > 2-го, то А выдает сигнал y2, | ![]() |
| Если 1-е число = 2-e, то А выдает сигнал y3, | ![]() |





