Сгенерируй вопрос по тексту. Текст: 'Огромное поле исследований теоретической информатики включает как классическую теорию алгоритмов, так и широкий спектр тем, связанных с более абстрактными логическими и математическими аспектами вычислений. Теоретическая информатика занимается теориями формальных языков, автоматов, алгоритмов, вычислимости и вычислительной сложности, а также вычислительной теорией графов, криптологией, логикой (включая логику высказываний и логику предикатов), формальной семантикой и закладывает теоретические основы для разработки компиляторов языков программирования.'.
Что дополнительно включает поле исследований теоретической информатики?