Skip to main content

The language complexity of problems in algebra and logic (DP160100486)

Project Member(s): Elder, M.

Funding or Partner Organisation: Australian Research Council (ARC Discovery Projects)
Australian Research Council (ARC Discovery Projects)

Start year: 2016

Publications:

Bishop, A & Elder, M 2019, 'Bounded Automata Groups are co-ET0L', Language and Automata Theory and Applications, Springer International Publishing, pp. 82-94.
View/Download from: UTS OPUS

Ciobanu, L & Elder, M 2019, 'Solutions sets to systems of equations in hyperbolic groups are EDT0L in PSPACE', LIPIcs : Leibniz International Proceedings in Informatics, 46th International Colloquium on Automata, Languages and Programming, Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, Patras, Greece.
View/Download from: UTS OPUS or Publisher's site

Ciobanu, L, Elder, MJ & Ferov, M 2018, 'Applications of L systems to group theory', International Journal of Algebra and Computation, vol. 28, no. 2, pp. 309-330.
View/Download from: UTS OPUS or Publisher's site

Elder, MJ & Goh, YK 2018, 'Permutations Sorted by a Finite and an Infinite Stack in Series', LATA 2018: Language and Automata Theory and Applications (LNCS), Language and Automata Theory and Applications, Springer, Ramat Gan, Israel, pp. 220-231.
View/Download from: UTS OPUS or Publisher's site

Elder, MJ & Diekert, V 2017, 'Solutions of Twisted Word Equations, EDT0L Languages, and Context-Free Groups', Leibniz International Proceedings in Informatics (LIPIcs), International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Warsaw, Poland, pp. 96:1-96:14.
View/Download from: UTS OPUS or Publisher's site

Ciobanu, L, Diekert, V & Elder, M 2016, 'Solution sets for equations over free groups are EDT0L languages', International Journal of Algebra and Computation, vol. 26, pp. 843-886.
View/Download from: UTS OPUS or Publisher's site

FOR Codes: Group Theory and Generalisations, Computational Logic and Formal Languages, Combinatorics and Discrete Mathematics (excl. Physical Combinatorics), Expanding Knowledge in the Mathematical Sciences, Expanding Knowledge in the Information and Computing Sciences