У той час як EE undergrad, я відвідував деякі лекції, в яких було представлено приємну характеристику булевих схем з точки зору кількості вкладених циклів. За складністю булеві схеми часто розглядаються як даги, але в реальних апаратних циклах поширені. Тепер, з точки зору деяких технічних можливостей щодо того, що таке цикл, і що являє собою вкладений цикл, в основному було висловлено твердження, що для впровадження в апаратне забезпечення автомата потрібні дві вкладені петлі, а для реалізації процесора потрібні три вкладені петлі. (Я, можливо, не переймаюся цими рахунками.)
Дві речі мене турбують:
- Не було нічого подібного до формального доказу.
- Я більше ніде цього не бачив.
Хтось досліджував точні твердження такого роду?
Шукаючи прізвище професора, я знайшов невелику веб-сторінку та книгу (глава 4), що обговорювали цю систематику.
Сорт фону : Якщо вам цікаво, чому цикли взагалі корисні в реальному технічному забезпеченні, ось простий приклад. Підключіть два інвертора за циклом. (Інвертор - це ворота, які обчислюють булеву функцію НЕ.) Ця схема має дві стабільні рівноваги (і нестабільну). Відсутність будь-якого зовнішнього втручання, схема просто залишиться в одному з двох станів. Однак можна примусити ланцюг до одного конкретного стану, застосувавши зовнішній сигнал. Ситуацію можна побачити так: Коли цикл підключений до зовнішнього сигналу, "ми читаємо вхід", а в іншому випадку просто "запам'ятовуємо останнє значення, яке ми побачили". Отже, одна петля допомагає нам запам'ятати речі.