Список заданий по ТФЯ 2016

<wikitex>

Теория формальных языков, 5 семестр

1. Построить конечный автомат для языка слов над бинарным алфавитом, в которых четность числа 0 равна четности числа 1
2. Построить конечный автомат для языка слов над бинарным алфавитом, в которых число нулей кратно 3
3. Построить конечный автомат для языка слов над бинарным алфавитом, в которых нет трех нулей подряд
4. Построить конечный автомат для языка слов над бинарным алфавитом, которые представляют собой двоичную запись чисел, кратных 5
5. Построить конечный автомат для языка слов над бинарным алфавитом, в которых число нулей не кратно 3
6. Построить конечный автомат для языка слов над бинарным алфавитом, в которых есть три нуля подряд. Сделайте вывод из последних двух заданий.
7. Построить конечный автомат для языка слов над бинарным алфавитом, в которых число нулей кратно 3 и которые представляют собой двоичную запись чисел кратных 5.
8. Построить конечный автомат для языка слов над бинарным алфавитом, в которых число нулей кратно 3 или которые представляют собой двоичную запись чисел кратных 5. Сделайте вывод из последних двух заданий.
9. Построить конечный автомат для языка слов над бинарным алфавитом, в пятый символ с конца - 0. Можно построить недетерминированный автомат.
10. Постройте детерминированный автомат для предыдущего задания или докажите, что в нем слишком много состояний, чтобы его рисовать ;).
11. Постройте регулярное выражение для языка слов над бинарным алфавитом, в которых нет двух нулей подряд.

</wikitex>