AUTOMATIC SYNTHESIS OF DISCRETE AUTOMATA ON THE BASIS OF THE LLRSA (LOGICAL LANGUAGE FOR PRESENTATION OF SYNTHESIS ALGORITHMS) (LYAPAS) ALGORITHM LANGUAGE,
Abstract
The principal results of research and development work on the LYAPAS language (logic language for automaton-synthesis algorithms) are presented. Two levels of the LYAPAS language are created. The first level is closer to the present-day computer languages. At this level, designed to represent the detailed structure of the algorithms, programs with a volume equivalent to 200-300 machine instructions can readily be directly compiled. At the second level programs with a complex hierarchic structure are represented. A detailed description of the first level of LYAPAS is given. The methods of compiling programs in the LYAPAS language are described. The chief differences between LYAPAS and programming languages of the FORTRAN and ALGOL-60 types are pointed out. Ways of automating the synthesis and prospects for further developing the LYAPAS language are discussed. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 23, 1968
- Accession Number
- AD0679502
Entities
People
- A. D. Zakrevskii
Organizations
- National Air and Space Intelligence Center