x 1.00
Скачать видео

Лекция 10. Бимоделирование. Критерий сильной эквивалентности процессов. Наблюдаемая эквивалентность

  1. 00:15Понятие процесса. Эквивалентность процессов (повторение)
  2. 10:15Сильное отношение эквивалентности (продолжение доказательства)
  3. 15:12Задача доказательства эквивалентности двух процессов. Пример для процесса, вычисляющего x*x
  4. 19:04Бимоделирование
  5. 24:39Теорема о связи сильной эквивалентности процессов и бимоделирования между ними
  6. 38:08Операции на процессах. Конгруэнция
  7. 45:47Алгоритм доказательства эквивалентности двух процессов
  8. 01:01:04Задача минимизации процессов по числу состояний
  9. 01:07:59Домашнее задание
  10. 01:10:00Наблюдаемая эквивалентность