在未来信息学教师的程序设计理论教学过程中联合使用词法分析和句法分析自动化工具的方法
Methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers
摘要：
确定了句法分析在未来信息学教师专业信息学能力形成中的地位和作用。独立的自动化工具，用于词法（lex）和语法（yacc）分析，对所使用的程序设计语言保持不变。在程序设计原理课程中，使用函数式程序设计语言Scheme和SML进行编译程序开发是十分方便的。MosML方言的例子说明了联合使用词法和句法分析自动化工具的方法的主要组成部分，在未来的信息学教师的程序设计理论的教学过程中。本文的主要结论和建议：（1）扩展计算器的例子可以通过改变语法来改进，特别是-对于条件句和循环句的引入; 2）该方案可以用任意类型化方法实现任何形式语言的解释器。适当的研究示例将是过程语言Basic和C以及函数语言Scheme和SML的子集：如果增加了机器码生成阶段，这就提供了一个展示程序设计语言编译器的完整开发周期的机会。
英文摘要：
The place and role of parsing analysis in formation of professional informatics competences of future informatics teachers is determined. Separated automation tools for lexical (lex) and syntax (yacc) analysis invariant to the programming language used. The expediency of using functional programming languages Scheme and SML is shown for learning how to develop compilers in the course of programming theory. The example of the MosML dialect illustrates the main components of the methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers. The main conclusions and recommendations: 1) the considered example of the expanded calculator can be refined by changing the grammar, in particular - for the introduction of conditional and cyclic constructions; 2) the proposed scheme can be used to implement the interpreter of any formal language with an arbitrary typing method - the appropriate examples of study will be subsets of procedural languages Basic and C and functional languages Scheme and SML: provided the addition of the machine code generation phase, this provides an opportunity to demonstrate the full development cycle for programming language compiler.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
