Development and Application of a Software Tool to Support the Teaching of Formal Languages

The purpose of the article is to present the results of a study on the possibility of using a deductive approach in the study of programming languages (from the theory of formal languages to specific programming languages) and the development of a training system for implementing this approach. The...

Full description

Saved in:
Bibliographic Details
Published in:Otkrytoe Obrazovanie Vol. 25; no. 4; pp. 13 - 22
Main Authors: Sergushicheva, A. P., Davydova, E. N.
Format: Journal Article
Language:English
Published: Plekhanov Russian University of Economics 25.08.2021
Subjects:
algorithm
formal languages
methods of teaching programming
programming languages
software product
ISSN:1818-4243, 2079-5939
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract The purpose of the article is to present the results of a study on the possibility of using a deductive approach in the study of programming languages (from the theory of formal languages to specific programming languages) and the development of a training system for implementing this approach. The issue of training specialists in the field of information technology is still relevant, and the variety of programming languages is so great that it is not always possible to guess which of them will be in demand in professional activities. According to the authors, the application of this approach will allow you to see common elements and find syntactic differences in programming languages, and therefore simplify and speed up their development. The article analyzes the methods of teaching programming, substantiates the relevance of learning formal languages by future IT specialists, formulates the requirements for a software tool to support learning formal languages, describes its implementation.Materials and methods. Theory of formal languages, syntax and semantics of programming languages, lexical analysis, analysis of various sources of information on the subject under study, systematization of the collected data, technologies for designing, implementing and testing software products, experimental research.Results. A methodology for learning programming languages through formal languages is proposed. A software training system has been created that allows you to link the theory of formal languages with high-level languages through appropriate examples. The algorithm of checking the correctness of the task execution by means of syntactic analysis of the program entered by the student and imitation of its execution is developed and implemented in the specified system. Experiments have shown the feasibility of the approach and the performance of the software product. Currently, the developed system is used at Vologda State University when teaching the disciplines “Theory of programming languages and translation methods” and “Theory of automata and formal languages”.Conclusion. The results of the study show the acceptability of the proposed approach and the expediency of using the developed program when learning programming languages.
AbstractList The purpose of the article is to present the results of a study on the possibility of using a deductive approach in the study of programming languages (from the theory of formal languages to specific programming languages) and the development of a training system for implementing this approach. The issue of training specialists in the field of information technology is still relevant, and the variety of programming languages is so great that it is not always possible to guess which of them will be in demand in professional activities. According to the authors, the application of this approach will allow you to see common elements and find syntactic differences in programming languages, and therefore simplify and speed up their development. The article analyzes the methods of teaching programming, substantiates the relevance of learning formal languages by future IT specialists, formulates the requirements for a software tool to support learning formal languages, describes its implementation.Materials and methods. Theory of formal languages, syntax and semantics of programming languages, lexical analysis, analysis of various sources of information on the subject under study, systematization of the collected data, technologies for designing, implementing and testing software products, experimental research.Results. A methodology for learning programming languages through formal languages is proposed. A software training system has been created that allows you to link the theory of formal languages with high-level languages through appropriate examples. The algorithm of checking the correctness of the task execution by means of syntactic analysis of the program entered by the student and imitation of its execution is developed and implemented in the specified system. Experiments have shown the feasibility of the approach and the performance of the software product. Currently, the developed system is used at Vologda State University when teaching the disciplines “Theory of programming languages and translation methods” and “Theory of automata and formal languages”.Conclusion. The results of the study show the acceptability of the proposed approach and the expediency of using the developed program when learning programming languages.
Author Davydova, E. N.
Sergushicheva, A. P.
Author_xml – sequence: 1
  givenname: A. P.
  surname: Sergushicheva
  fullname: Sergushicheva, A. P.
  organization: Vologda State University
– sequence: 2
  givenname: E. N.
  surname: Davydova
  fullname: Davydova, E. N.
  organization: Vologda State University
BookMark eNo9kMFOwzAQRC0EEqXwDfgHAvHaseMjAgqVKnEoXLhYG3tdgtI4cgKIv6ctiNOMRqN3eGfsuE89MXYpyisQutbXohZ1oUDJAkoQhSrErsERm0FpbFFZaY_Z7P90yi7GsW1KpUxVgS1n7PWOPqlLw5b6iWMf-M0wdK3HqU09T5EjX6c4fWEm_pxSx6fE1x_DkPLEp7fdRujf2n6zvy5S3mLHV9hvPnBD4zk7idiNdPGXc_ayuH--fSxWTw_L25tV4YWWUHhta7AhIHgijFHXJaEWsTEoPAhjGq0JCKsQGx2FFDZUCpqKoAnKkJRztvzlhoTvbsjtFvO3S9i6w5DyxmGeWt-RU0HGuvEV1EYobxFVsLUCo5C0kZ52LPPL8jmNY6b4zxOlOxh3e5luL9PtjTvlxK6B_AFKhXaH
Cites_doi 10.21686/1818-4243-2019-2-31-41
ContentType Journal Article
DBID AAYXX
CITATION
DOA
DOI 10.21686/1818-4243-2021-4-13-22
DatabaseName CrossRef
Open Access: DOAJ - Directory of Open Access Journals
DatabaseTitle CrossRef
DatabaseTitleList
Database_xml – sequence: 1
  dbid: DOA
  name: DOAJ Directory of Open Access Journals
  url: https://www.doaj.org/
  sourceTypes: Open Website
DeliveryMethod fulltext_linktorsrc
Discipline Education
EISSN 2079-5939
EndPage 22
ExternalDocumentID oai_doaj_org_article_4d3f8bc528714c9aa4d984274ae673ce
10_21686_1818_4243_2021_4_13_22
GroupedDBID 5VS
AAYXX
ALMA_UNASSIGNED_HOLDINGS
CITATION
GROUPED_DOAJ
ID FETCH-LOGICAL-c1632-c69829dda2ceeaff680ea61fb7a1c2177b66e2ea5dfb6f1319d542b5e2bd47e33
IEDL.DBID DOA
ISSN 1818-4243
IngestDate Fri Oct 03 12:53:43 EDT 2025
Sat Nov 29 05:02:51 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 4
Language English
License https://openedu.rea.ru/jour/about/editorialPolicies#openAccessPolicy
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c1632-c69829dda2ceeaff680ea61fb7a1c2177b66e2ea5dfb6f1319d542b5e2bd47e33
OpenAccessLink https://doaj.org/article/4d3f8bc528714c9aa4d984274ae673ce
PageCount 10
ParticipantIDs doaj_primary_oai_doaj_org_article_4d3f8bc528714c9aa4d984274ae673ce
crossref_primary_10_21686_1818_4243_2021_4_13_22
PublicationCentury 2000
PublicationDate 2021-08-25
PublicationDateYYYYMMDD 2021-08-25
PublicationDate_xml – month: 08
  year: 2021
  text: 2021-08-25
  day: 25
PublicationDecade 2020
PublicationTitle Otkrytoe Obrazovanie
PublicationYear 2021
Publisher Plekhanov Russian University of Economics
Publisher_xml – name: Plekhanov Russian University of Economics
References ref13
ref12
ref15
ref14
ref11
ref10
ref2
ref1
ref17
ref16
ref18
ref8
ref7
ref9
ref4
ref3
ref6
ref5
References_xml – ident: ref13
– ident: ref1
– ident: ref4
– ident: ref2
– ident: ref5
– ident: ref6
– ident: ref7
– ident: ref9
– ident: ref8
– ident: ref18
– ident: ref3
  doi: 10.21686/1818-4243-2019-2-31-41
– ident: ref16
– ident: ref10
– ident: ref11
– ident: ref17
– ident: ref12
– ident: ref15
– ident: ref14
SSID ssib044755290
ssib015894855
ssj0001862428
Score 2.153982
Snippet The purpose of the article is to present the results of a study on the possibility of using a deductive approach in the study of programming languages (from...
SourceID doaj
crossref
SourceType Open Website
Index Database
StartPage 13
SubjectTerms algorithm
formal languages
methods of teaching programming
programming languages
software product
Title Development and Application of a Software Tool to Support the Teaching of Formal Languages
URI https://doaj.org/article/4d3f8bc528714c9aa4d984274ae673ce
Volume 25
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAON
  databaseName: DOAJ Directory of Open Access Journals
  customDbUrl:
  eissn: 2079-5939
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0001862428
  issn: 1818-4243
  databaseCode: DOA
  dateStart: 20130101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
– providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 2079-5939
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssib044755290
  issn: 1818-4243
  databaseCode: M~E
  dateStart: 0
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV05SwQxFA4iFjbiiTcpbIOTczLlKi4WKoKrLDYhJwiyI-uqnb_dl8you5WNzRBCZgjfvLwjefkeQiccZueptcSH4IiQKRLNeU0a7gRnQctUsi0eruqbGz0eN7dzpb5yTlhHD9wBdyoCT9p5mT174RtrRWi0gFjKRlVzH7P2repmLpgCSaJSL7CeZFY7yfrzoLL7Uu5FlHtyYLGIYIJ3yV-MKq1OfzpBiBjEWIRCiy2YrjmG_2KKhutorfch8aCb-wZaipPNXH65T9XYQo9zqUDYTgIe_B5T4zZhi-9A-37YacSjtn3Gsxbn6p7giWPwB_Goz7DMQ4fZp33GV_225us2uh9ejM4vSV9EgXhwtRjxqtGsCcEyMIc2JaWraBVNrrbUQzxSO6Uii1aG5FSisCKDFMzJyFwQdeR8By1P2kncRdhX1rqgdB2pg6Xvmsy8A2FthLekjHoPVd_4mJeOK8NAjFEgNRlSkyE1GVIjDIUW20NnGcef4ZnsunSACJheBMxfIrD_Hx85QKvlX1egOOQhWp5N3-IRWvHvs6fX6XGRLnhef158AacozeI
linkProvider Directory of Open Access Journals
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Development+and+Application+of+a+Software+Tool+to+Support+the+Teaching+of+Formal+Languages&rft.jtitle=Otkrytoe+Obrazovanie&rft.au=Sergushicheva%2C+A.+P.&rft.au=Davydova%2C+E.+N.&rft.date=2021-08-25&rft.issn=1818-4243&rft.eissn=2079-5939&rft.volume=25&rft.issue=4&rft.spage=13&rft.epage=22&rft_id=info:doi/10.21686%2F1818-4243-2021-4-13-22&rft.externalDBID=n%2Fa&rft.externalDocID=10_21686_1818_4243_2021_4_13_22
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1818-4243&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1818-4243&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1818-4243&client=summon