Формальные языки

Языки, определяемые математическими правилами, составляющие теоретическую основу языков программирования.