Синхронизированный автомат

• Определение и свойства временных автоматов

  • Временной автомат – это автомат, который принимает слова, зависящие от времени. 
  • Время представлено в виде набора часов, которые могут сбрасываться. 
  • Прогон слова определяется как его принятие на всех позициях. 

• Формальное определение и примеры

  • Временной автомат определяется как 5-tuple, где каждый элемент описывает состояние, вход, выход, переход и оценку часов. 
  • Примеры включают автоматы, которые принимают слова, начинающиеся с “a” или “b”, и автоматы, которые принимают все слова, начинающиеся с “a”. 

• Детерминизм и закрытие

  • Временной автомат является детерминированным, если существует одноэлементный набор начальных состояний и каждое состояние имеет одно возможное следующее состояние. 
  • Класс языков, распознаваемых детерминированными временными автоматами, замкнут при объединении и не замкнут под дополнением. 

• Проблемы и их сложность

  • Проблема пустоты для временных автоматов разрешима, но проблема универсальности недетерминированных временных автоматов неразрешима. 

• Дополнительные сведения

  • В статье также упоминаются чередующие временные автоматы и записи в Википедии.