space hierarchy theorem

Из Википедии, свободной энциклопедии