НГУ
http://forum.nsu.ru/

Как это сказать по-русски?
http://forum.nsu.ru/viewtopic.php?f=24&t=19325
Страница 1 из 1

Автор:  slb [ Вт дек 09, 2008 8:51 pm ]
Заголовок сообщения:  Как это сказать по-русски?

Тема для попыток поиска нормального перевода на русский язык спецтерминов.


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

Автор:  Гост_Я [ Ср дек 17, 2008 4:12 pm ]
Заголовок сообщения: 

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


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

Автор:  slb [ Чт дек 18, 2008 5:46 am ]
Заголовок сообщения: 

Не знаю, не уверен насчёт "достижимого"...

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

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

Автор:  Гост_Я [ Чт дек 18, 2008 1:24 pm ]
Заголовок сообщения: 

Что такое ординал, кто-нибудь сможет мне объяснить?

Автор:  AGu [ Чт дек 18, 2008 5:25 pm ]
Заголовок сообщения: 

Термин "достижимый ординал" уже занят.

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

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

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

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

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

Страница 1 из 1 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/