Автомат. и телемех.,
1974, выпуск 12,страницы 143–148(Mi at8612)
Автоматы
Асинхронные автоматы с задержками и логические языки
Ю. В. Глебский, Е. И. Гордон
Горький
Аннотация:
Исследуются возможности логических языков для изучения поведения, асинхронных автоматов с неинерциальными фиксированными задержками. Показано, что в этом случае адекватного логического языка не существует. Для случая асинхронных автоматов без задержек, но с синхронизирующими импульсами доказано существование адекватного логического языка.