Wprowadzenie do teorii
Podręcznik do teorii obliczeń skierowany do studentów informatyki na wszystkich wyższych uczelniach. Dotyczy podstaw informatyki, a w szczególności możliwości obliczeniowych współczesnych komputerów. Składa się z trzech części. Pierwsza poświęcona automatom i językom formalnym. Omówiono w niej