形式 けいしき言語 げんごであれば
keishikigengodeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 形式言語

1. If it is a formal language; When it is a formal language

Ba Conditional