Условие задачи
Составить регулярные выражения для автомата А, сравнивающего два двоичных числа.
Количество разрядов в числах произвольно. Окончание чисел фиксируется буквой xs . Сравниваемые числа имеют одинаковое количество разрядов. Числа подаются на вход начиная с младших разрядов.
Если 1-е число < 2-го, то А выдает сигнал y1, | |
Если 1-е число > 2-го, то А выдает сигнал y2, | |
Если 1-е число = 2-e, то А выдает сигнал y3, |
Ответ
На вход поступают пары двоичных цифр 00, 01, 10, 11.
Первая цифра относится к 1-му числу, вторая ко 2-му.
Эти комбинации можно закодировать как
тогда входным алфавитом будет
Регулярные выражения будут оп...