Асинхронные автоматы: классификация и тестирование.
В статье рассматриваются конечные автоматы, отличающиеся от классического автомата Мили тем, что переход осуществляется либо по приему стимула (входного символа), либо по выдаче реакции (выходного символа), причем в каждом состоянии выбор одного из допустимых переходов недетерминирован. Такими автом...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2004-01-01
|
Series: | Труды Института системного программирования РАН |
Online Access: | https://www.ispras.ru/proceedings/isp_4_2003/isp_4_2003_7/ |