К формальным языкам можно отнести:
английский язык;
язык программирования;
язык жестов;
китайский язык