Үүнийг мессежээр илгээх: Теория формальных систем