Kai Salomaa

From MaRDI portal
Person:247255

Available identifiers

zbMath Open salomaa.kai-tDBLP02/6009WikidataQ28968124 ScholiaQ28968124MaRDI QIDQ247255

List of research outcomes





PublicationDate of PublicationType
Descriptional complexity of finite automata -- selected highlights2024-10-07Paper
Maximal existential and universal width2024-08-15Paper
Converting finite width AFAs to nondeterministic and universal finite automata2024-04-04Paper
Rediscovering pushdown machines2024-01-29Paper
https://portal.mardi4nfdi.de/entity/Q60706092023-11-23Paper
On the Simon's congruence neighborhood of languages2023-11-16Paper
On Simon's congruence closure of a string2023-09-07Paper
Existential and universal width of alternating finite automata2023-08-17Paper
Generalizations of Code Languages with Marginal Errors2023-08-15Paper
The nondeterministic state complexity of the site-directed deletion language operation2023-07-21Paper
On Simon's congruence closure of a string2023-01-18Paper
Decidability of confluence and termination of monadic term rewriting systems2022-12-09Paper
Deciding path size of nondeterministic (and input-driven) pushdown automata2022-11-17Paper
Width measures of alternating finite automata2022-11-09Paper
https://portal.mardi4nfdi.de/entity/Q58675232022-09-14Paper
Complexity of E0L structural equivalence2022-08-18Paper
Decidability of equivalence for deterministic synchronized tree automata2022-08-18Paper
Nondeterministic state complexity of site-directed deletion2022-08-16Paper
Concatenation operations and restricted variants of two-dimensional automata2022-03-24Paper
Degrees of restriction for two-dimensional automata2022-03-22Paper
Structural properties of NFAs and growth rates of nondeterminism measures2022-03-14Paper
Consensus string problem for multiple regular languages2021-07-21Paper
Recognition and complexity results for projection languages of two-dimensional automata2021-07-14Paper
Combining limited parallelism and nondeterminism in alternating finite automata2021-07-14Paper
Decision problems and projection languages for restricted variants of two-dimensional automata2021-06-03Paper
Closest substring problems for regular languages2021-03-09Paper
https://portal.mardi4nfdi.de/entity/Q49640212021-02-24Paper
Finite-state complexity and the size of transducers2021-02-24Paper
Nondeterministic state complexity for suffix-free regular languages2021-02-24Paper
https://portal.mardi4nfdi.de/entity/Q49640222021-02-24Paper
Transition complexity of incomplete DFAs2021-02-24Paper
Alternating finite automata with limited universal branching2020-07-27Paper
Site-directed insertion: decision problems, maximality and minimality2020-06-30Paper
Cycle height of finite automata2020-06-30Paper
Further closure properties of input-driven pushdown automata2020-06-30Paper
Nondeterminism growth and state complexity2020-05-12Paper
Limited nondeterminism of input-driven pushdown automata: decidability and complexity2020-05-12Paper
Decision problems for restricted variants of two-dimensional automata2020-05-06Paper
Branching measures and nearly acyclic NFAs2019-12-10Paper
State complexity of suffix distance2019-12-10Paper
State complexity of the quotient operation on input-driven pushdown automata2019-12-10Paper
Site-directed insertion: language equations and decision problems2019-11-07Paper
Further closure properties of input-driven pushdown automata2019-11-07Paper
The relative edit-distance between two input-driven languages2019-10-15Paper
Pseudo-inversion: closure properties and decidability2019-07-08Paper
Edit distance neighbourhoods of input-driven pushdown automata2019-06-18Paper
Inclusion is undecidable for pattern languages2019-03-29Paper
Closest substring problems for regular languages2018-11-22Paper
Site-directed deletion2018-11-22Paper
Descriptional complexity of error detection2018-10-04Paper
Quasi-distances and weighted finite automata2018-09-20Paper
Growth rate of minimum branching2018-09-17Paper
State complexity of neighbourhoods and approximate pattern matching2018-05-15Paper
State complexity of prefix distance of subregular languages2018-03-29Paper
Routing in a polygonal terrain with the shortest beacon watchtower2018-02-19Paper
State complexity of \(k\)-parallel tree concatenation2018-01-19Paper
Outfix-guided insertion2017-12-06Paper
Relative prefix distance between languages2017-10-13Paper
Pseudoknot-generating operation2017-09-28Paper
Branching measures and nearly acyclic NFAs2017-08-31Paper
State complexity of suffix distance2017-08-31Paper
The quotient operation on input-driven pushdown automata2017-08-31Paper
Ambiguity, nondeterminism and state complexity of finite automata2017-08-25Paper
Edit distance neighbourhoods of input-driven pushdown automata2017-08-22Paper
Worst Case Branching and Other Measures of Nondeterminism2017-06-20Paper
State complexity of prefix distance2017-06-19Paper
State complexity of permutation on finite languages over a binary alphabet2017-06-15Paper
Consensus string problem for multiple regular languages2017-06-01Paper
State complexity of operations on input-driven pushdown automata2017-05-26Paper
State complexity of insertion2017-03-28Paper
Lower bound for converting an NFA with finite nondeterminism into an MDFA2016-12-16Paper
State complexity of prefix distance of subregular languages2016-11-09Paper
Outfix-guided insertion (extended abstract)2016-08-30Paper
Tree homomorphisms for unranked trees2016-07-26Paper
State complexity of Kleene-star operations on regular tree languages2016-05-03Paper
Approximate matching between a context-free grammar and a finite-state automaton2016-03-10Paper
Pseudoknot-generating operation2016-03-10Paper
Extended Watson-Crick L systems with regular trigger languages and restricted derivation modes2016-03-09Paper
State complexity of deletion and bipolar deletion2016-02-19Paper
State complexity of inversion operations2015-12-10Paper
Operational state complexity of unary NFAs with finite nondeterminism2015-12-10Paper
State complexity of neighbourhoods and approximate pattern matching2015-11-10Paper
Generalizations of code languages with marginal errors2015-11-10Paper
State complexity of prefix distance2015-09-23Paper
Pseudo-inversion on formal languages2015-09-14Paper
Duplications and pseudo-duplications2015-09-14Paper
Nondeterministic tree width of regular languages2015-08-07Paper
Quasi-distances and weighted finite automata2015-08-07Paper
The state complexity of permutations on finite languages over binary alphabets2015-08-07Paper
State Complexity of k-Union and k-Intersection for Prefix-Free Regular Languages2015-07-06Paper
State complexity of finite tree width NFAs2015-03-16Paper
Nondeterministic state complexity of proportional removals2015-02-09Paper
Unary NFAs with limited nondeterminism2015-01-13Paper
Descriptional complexity of unambiguous input-driven pushdown automata2015-01-06Paper
Input-Driven Pushdown Automata with Limited Nondeterminism2014-10-14Paper
State Complexity of Deletion2014-10-14Paper
State complexity of unary language operations for NFAs with limited nondeterminism2014-08-07Paper
State complexity of inversion operations2014-08-07Paper
Computation width and deviation number2014-08-07Paper
The edit-distance between a regular language and a context-free language2014-08-04Paper
Goodby to the kindhearted dragon Prof. Sheng Yu, 1950--20122014-08-04Paper
Top-down tree edit-distance of regular tree languages2014-03-31Paper
Undecidability of state complexity2013-10-22Paper
State complexity of \(k\)-union and \(k\)-intersection for prefix-free regular languages2013-08-09Paper
Comparisons between measures of nondeterminism on finite automata2013-08-09Paper
Nondeterministic state complexity of proportional removals2013-08-09Paper
Finite nondeterminism versus DFAs with multiple initial states2013-08-09Paper
Approximate matching between a context-free grammar and a finite-state automaton2013-08-07Paper
Cellular automaton based motion planning algorithms for mobile sensor networks2012-11-21Paper
State complexity and limited nondeterminism2012-11-02Paper
State complexity of projection and quotient on unranked trees2012-11-02Paper
Computing the edit-distance between a regular language and a context-free language2012-11-02Paper
Descriptional complexity of input-driven pushdown automata2012-11-01Paper
Sheng Yu (1950–2012) In Memoriam2012-10-31Paper
Lower bounds for the size of deterministic unranked tree automata2012-10-11Paper
In memoriam Sheng Yu2012-09-20Paper
State-size hierarchy for finite-state complexity2012-08-30Paper
State complexity of Kleene-star operations on trees2012-06-15Paper
State complexity of the concatenation of regular tree languages2012-05-30Paper
Transformations between different models of unranked bottom-up tree automata2011-11-22Paper
Transition complexity of incomplete DFAs2011-11-22Paper
Finite state complexity2011-10-10Paper
Overlap-free languages and solid codes2011-10-10Paper
State complexity of operations on input-driven pushdown automata2011-08-17Paper
State trade-offs in unranked tree automata2011-07-29Paper
Limitations of lower bound methods for deterministic nested word automata2011-07-27Paper
Extended Watson-Crick L Systems with Regular Trigger Languages2011-06-17Paper
Undecidability of the state complexity of composed regular operations2011-06-03Paper
Descriptional complexity of unambiguous nested word automata2011-06-03Paper
On language decompositions and primality2011-05-27Paper
Analysis of a cellular automaton model for car traffic with a slow-to-stop rule2010-10-07Paper
Orthogonal concatenation: language equations and state complexity2010-09-22Paper
State complexity of additive weighted finite automata2010-01-29Paper
Operational state complexity of prefix-free regular languages2010-01-07Paper
An improved cellular automata based algorithm for the 45-convex hull problem2010-01-04Paper
Variants of codes and indecomposable languages2009-11-27Paper
Deciding determinism of caterpillar expressions2009-09-14Paper
Operational state complexity of nested word automata2009-08-07Paper
Nondeterministic state complexity of nested word automata2009-08-07Paper
On the descriptional complexity of Watson-Crick automata2009-08-07Paper
On the synchronized derivation depth of context-free grammars2009-08-07Paper
State complexity of basic operations on suffix-free regular languages2009-07-10Paper
A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule2009-07-09Paper
Nondeterministic State Complexity of Basic Operations for Prefix-Free Regular Languages2009-05-22Paper
State Complexity of Nested Word Automata2009-04-02Paper
State Complexity of Combined Operations for Prefix-Free Regular Languages2009-04-02Paper
A Cryptosystem Based on the Composition of Reversible Cellular Automata2009-04-02Paper
Prime Decompositions of Regular Languages2009-03-26Paper
Language Decompositions, Primality, and Trajectory-Based Operations2009-02-12Paper
STATE COMPLEXITY OF UNION AND INTERSECTION OF FINITE LANGUAGES2008-11-24Paper
Length Codes, Products of Languages and Primality2008-11-20Paper
Lower bounds for the transition complexity of NFAs2008-11-19Paper
State Complexity of Basic Operations on Suffix-Free Regular Languages2008-09-17Paper
The state complexity of two combined operations: star of catenation and star of reversal2008-06-11Paper
Deterministic Caterpillar Expressions2008-06-10Paper
ON THE STATE COMPLEXITY OF COMBINED OPERATIONS AND THEIR ESTIMATION2008-05-20Paper
Transition complexity of language operations2007-12-19Paper
On the existence of regular approximations2007-12-19Paper
An infinite hierarchy induced by depth synchronization2007-12-19Paper
Descriptional Complexity of Nondeterministic Finite Automata2007-11-28Paper
State Complexity of Union and Intersection of Finite Languages2007-11-28Paper
Additive distances and quasi-distances between words2007-10-17Paper
State complexity of combined operations2007-09-19Paper
Iterated TGR Languages: Membership Problem and Effective Closure Properties2007-09-10Paper
Lower Bounds for the Transition Complexity of NFAs2007-09-05Paper
On the existence of prime decompositions2007-05-11Paper
Intercode regular languages2007-04-02Paper
Codes defined by multiple sets of trajectories2007-01-09Paper
Interpreted trajectories2006-11-21Paper
Nondeterminism degrees for context-free languages2006-09-06Paper
Decidability of trajectory-based equations2005-12-06Paper
RESTRICTED SETS OF TRAJECTORIES AND DECIDABILITY OF SHUFFLE DECOMPOSITIONS2005-11-14Paper
A FORMAL STUDY OF PRACTICAL REGULAR EXPRESSIONS2005-10-19Paper
https://portal.mardi4nfdi.de/entity/Q53137872005-09-01Paper
Mathematical Foundations of Computer Science 20042005-08-22Paper
https://portal.mardi4nfdi.de/entity/Q46813102005-06-23Paper
SHUFFLE DECOMPOSITIONS OF REGULAR LANGUAGES2005-06-22Paper
https://portal.mardi4nfdi.de/entity/Q46628382005-03-30Paper
Theory Is Forever2005-01-18Paper
https://portal.mardi4nfdi.de/entity/Q47379062004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44741502004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44741492004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q48078242004-03-28Paper
https://portal.mardi4nfdi.de/entity/Q44534662004-03-07Paper
https://portal.mardi4nfdi.de/entity/Q44313422003-10-21Paper
https://portal.mardi4nfdi.de/entity/Q44186002003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47993612003-04-23Paper
A sharpening of the Parikh mapping2002-09-18Paper
Decidability of EDT0L structural equivalence2002-07-15Paper
Loop-free alternating finite automata2002-02-13Paper
Generalized fairness and context-free languages2001-06-13Paper
https://portal.mardi4nfdi.de/entity/Q49552552001-06-05Paper
https://portal.mardi4nfdi.de/entity/Q45207922001-02-27Paper
https://portal.mardi4nfdi.de/entity/Q45202822001-02-26Paper
https://portal.mardi4nfdi.de/entity/Q45313732001-01-01Paper
https://portal.mardi4nfdi.de/entity/Q49411472000-09-26Paper
https://portal.mardi4nfdi.de/entity/Q45003692000-09-04Paper
Efficient implementation of regular languages using reversed alternating finite automata2000-08-23Paper
Alternating finite automata and star-free languages2000-08-21Paper
Pattern languages with and without erasing2000-07-04Paper
Transducers and the decidability of independence in free monoids2000-06-27Paper
https://portal.mardi4nfdi.de/entity/Q42640991999-11-11Paper
https://portal.mardi4nfdi.de/entity/Q42665311999-10-03Paper
https://portal.mardi4nfdi.de/entity/Q42176081999-06-21Paper
Synchronization expressions with extended join operation1999-01-12Paper
https://portal.mardi4nfdi.de/entity/Q43905371998-08-10Paper
https://portal.mardi4nfdi.de/entity/Q43627391997-11-13Paper
Pumping and pushdown machines1997-10-30Paper
Complexity of E0L structural equivalence1997-10-08Paper
https://portal.mardi4nfdi.de/entity/Q43362691997-08-07Paper
https://portal.mardi4nfdi.de/entity/Q31251681997-08-07Paper
https://portal.mardi4nfdi.de/entity/Q43410281997-06-16Paper
Structural equivalence and ET0L grammars1997-02-27Paper
Decidability of equivalence for deterministic synchronized tree automata1997-02-27Paper
Yield-languages of two-way pushdown tree automata1997-02-27Paper
https://portal.mardi4nfdi.de/entity/Q49422491996-01-01Paper
P, NP, and the Post correspondence problem1995-11-14Paper
Measures of nondeterminism for pushdown automata1995-10-09Paper
https://portal.mardi4nfdi.de/entity/Q48401701995-07-20Paper
Decision problems for patterns1995-06-08Paper
Synchronized tree automata1994-05-15Paper
https://portal.mardi4nfdi.de/entity/Q42842641994-04-17Paper
The state complexities of some basic operations on regular languages1994-04-05Paper
Semantics of trees1994-03-24Paper
https://portal.mardi4nfdi.de/entity/Q40334991993-05-16Paper
https://portal.mardi4nfdi.de/entity/Q40361771993-05-16Paper
https://portal.mardi4nfdi.de/entity/Q39748791992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q47133731992-06-25Paper
Decidability of structural equivalence of E0L grammars1991-01-01Paper
The immortality problem for Lag systems1990-01-01Paper
Hierarchy ofk-context-free languages1989-01-01Paper
Hierarchy of k-context-free languages part 11989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47347791989-01-01Paper
Deterministic tree pushdown automata and monadic tree rewriting systems1988-01-01Paper
Yield-languages recognized by alternating tree recognizers1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38133171988-01-01Paper
A pumping result for 2-context-free languages1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37350941986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37581091986-01-01Paper
Direction independent context-sensitive grammars1984-01-01Paper

Research outcomes over time

This page was built for person: Kai Salomaa