Искусственный интеллект

106 5. Среды и языки Ответ на этот вопрос состоит в следующем. Если множество S с 5* удовлетворяет условиям пол/юты, непротиворечивости и регулярности, то можно построить автомат, реализующий множество S (язык S). Сформулируем условия полноты, непротиворечивости и регулярности для множества S. '¦ Условия полноты. Для всякой.прсделцвательности о*е S всякое ее началр также принадлежит 5". Условия непротиворечивости. Не существует ни одной пары последовательностей ал *ои*. аг*а2к*е S, таких, что о,* = а2*и Ф*(о,•) * <р'(а2*у. Условия регулярности. Любая последовательность а *е 5 может быть получена из пустой последовательности е только в результате последовательного приписывания справа (конкатенации) конечных или бесконечных циклических последовательностей в алфавите А.