Конспективное введение в математическую теорию формальных систем и грамматик – очень интересную и красивую теорию, которая будет интересна широкому кругу читателей (лингвистам, программистам, литературоведам, специалистам по моделированию, философам и др.). Основной упор сделан на сведении воедино ключевых определений, используемых разными авторами. Также я хочу показать мощь и достоинства этой фундаментальной теории.

Описаны четыре техники, ускоряющие поиск и сортировку в массивах.