Formal Languages and Automata Theory Group
Part of the
School of Computing
at Queen's University ,
the Automata and Formal Languages Group is located on the
fifth floor of Goodwin Hall.
Information Concerning Our Research
The research belongs to the general area of automata and
formal language theory.
Some recurring themes in our work are:
- descriptive complexity of automata and grammars
- the power of nondeterminism (in finite and pushdown automata)
- borderlines between decidable and undecidable
Recent surveys
- Alexander Okhotin, Kai Salomaa:
Complexity of Input-Driven
Pushdown Automata, SIGACT News, Vol. 45, No. 2 (2014) 47-67
- Alexandros Palioudakis, Kai Salomaa, Selim G. Akl:
Quantifying Nondeterminism in Finite
Automata,
Annals of the University of Bucharest,
Informatica, No. 2 (2015) 89-100
-
Timothy Ng, David Rappaport, Kai Salomaa:
Descriptional Complexity of
Error Detection, to appear, 2016
Current Research Projects
- state and transition complexity of finite automaton operations
- NFAs with limited nondeterminism
- tree automata and input-driven pushdown automata
- metrics and distance measures for languages
- formal language models inspired by bio-computing;
membrane computing
- implementation of automata, algorithms and applications
- language equations, orthogonality
- shuffle on trajectories,
shuffle decomposition of regular languages
References to recent publications can be found on the group members'
web pages.
Research Team
- Current Members
-
- John Alajaji
-
Mahzabeen Emu
-
Peash Saha
-
Kai Salomaa
-
Mohammad Zakzok
- Past Members
-
-
Fabio Campioni
-
Salimur Choudhury
-
Adam Clarridge
-
Brendan Cordy
-
Mike Domaratzki
-
Daniel Goc
-
Casey Keeler
-
Bahram Kouhestani
-
Connor Little
-
Oliver Lyon
-
Chris McAloney
-
Timothy Ng
-
Alexander Okhotin
-
Michael Ounsworth
-
Alexandros Palioudakis
- Thomas Parker
-
Xiaoxue Piao
-
Afroza Rahman
-
Oscar Castro Reyes
-
Paul Schofield
-
David Sears
-
Taylor Smith
- Alan Wong
-
Jinfeng Zan
- Associate Members
-
-
Cezar Campeanu - University of Prince Edward Island
-
Salimur Choudhury
- Lakehead University
-
Michael Domaratzki - Western University
-
Timothy Ng - University of Chicago
-
Alexander Okhotin - St. Petersburg State University
-
Taylor Smith - St. Francis Xavier University
-
Sandor Vagvolgyi - University of Szeged
Recent conference on automata at Queen's
Contact Information
School of Computing
Queen's University
Kingston, Ontario K7L 3N6, Canada
Telephone: +(613) 533-6073
(or use the
Queen's electronic phone book for specific
individuals)