Лекция 15. Синтаксические моноиды

  1. 00:15Двусторонние контексты, синтаксический моноид, примеры
  2. 31:31Доказательство основной теоремы: автоматность языка с конечным синтаксическим моноидом
  3. 37:22Доказательство основной теоремы (на примере): синтаксический моноид автоматного языка конечен
  4. 54:36Верхняя граница для размера синтаксического моноида автоматного языка, пример
  5. 01:17:38Доказательство вспомогательного утверждения, завершение доказательства леммы о верхней границе
  6. 01:29:08Леммы для множеств двусторонних контекстов