В финале турнира Российской Армии по шашкам встретились представители шести воинских званий: подполковник, капитан, старший лейтенант, старшина, сержант и ефрейтор, причём разных специальностей: мотострелок, танкист, артиллерист, миномётчик, сапёр и связист.
Определи специальность и звание каждого из игроков по следующим данным:
1) в первом туре лейтенант выиграл у мотострелка, подполковник — у танкиста, а сержант — у миномётчика;
2) во втором туре капитан выиграл у танкиста;
3) в третьем и четвёртом турах миномётчик из-за болезни не участвовал в турнире, поэтому свободными от игры оказались капитан и ефрейтор;
4) в четвёртом туре подполковник выиграл у связиста;
5) победителями турнира оказались старший лейтенант и подполковник, а хуже всех выступил сапёр.
Формальный язык в математической логике и информатике — множество конечных слов (строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов. Научная теория, которая имеет дело с этим объектом, называется теорией формальных языков.