Исследование формальных языков и их использование в русском языке