Proceedings of the 2018 5th International Conference on Education, Management, Arts, Economics and Social Science (ICEMAESS 2018)

Experimental Design of Formal Language and Automata Course

Authors
Qing he Pan
Corresponding Author
Qing he Pan
Available Online November 2018.
DOI
10.2991/icemaess-18.2018.6How to use a DOI?
Keywords
Formal languages, Automata, F#, Graphviz
Abstract

Formal languages and automata is a major theoretical course. This course studies the theoretical problems of automata and formal languages with a high degree of abstraction. In order to enable students to better understand and grasp the contents of the course, it needs to design the experimental courses. In this paper, a design scheme based on a functional programming language F# and a drawing tool named Graphviz is proposed. By using F#, the theoretical content is converted to the actual running code, then the code is run and the results are displayed with Graphviz. The practice proves that the scheme is feasible and can enable students to deepen their understanding of what they have learned, improve the ability to solve problems.

Copyright
© 2018, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2018 5th International Conference on Education, Management, Arts, Economics and Social Science (ICEMAESS 2018)
Series
Advances in Social Science, Education and Humanities Research
Publication Date
November 2018
ISBN
978-94-6252-617-4
ISSN
2352-5398
DOI
10.2991/icemaess-18.2018.6How to use a DOI?
Copyright
© 2018, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Qing he Pan
PY  - 2018/11
DA  - 2018/11
TI  - Experimental Design of Formal Language and Automata Course
BT  - Proceedings of the 2018 5th International Conference on Education, Management, Arts, Economics and Social Science (ICEMAESS 2018)
PB  - Atlantis Press
SP  - 25
EP  - 31
SN  - 2352-5398
UR  - https://doi.org/10.2991/icemaess-18.2018.6
DO  - 10.2991/icemaess-18.2018.6
ID  - Pan2018/11
ER  -