Domaći
| formalni | formal | |
| formalni jezici | formal languages | |
| formalni opis | formal description | |
| formalni opisni postupak | formal description technique | |
| formalni param | dummy argument | |
| formalni parametar | dummy argument | |
| formalni pojam | formal aspect | |
| formalni sustav | formal system | |
| formalni zahtjevi | formal requirements |