Лекция 20. Теорема Мура
- 00:10Теорема Мура
- 06:08Лемма
- 48:46Теорема (существует автомат с тремя состояниями, в котором каждая пара состояний отлична, но не существует эксперимента, который бы однозначно определял начальное значение автомата)
- 01:04:53Схемный сумматор порядка N
- 01:08:35Теорема (существует схема из функциональных элементов в стандартном базисе, которая является сумматором и имеет сложность ...)
