Эволюция общения человека с ЭВМ связана с созданием мощных средств их математического обеспечения. Используемые при этом развитые языки и системы программирования существенно повышают "Интеллект" ЭВМ, реализуемый как схемным, так и программным способом, и способствуют дальнейшему расширению сферы применения вычислительной техники. Решение возникающих в связи с этим задач обусловило становление и развитие теоретического программирования и проникновение в него идей и методов общей алгебры. Монография посвящена изучению алгебраических методов с учетом их применения в теоретическом и системном программировании: прикладной теори алгоритмов, теории формальных языков и систем программирования.