Pumping lemmas for linear and nonlinear context-free languages
Pushing undecidability of the isolation problem for probabilistic automata
Canada
World
United States