Teaching language theory and automata: a compiler generation oriented approach using AtoCC

Title Alternative:Języki formalne a abstrakcja automatów nauczania: udostępnienie drogi tworzenia kompilatora – generowanie z AtoCC
Simple item page
dc.contributor.authorHielscher,Michael
dc.contributor.authorWagenknecht, Christian
dc.date.accessioned2017-12-14
dc.date.available2017-12-14
dc.date.issued2009
dc.description.abstractVyučování formálním jazykům a abstraktním automatům tak, aby to motivovalo studenty k aktivnímu učení, je opravdovou výzvou. Tento příspěvek představuje didaktický směr, který smysluplně spojuje vhodná témata teoretické informatiky s jejím praktickým využitím. K realizaci tohoto postupu bylo vytvořeno vhodné studijní prostředí (AtoCC). Na konkrétním vyučovacím příkladu je znázorněno, jak je AtoCC vyučovací oporou pro učitele i studijní oporou pro studenty.cs
dc.description.abstractNauczanie języków formalnych i abstrakcyjnych automatów (FSuA) w taki sposób, aby stanowiło to dla studentów motywację do aktywnej nauki, jest prawdziwym wyzwaniem. Niniejszy artykuł przedstawia ukierunkowanie dydaktyki, łączące w sensowny sposób odpowiednie zagadnienia teorii informatyki z jej praktycznym zastosowaniem. W celu realizacji takiego podejścia opracowano narzędzie do nauki (AtoCC). Na konkretnym przykładzie zajęć przedstawiono, jak AtoCC wspomaga nauczycieli w nauczaniu i studentów w nauce.pl
dc.description.abstractTeaching Language Theory and Automata (LTaA) in such a way that students are highly motivated to actively learn is quite a challenging task. This paper presents a pedagogical approach that connects suitable parts of these rather abstract topics with some applications in automated compiler construction, i.e. compiler generation. To get this approach implemented in a real class situation we have developed an appropriate learning environment, called AtoCC. To illustrate how AtoCC can be used to support teaching as well as learning, an extensive exercise on compiler generation, which the authors lecture on, is presented.en
dc.description.abstractFormale Sprachen und abstrakte Automaten (FSuA) so zu lehren, dass die Studierenden zu aktivem Lernen motiviert werden, ist eine echte Herausforderung. Dieser Aufsatz stellt einen didaktischen Weg vor, der geeignete Themen aus der theoretischen Informatik sinnvoll mit deren praktischer Anwendung im Compilerbau verknüpft. Um dieses Vorgehen umsetzen zu können, haben wir eine angepasste Lernumgebung (AtoCC) entwickelt. An einem konkreten Unterrichtsbeispiel wird vorgestellt, wie AtoCC sowohl den Lehrenden als auch den Lernenden unterstützt.de
dc.formattextcs
dc.format.extent9 stran
dc.identifier.eissn1803-9790
dc.identifier.issn1803-9782
dc.identifier.otherACC_2009_1_01
dc.identifier.urihttps://dspace.tul.cz/handle/15240/21339
dc.language.isoen
dc.licenseCC BY-NC 4.0
dc.publisherTechnická univerzita v Liberci, Česká republikacs
dc.relation.isbasedonHielscher M.: AtoCC Website, March 2009.
dc.relation.isbasedonHielscher M., Wagenknecht C.: AtoCC: learning environment for teaching theory of automata and formal languages. In ITICSE '06: Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education, page 306, New York, NY, USA, 2006. ACM.
dc.relation.isbasedonMcKeeman W., Wortman D., Horning J.: Compiler Generator (Automatic Computation). Prentice-Hall Englewood Cliffs, N.J., USA, 1970.
dc.relation.isbasedonT. J. T. F. on Computing Curricula: Computing Curricula 2001 Computer Science, Final Report. IEEE Computer Society, Association for Computing Machinery, 2001.
dc.relation.isbasedonRodger S.: Learning automata and formal languages interactively with jflap.
dc.relation.isbasedonIn ITICSE '06: Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education, page 360, New York, NY, USA, 2006. ACM.
dc.relation.ispartofACC Journalen
dc.relation.isrefereedtrue
dc.titleTeaching language theory and automata: a compiler generation oriented approach using AtoCCen
dc.title.alternativeJęzyki formalne a abstrakcja automatów nauczania: udostępnienie drogi tworzenia kompilatora – generowanie z AtoCCpl
dc.title.alternativeFormální jazyky a abstrakty automatické výuky: zpřístupnění cesty vytváření kompilátoru – generování s AtoCCcs
dc.title.alternativeFormale Sprachen und Abstrakte automaten lehren: ein Zugang via Compiler-Generierung mit AtoCCde
dc.typeArticleen
local.accessopen
local.citation.epage14
local.citation.spage6
local.fulltextyesen
local.relation.issue1
local.relation.volume15
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
ACC_2009_1_01.pdf
Size:
361.3 KB
Format:
Adobe Portable Document Format
Description:
Článek
Download
Collections
2009/1