Optimal Bounds for Transformations of omega-Automata.

Christof Löding

Published in: FSTTCS (1999)

Keyphrases

worst case
dynamic programming
upper bound
lower bound
cellular automata
asymptotically optimal
tight bounds
optimal solution
finite state
database
data structure
closed form
optimal design
closed form expressions