VisA

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

VisA: towards a students' green card to automata theory and formal languages

Full text

Pdf (865 KB)

Source

ACM International Conference Proceeding Series; Vol. 3 archive
Proceedings of the 3rd Australasian conference on Computer science education table of contents

The University of Queensland, Australia

Pages: 67 - 75

Year of Publication: 1998

ISBN:1-58113-018-X

Authors

Markus Holzer	Wilhelm-Schickard Institut für Informatik, Universität Tübingen, Sand 13, D-72076 Tübingen, Germany
Muriel Quenzer	Wilhelm-Schickard Institut für Informatik, Universität Tübingen, Sand 13, D-72076 Tübingen, Germany

Sponsors

SIGCSE: ACM Special Interest Group on Computer Science Education
University of Queensland : University of Queensland

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 1, Citation Count: 0

Additional Information:

references index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/289393.289405 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	M. A. Alberti. Instructional softvmre for the theory of computation. In Proceedings of the 7th International Conference on Technology and Education, Brussels, Belgium, 1990.
	2	B. Cassel and G. Davies (editors). Integrating Technolegy into Computer Science, Volume 28 of A CM SIGCSE Bulletim ACM, 1996.
	3	A. Dfaz de Ilarraza S~achez and I. Fem~mdez de Castro (editors). Proceedings of the 3rd International Conference on Computer Aided Learn- ~ng and Instruction in Science and Enginieering, number 1108 in LNCS, San Sebastian, Spain, july 1996. Springer.
	4	G. A. DickSe. About IDVL {Online}. A~-ailable: ber 1996.
	5	M. Grinder. Dynalab finite state automaton applet. {Online}. Available: http://www, cs. montana, edu/" dynalab/f s a/ fsa.html. September 1996.
	6	John E. Hopcroft , Jeffrey D. Ullman, Introduction To Automata Theory, Languages, And Computation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
	7	D. Ierardi and T.-W. Li. Animating algorithms, I--Interactive animations of several t3rpes of binary search trees. {Online}. Available: http://langevin.usc.edu/BST/. April 1996.
	8	D. E. Joyce. Euclid's elementsI-XIII. {Online}. Available: http://aleph0, clarku, edu/" dj oyce/j ava/ elements/elements.html. Juni 1097.
	9	H. Lauer. GraVis--A dynamically extensible platfonn for interactive graph algorithms. Technical Report WSL97-4, Wilhehn-Schic/mrdlustitut ffir Infonnatik, Universit~t T~bingen, Sand 13, D-72076 Tfibingen, Germany, 1997.
	10	O. Matz, A. Miller, A. Potthoff, W. Thomas and E. Valkema. Report on the program AMoRE. Report 9507, Institut fiir Informatik und Praktische Mathematik, Christian- Albrechts-Universit~t Kiel, Germany, 1995.
	11	Amir Michail, Teaching Binary Tree Algorithms through Visual Programming, Proceedings of the 1996 IEEE Symposium on Visual Languages, p.38, September 03-06, 1996
	12	M. Quenzer. Interaktive Hypermedia Teachware ffir das World Wide Web--Konzeption, Entwicklung mad Implementation eines elektronischen Tutorials flux die Grundlagen der Automatentheorie. Diplomarbeit (in German), Sfiddeutsche Fachhochschule fftr Benffst~tige, Lahr, Germany, 1998. In preparation.
	13	Darrell Raymond , Derick Wood, Grail: a C++ library for automata and expressions, Journal of Symbolic Computation, v.17 n.4, p.341-350, April 1994 [doi>10.1006/jsco.1994.1023]
	14	Susan H. Rodger, Integrating Hands-on Work into the Formal Languages Course via Tools and Programming, Revised Papers from the First International Workshop on Implementing Automata, p.132-148, August 29-31, 1996
	15	Rocky Ross, EDUCATION FORUM, ACM SIGACT News, v.28 n.1, p.13, March 1997 [doi>10.1145/250037.568466]
	16	Gertjan van Noord, FSA Utilities: A Toolbox to Manipulate Finite-State Automata, Revised Papers from the First International Workshop on Implementing Automata, p.87-108, August 29-31, 1996
	17	Derrick Wood, Theory of Computation: A Primer, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987