| Laudation for Arto Salomaa |
|
xi | |
| Bibliography of Arto Salomaa |
|
xiii | |
| Part I. Automata I: Finite State Machines |
|
|
Semilattices of Fault Semiautomata |
|
|
3 | (13) |
|
|
|
|
|
|
|
|
|
|
|
|
|
16 | (9) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
On Some Special Classes of Regular Languages |
|
|
25 | (10) |
|
|
|
|
|
|
|
|
|
|
|
Synchronized Shuffle and Regular Languages |
|
|
35 | (10) |
|
|
|
|
|
|
|
|
|
|
|
Synchronization Expressions: Characterization Results and Implementation |
|
|
45 | (14) |
|
|
|
|
|
|
|
|
|
|
| Part II. Automata II: More General Devices |
|
|
Uniformization of Rational Relations |
|
|
59 | (13) |
|
|
|
|
|
|
|
|
|
|
|
Tree-Walking Pebble Automata |
|
|
72 | (12) |
|
|
|
|
|
|
|
|
|
|
|
Counter Machines: Decision Problems and Applications |
|
|
84 | (13) |
|
|
|
|
|
|
|
|
|
|
|
On the Equivalence of Finite Substitutions and Transducers |
|
|
97 | (12) |
|
|
|
|
|
|
|
|
|
|
|
Complementation of Buchi Automata Revisited |
|
|
109 | (14) |
|
|
|
|
|
| Part III. Automata with Multiplicities |
|
|
Languages Accepted by Integer Weighted Finite Automata |
|
|
123 | (12) |
|
|
|
|
|
|
|
|
|
|
|
A Power Series Approach to Bounded Languages |
|
|
135 | (10) |
|
|
|
|
|
|
Full Abstract Families of Tree Series I |
|
|
145 | (12) |
|
|
|
|
|
|
Linear Automata, Rational Series and a Theorem of Fine and Wilf |
|
|
157 | (14) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Part IV. Formal Languages |
|
|
Numerical Parameters of Evolutionary Grammars |
|
|
171 | (11) |
|
|
|
|
|
|
Iterated GSM Mappings: A Collapsing Hierarchy |
|
|
182 | (12) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
194 | (10) |
|
|
|
|
|
|
An Insertion into the Chomsky Hierarchy? |
|
|
204 | (9) |
|
|
|
|
|
|
Word Length Controlled DTOL Systems and Slender Languages |
|
|
213 | (12) |
|
|
|
|
|
| Part V. Algorithms and Complexity |
|
|
Program-Size Complexity of Initial Segments and Domination Reducibility |
|
|
225 | (13) |
|
|
|
|
|
|
|
|
|
|
|
Stability of Approximation Algorithms and the Knapsack Problem |
|
|
238 | (12) |
|
|
|
|
|
|
Some Examples of Average-case Analysis by the Incompressibility Method |
|
|
250 | (12) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Complexity of Language Recognition Problems for Compressed Words |
|
|
262 | (11) |
|
|
|
|
|
|
|
|
|
|
|
Algorithms on Continued Fractions |
|
|
273 | (14) |
|
|
|
|
|
|
|
|
|
|
| Part VI. Combinatorics of Words |
|
|
On the Index of Sturmian Words |
|
|
287 | (8) |
|
|
|
|
|
|
Repetitions and Boxes in Words and Pictures |
|
|
295 | (12) |
|
|
|
|
|
|
|
|
|
|
|
Small Aperiodic Sets of Triangular and Hexagonal Tiles |
|
|
307 | (7) |
|
|
|
|
|
|
|
|
314 | (13) |
|
|
|
|
|
|
|
|
|
|
|
Fair and Associative Infinite Trajectories |
|
|
327 | (12) |
|
|
|
|
|
|
|
|
|
|
|
Forbidden Factors in Finite and Infinite Words |
|
|
339 | (14) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Part VII. Novel Directions |
|
|
Reversible Molecular Computation in Ciliates |
|
|
353 | (11) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic, Probability, and Rough Sets |
|
|
364 | (11) |
|
|
|
|
|
| List of Contributors |
|
375 | |