НГУ

Форумы НГУ
Текущее время: Вт май 21, 2019 1:42 pm

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ Сообщений: 5 ] 
Автор Сообщение
 Заголовок сообщения: Как это сказать по-русски?
СообщениеДобавлено: Вт дек 09, 2008 8:51 pm 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт сен 07, 2001 7:00 am
Сообщения: 2844
Откуда: Станислав Березнюк
Тема для попыток поиска нормального перевода на русский язык спецтерминов.


Только что на спецсеминаре в докладываемой статье (о машинах Тьюринга, которые могут работать бесконечное время) встретился термин "clockable ordinal" - это ординал, который может реализовываться как число шагов работы машины, когда входным значением является нуль. Ничего лучшего, чем "временной ординал", мы придумать не смогли. Может, кто-нибудь сможет предложить более удачный вариант?

_________________
Мордор жил, Мордор жив, Мордор будет жить!


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Ср дек 17, 2008 4:12 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Ср июн 15, 2005 4:00 pm
Сообщения: 1155
To clock a particular time or speed in a race means to reach that time or speed.
Elliott clocked the fastest time this year for the 800 metres...
VERB V n

If something or someone is clocked at a particular time or speed, their time or speed is measured at that level.
He has been clocked at 11 seconds for 100 metres...
VERB usu passive, be V-ed at amount


Поэтому "достижимый ординал"


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт дек 18, 2008 5:46 am 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт сен 07, 2001 7:00 am
Сообщения: 2844
Откуда: Станислав Березнюк
Не знаю, не уверен насчёт "достижимого"...

Ладно, ещё "обобщённой филологии" :)

"writable ordinal" мы на семинаре договорились переводить как "записываемый" (имеется в виду ординал, который может получиться в качестве ответа после работы какой-либо машины). Однако на последнем заседании появились ещё два термина: "occasionally writable ordinal" и "eventually writable ordinal". Первый - это ординал, который может появиться на ленте во время работы какой-либо машины (а потом благополучно стереться), а второй - который может появиться на ленте во время работы машины и остаться там навсегда (не факт, что сама машина закончит работу вообще, т.е. он не обязательно "записываемый"). Второй термин мы договорились переводить как "всё-таки записываемый", для первого ничего лучшего кроме признанного неудачным "случайно записываемого" придумать не удалось.

_________________
Мордор жил, Мордор жив, Мордор будет жить!


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт дек 18, 2008 1:24 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Ср июн 15, 2005 4:00 pm
Сообщения: 1155
Что такое ординал, кто-нибудь сможет мне объяснить?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт дек 18, 2008 5:25 pm 
Не в сети
Опытный автор

Зарегистрирован: Пн май 02, 2005 7:27 pm
Сообщения: 435
Термин "достижимый ординал" уже занят.

Если я правильно понял, то всякий "writable ordinal" является "eventually writable ordinal", а всякий "eventually writable ordinal" является "occasionally writable ordinal".
(Кстати, если это действительно так, то английские термины едва ли можно счесть удачными.)

Тогда предлагаю:

clockable = выполнимый (или 0-выполнимый)
writable = ответно записываемый (или возвращаемый)
eventually writable = финально (предельно, асимптотически) записываемый
occasionally writable = записываемый

Еще могу предложить:

occasionally but not eventually writable = попутно записываемый


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 5 ] 

Часовой пояс: UTC + 7 часов


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 0


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB