The unsolvability of the equality problem for sentential forms of context-free grammars
The efficient calculation of powers of polynomials
The constructibility of a configuration in a cellular automaton
Many-one degrees associated with semi-thue systems
Distributions of queue lengths and waiting times in a loop with two-way traffic
State assignment for realizing modular input-free sequential logical networks without invertors