Элементы теории трансляции

Формальные грамматики и языки.

Об отказе в возбуждении уголовного дела

«

»

г.

(место составления)

(должность прокурора,

классный чин или звание,

,

фамилия, инициалы прокурора)

рассмотрев материалы проверки сообщения

(о каком преступлении)_

,

поступившего (распространенного)

(когда, куда (где), от кого (кем)

,

УСТАНОВИЛ:

(указываются результаты проверки сообщения о преступлении, изложенные в постановлении

об отказе в возбуждении уголовного дела,

дата, мотивы и основания его вынесения, кем оно вынесено, излагается

обоснование отмены данного решения)

Принимая во внимание изложенное и руководствуясь п. 1 и 6 части второй ст. 37 и частью шестой ст. 148 УПК РФ,

ПОСТАНОВИЛ:

1. Отменить как незаконное (необоснованное) постановление об отказе в возбуждении уголовного дела от «___» _______________________ 20____ г., вынесенное

(должность дознавателя, звание, фамилия, инициалы)

2. Дать следующие указания начальнику органа дознания:

(содержание указаний

и сроки их выполнения)

3. Направить настоящее постановление начальнику органа дознания

(должность начальника органа дознания, звание, фамилия, инициалы)

для исполнения. О результатах сообщить в прокуратуру в срок до «___» ____________ 20__ г.

4. О принятом решении уведомить заявителя

,

(фамилия, инициалы)

а также других заинтересованных лиц

(кого именно)

Настоящее постановление может быть обжаловано прокурору

(должность вышестоящего

прокурора)

или в суд

(наименование суда)

в порядке, установленном главой 16 УПК РФ.

Прокурор

(подпись)

[4] Данная графа заполняется в случае, предусмотренном частью второй ст. 101 УПК РФ.

[5] В соответствии с требованиями части третьей ст. 171 УПК РФ при обвинении лица в совершении нескольких преступлений, предусмотренных разными пунктами, частями, статьями УК РФ, в постановлении о привлечении его в качестве обвиняемого должно быть указано, какие деяния вменяются ему по каждой из этих норм уголовного закона.

(учебное пособие для студентов II курса)

Москва, 1996.

УДК 519.682.1+681.142.2

Приводятся основные определения, понятия и алгоритмы теории формальных грамматик и языков, некоторые методы трансляции, а также наборы задач по каждой из рассматриваемых тем. Излагаемые методы трансляции проиллюстрированы на примере модельного языка.

Для студентов факультета ВМК в поддержку основного лекционного курса “Системное программное обеспечение” и для преподавателей, ведущих практические занятия по этому курсу.

Авторы выражают благодарность Пильщикову В.Н. за предоставленные материалы по курсу “Системное программное обеспечение”, ценные советы и замечания при подготовке пособия, а также благодарят Баландина К.А. за большую помощь в оформлении работы.

Рецензенты:

проф. Жоголев Е.А.

доц. Корухова Л.С.

Волкова И.А., Руденко Т.В. “Формальные грамматики и языки. Элементы теории трансляции. (учебное пособие для студентов II курса)”

Печатается по решению Ученого Совета факультета вычислительной математики и кибернетики МГУ им. М.В.Ломоносова

В

2404090000-05

3Ш7(03)-96

ISBN 5-87597-021-9

Ó Факультет вычислительной математики и кибернетики МГУ им. М.В.Ломоносова, 1996

Ó Издательство механико-математического факультета МГУ им. М.В.Ломоносова, 1996

Дата добавления: 2015-06-27