Работа посвящена нахождению наибольшего прогрессивного решения параллельного автоматного урав-нения C ◊ X ≅ S, где C и S - конечные полностью определенные автоматы, на основе удаления непрогрес-сивных последовательностей из наибольшего решения уравнения. Именно прогрессивные решения, вкомпозиции которых с автоматом C отсутствуют заведомо тупиковые ситуации, интересны с практиче-ской точки зрения.
Скачать электронную версию публикации
Загружен, раз: 73
- Title К ОПИСАНИЮ ПРОГРЕССИВНЫХ РЕШЕНИЙПАРАЛЛЕЛЬНОГО АВТОМАТНОГО УРАВНЕНИЯ
- Headline К ОПИСАНИЮ ПРОГРЕССИВНЫХ РЕШЕНИЙПАРАЛЛЕЛЬНОГО АВТОМАТНОГО УРАВНЕНИЯ
- Publesher
Tomsk State University - Issue Прикладная дискретная математика 1(1)
- Date:
- DOI
Ключевые слова
конечный автомат , параллельная композиция , автоматное уравнение , прогрессивное решение Авторы
Ссылки
Yevtushenko N., Villa T., Brayton R.K., et al. Sequential synthesis by language equation solving // International Workshop on Logic Synthesis. June, 2000.
El-Fakih K., Yevtushenko N., Buffalov S., Bochmann G.V. Progressive solutions to a parallel automata equation // Theoretical Computer Science. October, 2006. P. 17 - 32.
Yevtushenko N., Villa T., Brayton R.K., et al. Compositionally Progressive Solutions of Synchronous FSM Equation // Discrete Event Dynamic Systems. January, 2008. P. 51 - 89.
К ОПИСАНИЮ ПРОГРЕССИВНЫХ РЕШЕНИЙПАРАЛЛЕЛЬНОГО АВТОМАТНОГО УРАВНЕНИЯ | Прикладная дискретная математика. 2008. № 1(1).
Скачать полнотекстовую версию
Полнотекстовая версияЗагружен, раз: 671