(New page: Research has been done on the educational usage of JFLAP as well as using JFLAP as a tool in other research. Feel free to add descriptions of your research and how JFLAP was used or invest...) |
|||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | Research has been done on the educational usage of JFLAP as well as using JFLAP as a tool in other research. Feel free to add descriptions of your research and how JFLAP was used or investigated. |
+ | Research has been done on the educational usage of JFLAP as well as using JFLAP as a tool in other research. Feel free to add descriptions of your research and how JFLAP was used or investigated by creating a new article as necessary. |
---- |
---- |
||
====Research Project Link to New Article==== |
====Research Project Link to New Article==== |
||
| + | JFLAP is a useful tool for exploring formal languages in group theory. We use JFLAP to produce a Turing machine that accepts a language of normal geodesic forms for the horocyclic subgroup of BS(2,3). This language is provably non-context-free. The article is"Growth in Baumslag-Solitar groups I: subgroups and rationality", LMS Journal of Computation and Mathematics, Volume 14, pp 34--71. ( This open access article can be found at [http://journals.cambridge.org journals.cambridge.org] and JFLAP files found at [http://antares.sc.suu.edu/papers.html antares.sc.suu.edu/papers.html] ) |
||
| − | Brief Summary |
||
| − | |||
====Research Project Link to New Article==== |
====Research Project Link to New Article==== |
||
Revision as of 19:45, 12 January 2012
Research has been done on the educational usage of JFLAP as well as using JFLAP as a tool in other research. Feel free to add descriptions of your research and how JFLAP was used or investigated by creating a new article as necessary.
Research Project Link to New Article
JFLAP is a useful tool for exploring formal languages in group theory. We use JFLAP to produce a Turing machine that accepts a language of normal geodesic forms for the horocyclic subgroup of BS(2,3). This language is provably non-context-free. The article is"Growth in Baumslag-Solitar groups I: subgroups and rationality", LMS Journal of Computation and Mathematics, Volume 14, pp 34--71. ( This open access article can be found at journals.cambridge.org and JFLAP files found at antares.sc.suu.edu/papers.html )
Research Project Link to New Article
Brief Summary
Research Project Link to New Article
Brief Summary
Research Project Link to New Article
Brief Summary