Synthesis of Computer Programs that Implement Finite Automata

被引：0

作者：

Cheremisinov, D. I. ^{[1
]}

机构：

[1] Natl Acad Sci Belarus, United Inst Informat Problems, Ul Surganov 6, Minsk 220012, BELARUS

来源：

AUTOMATIC CONTROL AND COMPUTER SCIENCES | 2007年 / 41卷 / 04期

关键词：

finite automaton; computer program; interpretation of languages for the description of automata;

D O I：

10.3103/S0146411607040050

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The problem of constructing a computer program that implements finite automata is considered and possible methods of solution are discussed. The proposed method of synthesis is based on the use of the descriptive structure of an automaton. The approach is itself based on an interpretation of languages for the description of automata as programming languages. For this purpose, virtual machines of well-known automaton description languages are described. The advantage of the approach lies in the possibility for automation of the transformation: model-algorithm-program.

引用

页码：215 / 223

页数：9