DOI: 10.15393/j2.art.2001.2279
Нестеров Л. А. | ПетрГУ, @ |
Ключевые слова: автомат синтез анализ конъюнкция дизъюнкция |
Аннотация: Изучение дискретных конечных автоматов, как и других систем автоматики, включает две задачи - синтез и анализ автоматов. Обе задачи являются важными как с теоретической точки зрения, так и с практической. |