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

  • Сергій Олексійович Семеріков Department of fundamental and socio-humanitarian disciplines, SIHE «Kryvyi Rih National University», 11, XXII Partz’yizdu str., Kryvyi Rih, 50027, Ukraine
  • Олександр Павлович Поліщук Department of fundamental and socio-humanitarian disciplines, SIHE «Kryvyi Rih National University», 11, XXII Partz’yizdu str., Kryvyi Rih, 50027, Ukraine
Keywords: programming theory, functional programming, syntax analysis, SML, Scheme

Abstract

Research goals: to develop a methodic of joint using the tools of automation of lexical (lex) and parsing (yacc) analysis in the process of teaching the programming theory based on a functional paradigm.

Research objectives: to determine the place and role of parsing analysis in the formation of professional informatics competences of future informatics teachers; to define tools of compilers development automation in teaching the programming theory; to develop 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.

Object of research: teaching the programming theory of future informatics teachers.

Subject of research: the use of the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers.

Research methods used: analysis of scientific publications, self-analysis of work experience, methodic design.

Results of the research. 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.

References

1. Мінтій І. С. Мета навчання та зміст курсу «Вступ до програмування» для майбутніх учителів інформатики // І. С. Мінтій, І. В. Тарасов, С. О. Семеріков / Вісник Черкаського університету. Серія педагогічні науки. – Випуск 279. – Черкаси : Вид. від. ЧНУ ім. Б. Хмельницького, 2013. – С. 57-63.
2. Полищук А. П. О реализации практикума по программированию лексических и синтаксических анализаторов при создании языковых интерпретаторов / А. П. Полищук, С. А. Семериков // Теорія та методика навчання математики, фізики, інформатики. – 2004. – Т. 4. – № 3 : Теорія та методика навчання інформатики. – С. 250-259.
3. Семеріков С. О. Методичні аспекти вивчення теми «Основи компіляції» у підготовці майбутнього вчителя інформатики / Сергій Семеріков, Ілля Теплицький // Рідна школа. – 2004. – № 4. – С. 32-33.
4. Семеріков С. О. Побудова найпростішого інтерпретатора в процесі вивчення теми «Основи компіляції» / С. О. Семеріков // Науковий часопис Національного педагогічного університету імені М. П. Драгоманова. – Серія № 2 : Комп’ютерно-орієнтовані системи навчання : зб. наукових праць / Редкол. – К. : НПУ імені М. П. Драгоманова, 2006. – №4 (11). – С. 119-123.
5. Семеріков С. О. Функціональне програмування в фундаментальній підготовці майбутнього вчителя / С. О. Семеріков, І. О. Теплицький, І. С. Мінтій // Новітні комп’ютерні технології. – 2008. – Т. 8 : Комп’ютерні технології в будівництві. – С. 54-55.
6. Moscow ML [Electronic resource]. – [2014?]. – Access mode: http://mosml.org/
Published
2015-09-04
How to Cite
Семеріков, С., & Поліщук, О. (2015). 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. Theory and Methods of Learning Mathematics, Physics, Informatics, 13(2), 174-200. Retrieved from https://ccjournals.eu/ojs/index.php/tmn/article/view/786
Section
Theory and methods of learning informatics