1.На координатной плоскости даны множества А и В (А ограничено красным
цветом, В – синим). Описать предикаты, определенные на координатной
плоскости Pa(z) "точка z принадлежит множеству A",
Pb(z) "точка z принадлежит множеству B" (границы включены в множества,
можно использовать логические операции и сравнение ?). С использованием
полученных предикатов записать в виде формул логики предикатов
высказывания о множествах А и В.
2.Построить машину Тьюринга для вычисления функции. Внешний алфавит
состоит только из 0 и 1, 0 – пустой символ. Пояснения по построению
программы для МТ обязательны. Проверить работу машины Тьюринга для
конкретных значений x,y и нарисовать граф, соответствующий построенной
МТ.