Sistemi formal - Other languages