С помощью индукции по числу переходов, совершаемых М2, можно заметить, что Mt имитирует МО М2 на своей ленте, если взять нижнюю дорожку, развернуть и дописать к ней верхнюю.
We may observe by induction on the number of moves made by My that Mi will mimic the ID of M-2 on its own tape, if you take the lower track, reverse it, and follow it by the upper track.
Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation
Introduction to automata theory, languages, and computation
Начну, изведу гору бумаги, но все время надо будет возвращаться к началу, и менять, и переделывать, потому что меняются люди, про которых пишешь, или начинаешь смотреть на них другими глазами и понимать по-другому... и до конца я дописать не сумею.
I'll start it and I'll write away at it, but I'll keep going back and changing it, because the people I am writing of will change, or I'll see them differently as time goes on, and I'll never get it written.
Саймак, Клиффорд Д. / Всякая плоть - траваSimak, Clifford D. / All flesh is grass
Тогда проще дописывать комментарии к каждому объявлению данных — ведь каждое расположено в отдельной строке.
It's easier to put a comment next to each declaration if each one is on its own line.
Макконнелл, Стив / Совершенный код: Практическое руководство по разработке программного обеспеченияMcConnell, Steve / Code Complete: A Practical Handbook of Software Construction
Code Complete: A Practical Handbook of Software Construction
Я вытащил страницу из каретки, положил ее поверх уже отпечатанных и дописал ручкой: Позвонить Теду Розенкрайфу насчет Рейфорда.
I turned the roller until the IBM spat this page out, stuck it on top of the manuscript, and jotted a final note to myself: 'Call Ted Rosencrief about Raiford.'
Кинг, Стивен / Мешок с костямиKing, Stephen / Bag of Bones
Клиент приносил отснятую фотопленку и свой старый PhotoCD в киоск фирмы Kodak и получал обратно тот же самый диск с дописанными на него новыми фотографиями.
In this system the customer brings a roll of exposed film and his old PhotoCD to the photo processor and gets back the same PhotoCD with the new pictures added after the old ones.
Таненбаум, Эндрю / Современные операционные системыTanenbaum, Andrew S. / Modern Operating Systems