An automaton decomposition method for program structure simplification
โ Scribed by Yutaka Hirakawa; Keiji Okada
- Book ID
- 112205458
- Publisher
- John Wiley and Sons
- Year
- 1985
- Tongue
- English
- Weight
- 796 KB
- Volume
- 16
- Category
- Article
- ISSN
- 0882-1666
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
This paper describes a decomposition method for large structured quadratic maximization problems. The method can be applied to problems which contain coupling constraints or coupling variables occurring in the objective function.
We already know how to decompose any finite automaton with a strongly connected state diagram into a strongly connected version of what we call a synchronizable cascade decomposition. This is a two component cascade decomposition whose first component has a synchronizer and whose second component is
The paper proposes decomposition methods for primal and dual block-angular systems. The decomposition used is called local because it depends on the basic solution considered. The entire problem is decomposed into a principal problem and independent subproblems. In the dual and primal local decompos