A Syntactic Specification for the Programming Languages of the IEC 61131-3 Standard

摘要

In order to implement a translator, a syntactic specification for the programming languages of the IEC 611131-3 standard is presented in this paper. This specification is built in function of the components of a formal grammar, which are the set of terminal symbols, the set of non terminal symbols, the start symbol or axiom and the set of production rules. The formal grammar described corresponds to a context-free grammar; which is currently being used to describe most of the programming languages. With the definition of this grammar, the programming languages of the IEC 611131-3 standard are formally described and is presented as an example, the syntactic specification of the textual programming languages, known as Instruction List and Structured Text. Then, the graphical programming languages (Ladder Diagram and Functional Block Diagram) can be specified in the same way. With the grammar described is possible to build a translator using open standards and open source that can generate code in high level programming language (like C programming language) to support the management of control logics.