An Interactive Approach to Formal Languages and Automata with JFLAP
使用 JFLAP 的形式语言和自动机的交互式方法
基本信息
- 批准号:0442513
- 负责人:
- 金额:$ 35.94万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2005
- 资助国家:美国
- 起止时间:2005-05-01 至 2010-04-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Computer Science (31)Almost all Formal Languages and Automata (FLA) textbooks present theoretical material in a formal manner with little visualization and no feedback. This project is developing an innovative way of teaching FLA that uses the JFLAP instructional software tool to explore abstract concepts while learning the formal theory. It is also evaluating JFLAP's effectiveness through an extensive study. The goal is to show that when using JFLAP in addition to the formal theory, students gain a better and deeper understanding of FLA.Intellectual Merit:The material developed in this proposal is providing an interactive, discovery-based approach to learning. Students can receive immediate feedback on problems, and solve types of problems that are difficult to do with pencil and paper.Broader Impacts:This project is working with 11 institutions, four of which are minority non-PhD granting institutions. Its approach gives students a more hands-on approach to learning this theoretical material. JFLAP lets faculty relate the more theoretical FLA course to other computer science courses by addressing similar issues such as testing, debugging, and run time analysis. Dissemination includes enhanced software, a JFLAP user manual, a hands-on textbook, an online teacher's guide, papers, and four faculty workshops at conferences.
几乎所有的形式语言和自动机(弗拉)教科书都以形式化的方式呈现理论材料,几乎没有可视化,也没有反馈。这个项目正在开发一种创新的弗拉教学方法,使用JFLAP教学软件工具来探索抽象概念,同时学习形式理论。它还通过广泛的研究评估JFLAP的有效性。我们的目标是表明,当使用JFLAP除了正式的理论,学生获得更好和更深入的理解弗拉。智力优点:在这个建议中开发的材料是提供一个互动的,发现为基础的学习方法。学生可以立即收到问题的反馈,并解决铅笔和纸难以解决的问题。更广泛的影响:该项目与11个机构合作,其中4个是少数民族非博士授予机构。它的方法为学生提供了一个更动手的方法来学习这一理论材料。JFLAP让教师通过解决类似的问题,如测试,调试和运行时分析,将更多的理论弗拉课程与其他计算机科学课程联系起来。传播包括增强的软件,JFLAP用户手册,实践教科书,在线教师指南,论文和四个教师研讨会。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Susan Rodger其他文献
A new approach to the dynamic maintenance of maximal points in a plane
- DOI:
10.1007/bf02187797 - 发表时间:
1990-08-01 - 期刊:
- 影响因子:0.600
- 作者:
Greg N. Frederickson;Susan Rodger - 通讯作者:
Susan Rodger
Susan Rodger的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Susan Rodger', 18)}}的其他基金
The Association of Computing Machinery's Special Interest Group in Computer Science Education's New Global Computing Education Conference 2019
计算机协会计算机科学教育特别兴趣小组2019年新全球计算机教育会议
- 批准号:
1901755 - 财政年份:2019
- 资助金额:
$ 35.94万 - 项目类别:
Standard Grant
Collaborative Research: Assessing and Expanding the Impact of OpenDSA, an Open-Source, Interactive eTextbook for Data Structures and Algorithms
协作研究:评估和扩大 OpenDSA(一本用于数据结构和算法的开源交互式电子教科书)的影响
- 批准号:
1431667 - 财政年份:2015
- 资助金额:
$ 35.94万 - 项目类别:
Standard Grant
Collaborative Research: Scaling up an Innovative Approach for Attracting Students to Computing
合作研究:扩大吸引学生学习计算机的创新方法
- 批准号:
1031351 - 财政年份:2011
- 资助金额:
$ 35.94万 - 项目类别:
Continuing Grant
Integrating Visualization and Interaction into the Formal Languages and Automata Course
将可视化和交互融入形式语言和自动机课程
- 批准号:
1044191 - 财政年份:2011
- 资助金额:
$ 35.94万 - 项目类别:
Standard Grant
An innovative approach for attracting students to computing: A comprehensive proposal
吸引学生学习计算机的创新方法:综合提案
- 批准号:
0624642 - 财政年份:2007
- 资助金额:
$ 35.94万 - 项目类别:
Standard Grant
CPATH CB: Building Community via the Science of Networks
CPATH CB:通过网络科学构建社区
- 批准号:
0722288 - 财政年份:2007
- 资助金额:
$ 35.94万 - 项目类别:
Standard Grant
ITWF: Collaborative Research: Increasing the Representation of Undergraduate Women and Minorities in Computer Science
ITWF:合作研究:增加本科生女性和少数族裔在计算机科学领域的代表性
- 批准号:
0420343 - 财政年份:2004
- 资助金额:
$ 35.94万 - 项目类别:
Standard Grant
Visualizing and Animating Proofs in the Mathematical Foundations of Computer Science
计算机科学数学基础中的可视化和动画证明
- 批准号:
9752583 - 财政年份:1998
- 资助金额:
$ 35.94万 - 项目类别:
Standard Grant
Visual and Interactive Tools Incorporated into the Mathematical Foundations of Computer Science
纳入计算机科学数学基础的视觉和交互工具
- 批准号:
9555084 - 财政年份:1996
- 资助金额:
$ 35.94万 - 项目类别:
Standard Grant
A Visual and Interactive Approach to the Foundations of Computer Science
计算机科学基础的可视化和交互式方法
- 批准号:
9354791 - 财政年份:1994
- 资助金额:
$ 35.94万 - 项目类别:
Standard Grant
相似国自然基金
EnSite array指导下对Stepwise approach无效的慢性房颤机制及消融径线设计的实验研究
- 批准号:81070152
- 批准年份:2010
- 资助金额:10.0 万元
- 项目类别:面上项目
相似海外基金
Cyber Risk-Resilience of Wind Plants: A Formal Approach to Verify Safety and Stability of Wind Turbines and Power Plants
风力发电厂的网络风险抵御能力:验证风力涡轮机和发电厂安全性和稳定性的正式方法
- 批准号:
2881978 - 财政年份:2023
- 资助金额:
$ 35.94万 - 项目类别:
Studentship
The Social-Medical Network: Using a Network Approach to Explore the Integration of Informal and Formal Care Networks of Older Adults
社会医疗网络:利用网络方法探索老年人非正式和正式护理网络的整合
- 批准号:
10724756 - 财政年份:2023
- 资助金额:
$ 35.94万 - 项目类别:
CAREER: DeepCertify: Data-driven Formal Approach to Safe Autonomy
职业:DeepCertify:数据驱动的安全自治正式方法
- 批准号:
2238030 - 财政年份:2023
- 资助金额:
$ 35.94万 - 项目类别:
Continuing Grant
A formal approach to intrusion detection
入侵检测的正式方法
- 批准号:
RGPIN-2019-05327 - 财政年份:2022
- 资助金额:
$ 35.94万 - 项目类别:
Discovery Grants Program - Individual
Assessing the Impacts of Social Categorization on Person Perception and Behavior: A Formal Modeling Approach
评估社会分类对人的感知和行为的影响:正式的建模方法
- 批准号:
2215236 - 财政年份:2022
- 资助金额:
$ 35.94万 - 项目类别:
Continuing Grant
A reference file theoretic approach to the interpretive diversity and formal unity of existential and copular sentences
存在句和共行句的解释多样性和形式统一的参考文件理论方法
- 批准号:
22K00553 - 财政年份:2022
- 资助金额:
$ 35.94万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
A formal approach to intrusion detection
入侵检测的正式方法
- 批准号:
RGPIN-2019-05327 - 财政年份:2021
- 资助金额:
$ 35.94万 - 项目类别:
Discovery Grants Program - Individual
A formal approach to the semantics and syntax of speech acts in natural language
自然语言中言语行为的语义和句法的形式化方法
- 批准号:
21K13000 - 财政年份:2021
- 资助金额:
$ 35.94万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
NRI: FND: A Formal Methods Approach to Safe, Composable, and Distributed Reinforcement Learning for co-Robots
NRI:FND:协作机器人安全、可组合和分布式强化学习的形式化方法
- 批准号:
2024606 - 财政年份:2020
- 资助金额:
$ 35.94万 - 项目类别:
Standard Grant
A formal approach to intrusion detection
入侵检测的正式方法
- 批准号:
RGPIN-2019-05327 - 财政年份:2020
- 资助金额:
$ 35.94万 - 项目类别:
Discovery Grants Program - Individual