Solving parallel equations over w-regular languages
Download file
Counter downloads: 296
Keywords
Authors
Name | Organization | |
Bushkov V. G | Tomsk State University | v.bushkov@gmail.com |
Yevtushenko N. V. | Tomsk State University | ninayevtushenko@yahoo.com |
References
Buffalov S., El-Fakih K., Yevtushenko N., et al. Progressive solutions for a parallel automata equation / / FORTE'03. Berlin: Springer, 2003. P. 367-382.
Yevtushenko N. V., Villa T., Brayton R. K., et al. Sequential synthesis by language equation solving / / Intenational Workshop on Logic Synthesis. June, 2000.
Глушков В. М. Синтез цифровых автоматов. М.: Физматгиз, 1962. 476 с.
Mukund M. Finite-state automata on infinite inputs / / The 6th National Seminar on Theorectical Computer Science. Banasthali, Rajasthan, India, 1996. V. 2.
