Salomaa, Kai
Salomaa, Kai T.
Kai Salomaa
VIAF ID: 93087664 (Personal)
Permalink: http://viaf.org/viaf/93087664
Preferred Forms
- 100 0 _ ‡a Kai Salomaa
-
-
- 100 1 _ ‡a Salomaa, Kai
- 100 1 _ ‡a Salomaa, Kai
-
- 100 1 _ ‡a Salomaa, Kai T.
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Decidability of the intercode property | |
Degrees of nondeterminism for pushdown automata | |
The immortality problem for lag systems. | |
Implementation and application of automata, c2011: | |
Loop-free alternating finite automata | |
NFA to DFA transformation for finite languages | |
Primality of types of instances of the post correspondence problem | |
Rediscovering pushdown machines | |
Structural equivalence and ETOL grammars | |
Synchronization expressions and languages | |
Transducers and the decidability of independence in free monoids |