EDBT 2026 Demo / reviewers in the wild / expert
Taylor J. Smith
dblp:176/5446
· DBLP profile ↗
7ranked-venue papers
4as first author
4since 2021 · last 2024
0000-0001-7838-3409ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 6 · 3 first-author · 3 since 2021Databases, data management, data science and information retrieval · 1Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Descriptional Complexity of Finite Automata - Selected HighlightsabstractThe state complexity, respectively, nondeterministic state complexity of a regular language L is the number of states of the minimal deterministic, respectively, of a minimal nondeterministic finite automaton for L. Some of the most studied state complexity questions deal with size comparisons of nondeterministic finite automata of differing degree of ambiguity. More generally, if for a regular language we compare the size of description by a finite automaton and by a more powerful language definition mechanism, such as a context-free grammar, we encounter non-recursive trade-offs. Operational state complexity studies the state complexity of the language resulting from a regularity preserving operation as a function of the complexity of the argument languages. Determining the state complexity of combined operations is generally challenging and for general combinations of operations that include intersection and marked concatenation it is uncomputable. Arto Salomaa, Kai Salomaa, Taylor J. Smith |
Fundam. Informaticae | 3 |
| 2021 | Concatenation Operations and Restricted Variants of Two-Dimensional Automata
Taylor J. Smith, Kai Salomaa |
SOFSEM | 1 |
| 2021 | Degrees of Restriction for Two-Dimensional Automata
Taylor J. Smith, Kai Salomaa |
CIAA | 1 |
| 2021 | Decision problems and projection languages for restricted variants of two-dimensional automata
Taylor J. Smith, Kai Salomaa |
Theor. Comput. Sci. | 1 |
| 2019 | Decision Problems for Restricted Variants of Two-Dimensional Automata
Taylor J. Smith, Kai Salomaa |
CIAA | 1 |
| 2019 | Site-directed insertion: Language equations and decision problems
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith |
Theor. Comput. Sci. | 4 |
| 2017 | Periodicity in rectangular arrays
Guilhem Gamard, Gwénaël Richomme, Jeffrey Shallit, Taylor J. Smith |
Inf. Process. Lett. | 4 |