См. в «Письмовнике».
Оба варианта корректны.
Заимствованное слово оверлок было зафиксировано академическим «Орфографическим словарем русского языка» в 1974 году, написание в нем буквы к обусловлено слом-источником – английским overlock (от over сверху через и lock замыкать, соединять, сплетать). С 1974 года орфографическим словарем закреплено и существительное оверлочница, позже – прилагательное оверлочный. Эти слова закономерно образуются от оверлок с чередованием к//ч (ср.: брюки – брючный, брючница; копейка – копеечный, копеечница; мешок – мешочный, мешочница; молоко – молочный, молочница). В сфере профессиональной терминологии параллельно появились варианты оверложить, оверложница. Они упоминаются в лингвистической литературе с пометой «специальное».
За этим и подобными противоречиями словарной нормы и профессиональной практики письма лингвисты давно наблюдают. О. Е. Иванова, один из редакторов современного академического «Русского орфографического словаря», считает, что «объективно предпочтительным было бы разрешение конфликта в пользу словаря как научного регулятора письменной нормы, то есть чтобы через какое-то время стало понятно, что практика письма (пишущие) восприняла рекомендации словаря (лингвистов-кодификаторов)».
По нашим наблюдениям, вариант оверлок настолько распространен, в том числе и в профессиональной литературе, что изменение словарной фиксации сейчас нельзя признать оправданной. Например, в действующем ГОСТ IEC 60335-2-28-2012 «Безопасность бытовых и аналогичных электрических приборов. Часть 2-28. Частные требования к швейным машинам» употребляется именно форма оверлок.
Если вторая часть здесь имеет значение причины, обоснования, то по общему правилу перед ней ставится двоеточие. Однако тире здесь допустимо и широко представлено в практике письма.
В СГС это действительно может быть или фазисная, или модальная связка. Инфинитив должен быть субъектным (это то, что спрашивающий имеет в виду, говоря, что действие «выполняет подлежащее»). Объектный инфинитив (Мама попросила Сережу встретить ее на остановке) в СГС не входит и является дополнением. Субъектный же инфинитив не входит в СГС в том случае, когда, во-первых, глагол в спрягаемой форме не имеет ни модального, ни фазисного значения, во-вторых, этот инфинитив называет цель действия по основному глаголу (Мы отправились на речку купаться). Способ проверки очень простой: перед таким инфинитивом можно вставить союз чтобы.
В предложении Я не успела послать письмо глагол успела обозначает отношение субъекта к действию, обозначенному инфинитивом. Отношение может быть разным: хотела послать, смогла (не смогла) послать, умудрилась послать, не сумела послать, успела… мечтала… и т. д. А обозначение этого отношения и есть функция модальной связки СГС. Поэтому здесь, безусловно, СГС. Да и союз чтобы вставить никак не получится.
По правилам пунктуации двоеточие не требуется. В практике письма двоеточие в подобных конструкциях после в том числе встречается, оно выступает как акцентированный знак принадлежности высказывания деловой речи.
1. По сложившейся орфографической традиции после приставки рас- пишется либо счит (рассчитывать, рассчитаться), либо чет (расчет, перерасчет).
Все эти слова являются однокоренными и связаны словообразовательными связями. Они содержат корень с чередованием -чит-(-чет-) и по правилу должны содержать два с – одно в приставке рас-, а другое в приставке с-. См. словообразовательную цепочку: считать – рассчитать – рассчитывать – перерассчитывать. Однако при образовании существительного расчет от глагола рассчитать одно с «теряется», и все слова, образующиеся от слова расчет, пишутся уже с одной с: расчет – перерасчет, расчет – расчетливый – расчетливо – нерасчетливо и т. д.
Обратите внимание, что слово бессчетный пишется по правилу, без потери согласной: считать – счет – бессчетный.
2. Ваш пунктуационный вариант возможен. Ошибки нет.
3. Когда-то привычные нам знаки тире, многоточие, кавычки были новыми. Они вошли в практику письма и были «узаконены» в правилах в ХVIII в., уже после того как М. В. Ломоносов сформулировал правила употребления запятой, точки с запятой, двоеточия и знаков конца предложения. Отрицать возможность появления и закрепления в правилах новых графических знаков (например, смайликов) нельзя. Однако если это и произойдет, то не скоро.
В практике письма устоялось написание таких названий, как Эмпайр-стейт-билдинг, Крайслер-билдинг и под., без кавычек.
Однако условные названия выделяются кавычками по общему правилу: комплекс «Федерация», башня «Империя», небоскреб «Высоцкий».
