Англо-русский морской словарь
finite chain
Конечная цепь
Англо-русский словарь морских терминов
finite automation
finite cover property