메뉴 건너뛰기




Volumn 29, Issue 1, 1997, Pages 15-19

A collection of tools for making automata theory and formal languages come alive

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED INSTRUCTION; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; CONTEXT FREE GRAMMARS; FINITE AUTOMATA; TURING MACHINES;

EID: 0010182795     PISSN: 00978418     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/268085.268089     Document Type: Article
Times cited : (23)

References (12)
  • 2
    • 3843103761 scopus 로고
    • Stanford: CSLI Publications, New York: Cambridge University Press
    • J. Barwise and J. Etchemedy, Turing's World, Stanford: CSLI Publications, New York: Cambridge University Press, 1993.
    • (1993) Turing's World
    • Barwise, J.1    Etchemedy, J.2
  • 4
    • 0026262987 scopus 로고
    • ZEUS: A System for algorithm animation and multi-view editing
    • Kobe, Japan, Oct.
    • M. Brown, ZEUS: A System for algorithm animation and multi-view editing. Proceedings of the IEEE 1991 Workshop on Visual Languages, p. 4-9, Kobe, Japan, Oct. 1991.
    • (1991) Proceedings of the IEEE 1991 Workshop on Visual Languages , pp. 4-9
    • Brown, M.1
  • 5
    • 85030654352 scopus 로고
    • AACE - Algorithm Animation for Computer Science Education
    • P. Gloor, AACE - Algorithm Animation for Computer Science Education, IEEE Workshop on Visual Languages, p. 25-31, 1992.
    • (1992) IEEE Workshop on Visual Languages , pp. 25-31
    • Gloor, P.1
  • 6
    • 84976711479 scopus 로고
    • HyperCard Automata Simulation: Finite State, Pushdown and Turing Machines
    • June
    • D. Hannay, HyperCard Automata Simulation: Finite State, Pushdown and Turing Machines, SIGCSE Bulletin, 24, 2, p. 55-58, June 1992.
    • (1992) SIGCSE Bulletin , vol.24 , Issue.2 , pp. 55-58
    • Hannay, D.1
  • 9
    • 3943057654 scopus 로고    scopus 로고
    • Integrating Hands-On Work into the Formal Languages Course via Tools and Programming
    • London, Ontario, (to appear)
    • S. Rodger, Integrating Hands-On Work into the Formal Languages Course via Tools and Programming, First International Workshop on Implementing Automata, London, Ontario, 1996, (to appear).
    • (1996) First International Workshop on Implementing Automata
    • Rodger, S.1
  • 10
    • 0030396737 scopus 로고    scopus 로고
    • Visualization and Interaction in the Computer Science Formal Languages Course with JFLAP
    • Salt Lake City, Utah, (to appear)
    • M. Procopiuc, O. Procopiuc, and S. Rodger, "Visualization and Interaction in the Computer Science Formal Languages Course with JFLAP," 1996 Frontiers in Education Conference, Salt Lake City, Utah, 1996, (to appear).
    • (1996) 1996 Frontiers in Education Conference
    • Procopiuc, M.1    Procopiuc, O.2    Rodger, S.3
  • 11
    • 0025480728 scopus 로고
    • Tango: A Framework and System for Algorithm Animation
    • September
    • J. Stasko, Tango: A Framework and System for Algorithm Animation, IEEE Computer, p.27-39, September 1990.
    • (1990) IEEE Computer , pp. 27-39
    • Stasko, J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.