Для построения диаграммы Мура детерминированного конечного автомата (ДКА), который принимает множество X всех слов в алфавите {0,1}, содержащих подслово 100, но не содержащих подслово 101, необходимо выполнить несколько шагов.

Сначала нужно определить состояния, которые будут представлять различные этапы распознавания подслов:

• q0 - начальное состояние, где еще не распознано ни одно из подслов.
• q1 - состояние, в котором распознано '1'.
• q2 - состояние, в котором распознано '10'.
• q3 - состояние, в котором распознано '100' (принимающее состояние).
• q4 - состояние, в котором распознано '101' (непринимающее состояние).

Теперь нужно определить переходы между состояниями в зависимости от входных символов (0 или 1):

• Из состояния q0:
  • при входе '0' перейти в q0
  • при входе '1' перейти в q1
• Из состояния q1:
  • при входе '0' перейти в q2
  • при входе '1' перейти в q1
• Из состояния q2:
  • при входе '0' перейти в q3
  • при входе '1' перейти в q4
• Из состояния q3 (принимающее состояние):
  • при входе '0' перейти в q3
  • при входе '1' перейти в q1
• Из состояния q4 (непринимающее состояние):
  • при входе '0' перейти в q4
  • при входе '1' перейти в q4

Теперь, когда мы определили состояния и переходы, можно визуализировать диаграмму Мура:

• Состояние q0 с переходами на q0 (0) и q1 (1).
• Состояние q1 с переходами на q2 (0) и q1 (1).
• Состояние q2 с переходами на q3 (0) и q4 (1).
• Состояние q3 с переходами на q3 (0) и q1 (1).
• Состояние q4 с переходами на q4 (0) и q4 (1).

Наконец, важно протестировать автомат на различных словах, чтобы убедиться, что он правильно принимает слова, содержащие '100' и не содержит '101'. Например:

• Слово '1001' - принимается (содержит '100').
• Слово '101' - не принимается (содержит '101').
• Слово '00100' - принимается (содержит '100').
• Слово '110' - не принимается (не содержит '100').

Таким образом, мы построили ДКА, который соответствует заданным условиям. Если у вас есть вопросы по каждому из шагов, пожалуйста, задавайте их!