Поделитесь книжкой по теоретической информатике

Поделитесь книгой по теаретической информатике со следующим содержание: - языки (иерархия хомского) - автоматы, пушдаун автоматы, тюрингмашина - проблема остановки - теорема райса - теорема рекурсии

Готовлюсь к экзамену на немецком языке - не все понимаю со слайдов. Нужен источник, желательно с задачами и пояснением их решения