Приведите пример формального исполнителя человека Приведите пример формального языка