activity
20092023
most citedNondeterministic State Complexity for Suffix-Free Regular Languages

14 citations · 33 across the 10 of their papers we have counts for

collaborators

12 papers

cs.FL2023

Descriptional Complexity of Finite Automata -- Selected Highlights

Arto Salomaa, Kai Salomaa, Taylor J. Smith

The state complexity, respectively, nondeterministic state complexity of a regular language is the number of states of the minimal deterministic, respectively, of a minimal non…

cs.FL2021

Degrees of Restriction for Two-Dimensional Automata

Taylor J. Smith, Kai Salomaa

A three-way (resp., two-way) two-dimensional automaton has a read-only input head that moves in three (resp., two) directions on a finite array of cells labelled by symbols of the…

cs.FL2020

Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata

Taylor J. Smith, Kai Salomaa

The row projection (resp., column projection) of a two-dimensional language is the one-dimensional language consisting of all first rows (resp., first columns) of each two-dime…

cs.FL2020★ 2 cited

Concatenation Operations and Restricted Variants of Two-Dimensional Automata

Taylor J. Smith, Kai Salomaa

A two-dimensional automaton operates on arrays of symbols. While a standard (four-way) two-dimensional automaton can move its input head in four directions, restricted two-dimensio…

cs.FL2019★ 2 cited

Decision Problems for Restricted Variants of Two-Dimensional Automata

Taylor J. Smith, Kai Salomaa

A two-dimensional finite automaton has a read-only input head that moves in four directions on a finite array of cells labelled by symbols of the input alphabet. A three-way two-di…

cs.FL2018

Site-Directed Insertion: Decision Problems, Maximality and Minimality

Da-Jung Cho, Yo-Sub Han, Kai Salomaa +1

Site-directed insertion is an overlapping insertion operation that can be viewed as analogous to the overlap assembly or chop operations that concatenate strings by overlapping a s…