Brak wybranej ilości dla produktu Hopcroft John E., Ullman Jeffrey D.: Wprowadzenie do teorii automatów, języków i obliczeń