Формален систем — Други јазици