Формальні мови

Мови, визначені математичними правилами, що утворюють теоретичну основу мов програмування.