Vinay S. Shekhar, Akshata Prabhu, K. Puranik, L. Antin, Viraj Kumar
{"title":"JFLAP扩展教师和学生","authors":"Vinay S. Shekhar, Akshata Prabhu, K. Puranik, L. Antin, Viraj Kumar","doi":"10.1109/T4E.2014.22","DOIUrl":null,"url":null,"abstract":"JFLAP is a popular open-source software tool used in Formal Languages and Automata courses. In this paper, we present two kinds of enhancements to JFLAP's capabilities with regards to finite automata: (1) we provide instructors with the ability to understand difficulties faced by students on an individual and collective basis by tracking student progress as they solve automata construction problems, and (2) we offer students a simple and intuitive means to specify correctness of their automata constructions, and a mechanism to easily test their automata against such correctness specifications. We believe that these extensions enhance the value of JFLAP as a resource for both instructors and students.","PeriodicalId":151911,"journal":{"name":"2014 IEEE Sixth International Conference on Technology for Education","volume":"416 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"JFLAP Extensions for Instructors and Students\",\"authors\":\"Vinay S. Shekhar, Akshata Prabhu, K. Puranik, L. Antin, Viraj Kumar\",\"doi\":\"10.1109/T4E.2014.22\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"JFLAP is a popular open-source software tool used in Formal Languages and Automata courses. In this paper, we present two kinds of enhancements to JFLAP's capabilities with regards to finite automata: (1) we provide instructors with the ability to understand difficulties faced by students on an individual and collective basis by tracking student progress as they solve automata construction problems, and (2) we offer students a simple and intuitive means to specify correctness of their automata constructions, and a mechanism to easily test their automata against such correctness specifications. We believe that these extensions enhance the value of JFLAP as a resource for both instructors and students.\",\"PeriodicalId\":151911,\"journal\":{\"name\":\"2014 IEEE Sixth International Conference on Technology for Education\",\"volume\":\"416 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-12-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 IEEE Sixth International Conference on Technology for Education\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/T4E.2014.22\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 IEEE Sixth International Conference on Technology for Education","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/T4E.2014.22","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
JFLAP is a popular open-source software tool used in Formal Languages and Automata courses. In this paper, we present two kinds of enhancements to JFLAP's capabilities with regards to finite automata: (1) we provide instructors with the ability to understand difficulties faced by students on an individual and collective basis by tracking student progress as they solve automata construction problems, and (2) we offer students a simple and intuitive means to specify correctness of their automata constructions, and a mechanism to easily test their automata against such correctness specifications. We believe that these extensions enhance the value of JFLAP as a resource for both instructors and students.