I am a PhD student at Stony Brook University, interested in Mathematical Linguistics. Specifically I work with Subregular description and factorization.
Over the years I have been building an interactive theorem-prover for Subregular logics. Implemented in Haskell as both a library and supporting command-line tools, the Language Toolkit (LTK) enables somewhat easy translation from constraints to automata (and, in some cases, the reverse translation). For any Regular language, LTK can also determine which of the simple single-relation Subregular classes that language is in.
James Rogers and Dakotah Lambert. 2019. Some classes of sets of structures definable without quantifiers. In Proceedings of the 16th Meeting on the Mathematics of Language, pages 63–77, Toronto, Canada. Association for Computational Linguistics.
Dakotah Lambert and James Rogers. 2019. A logical and computational methodology for exploring systems of phonotactic constraints. In Proceedings of the Society for Computation in Linguistics, volume 2, pages 247–256, New York City, New York.
James Rogers and Dakotah Lambert. 2017. Extracting forbidden factors from Regular stringsets. In Proceedings of the 15th Meeting on the Mathematics of Language, pages 36–46, London, UK. Association for Computational Linguistics.
Dakotah Lambert, Margaret Fero, Andrew Dai, and James Rogers. 2014. A workbench for logically definable stringsets. In Proceedings of the 2014 Midstates Conference for Undegraduate Research in Computer Science and Mathematics, pages 47–52, Wooster, OH.
James Rogers, Jeffrey Heinz, Margaret Fero, Jeremy Hurst, Dakotah Lambert, and Sean Wibel. 2012. Cognitive and sub-regular complexity. In Glyn Morrill and Mark-Jan Nederhof, editor, Formal Grammar 2012, volume 8036 of Lecture Notes in Computer Science, pages 90–108. Springer Verlag.