В [10] показано, что автоматные линейные порядки имеют конечный FC-ранг. В этой работе дан положительный ответ на вопрос о существовании вычислимого изоморфизма между автоматными представлениями ординалов и линейных порядков ...