Цель данного курса: понять, что такое вычисление с алгебраической точки зрения. Самой естественной моделью вычислений в теоретической информатике является конечный автомат, который, как известно, распознает регулярные языки. В первой части курса мы опишем регулярные языки используя их внутреннюю алгебраическую структуру и обобщим эти понятия на произвольные формальные языки; а во второй части с помощью внутреннего описания вычисления введем на них топологию и обобщим классические теоремы универсальной алгебры (многообразия алгебраических структур).
[ листок 1 ]