1626435695-d1df5d2e6d953ce7ad4b4ccb5f4f4e30 (844296), страница 52
Текст из файла (страница 52)
Н. Учет апрвориой информации прв анализе сэойств состояний программ д Математическая теория программирования. — Ноаасвбврск. ВЦ СО АН СССР, 1985.— С. 150 — 157. 26. К в и б е р Е. Б. Об одном классе мвоголеиточвых авгоматоа с раарепппгой проблемой экэвэалевтвостк Л Программирование.— 1983.— уй 3.— С. 3 — 16. 27. К о т о в В. Е. Теория параллельного прогрзммкроэанвя: прикладные аспекты д Кнбепяетвка.— 1974.— 34 1.— С. 1 — 16; Уб 2.— С. 1 — 18. 28. К р в и и ц к к и Н. А.
Раввосвльвые преобрааозавкя логических схем: Аэтореф. дкс... канд. физ-мат. наук.— М., 1959.— 24 с. 29. К р и к к ц к к й Н. А. Равносильные преобразозаивя алгоритмов к программирование.— М.: Советское радио, 1970.— 304 с. 30. Л а в р о з С. С. Об экономки памяти н аамквутых операторных схе. мах Л ЖВМ п МФ, !961.— Т. 1,,% 4.— С. 687 — 701. 31.
Л е т в ч е н с к в в А. А. Функциональная. экэиаалеиткость двскрегвых преобрааоэателей 1 // Квберветвка. — 1969. — У4 2. — С. 5 — 15. 32. Л е т и ч е э с к в й А. А. Функциональная эквивалентность дискрет ных преобразователей 11 // Кибернетика.— 1970.— 34 2.— С. 14 — 28. 33. Л е т в ч е в с к к й А. А. Функциональная зкввэалеитиасть двскрет иых иреобразоэателек 111 Л Кибернетика.— 1972.— гб 1.— С. 1 — 4. 34. Л е т к ч е в с к в й А. А. Эквивалентность и оптнмвзацкя программ Л' Теорвя програымкроаеквя.
Ч. 1.— Новосибирск: ВЦ СО АН СССР, 1972.— С. 166 — !80. 35, Л е т и ч е а с к в й А. А. Практические методы распознавания аюзн валентности дискретных преобрааоаателей и схем крогрэмм д Кибер кетвка. — 1973. — 34 4. — С. 15 — 26. 36. Л к с о в к к Л. П. Проблема эквивалентности для преобрааователей вад размеченными деревьями Л Дока. АН УССР.— 1980.— Уб 6.— С.
77 — 79. 37. Л в с о з в к Л. П. Металвневвые схемы с аасылкамв констант // Прог раммврозакие.— 1985.— У4 2.— С. 29 — 38. 38. Л н п у к о з А. А. О логических схемах программ Л Преблемы кибер ветикк: Сб. статей. Вып.1.— М.: Фвзматтнз, 1953.— С. 46 — 74. 39. М а л ь ц е э А. И. Алгоритмы к рекурскевые фувкцвв.— М.: Наука, 1965. — 391 с.
40. М а р к о з А. А. Теорвя алгоритмов // Трудм Матем. ки-та км. В. А. Стеклова АН СССР, 1954.— Т. 42.— 376 с. 41. М а р ты к ю к В. В. Выделение цепей в схемах алгорктмов Л ЖВМ к МФ, 1961.— Т. 1, /9 1.— С. 151 — 162. 42. М а р т ы к ю и В. В. Об анализе графа переходов для операторной схемы Л ЖВМ в МФ, 1965. — Т.
5, Уб 2. — С. 298 †3. 43. М а у р е р У. Внедеиве в программирование ва языке ЛИСП.— М.: Мкр, 1976.— 104 с. 44. М кис к к й М. Вычисления и автоматы.— М.: Мвр, 1971.— 264 с. 240 45. Н а р к и ь а и в Л. С. Теория параллельного прогреммароаеикв: формальные модели// Киберветюш.— 1974.— № 3.— С. 1 — 15; № 4.— С.
1 — 14. 46. Н е п о ы и а щ в й В. А. Об одном методе распозизаеиия экваззлептаоста схем программ в дискретных преобрааователей И Труды зсесошэаой конференции по программированию (ВКП-2). Вып. К.— Нозосвбарск: ВЦ СО АН СССР, 1970.— С. 49 — 63. 47. Н е и о и а в щ в й В. Л.
Критерии алгоритмической полистм сжтем операций П Теорвя программароззава: Сб. статей. Ч. 1. — Ноаосабарса, 1972. — С. 267 — 279. 48. Непомнящий В. А. Оп емевустотм длв схем программ 1д Программароаеаве. — 1976. — № 4. — С. 43 — 51. 49. Н ел оп вящий В. А. О проблеме пустоты дла схем программ П П Прогрзммароазаве.
— 1977. — № 4. — С. 3 — 13. 50. Непомиящвй В.А., Сабельфельд В.К. Элвмавеция пересылок в стандартных схемах программ П Прогрзммирозавае. — 1979.— № 4.— С. 34 — 43. Ы. О р е О. Теорва графов.— М.: Наука, 1968.— 352 с. 52. П е т р о с я и Г. Н.
Об едком бззвсе оперетороа в прехккатоа с вевазвешимой проблемой пустоты l/ Кнберпеткка.— 1974.— № 5.— С. Й28. 53. П е т р о с я в Г. Н. Проблею аклшчевпя ва подпамятн для оператор" иых схем и случай ее разрешения// Системаое в теоретаческое программирование: Сб.
статей.— Нозосвбарск: ВЦ СО АН СССР, 1974.— С. 204 — 234. 54. П о д л о а ч е и к о Р. И. Ныштермпаароазввые схемы алгоратмоз П Докл. АН СССР.— 1972.— Т. 207, № 4.— С. 789 — 792. 55. П о д л о в ч е и к о Р. И. Полиса система подобвых преобразоазвай ведетермавирозаавых схем алгорвтмоздДокл. АН СССР.— 1973.— Т. 212, № 1.— С. 64 — 66. 56.
Подл ончевко Р. И. О повязках к прсблематяке теорив схем. алгорвтмоа над памятью !/ Системное а теоретическое программвроазкве: Сб. статей.— Новосибирск: ВЦ СО АН СССР, 1974.— С. 130 — 151. 57. П од л он ч е и к о Р. И. Ивтерпрепщиоввые а формзльаые отвошеааа между схемзмв иед пзмятьш // Проблемы ккбераетакп: Сб.
огатой. Вып. 30. — М.: Наука, 1975. — С. 277 †2. 58. П о д л о з ч е в к о Р. И. Фувкциовзльвеа в друпге зкзкэалеатвоста схем программ П Проблемы киберветаки. Вмп. 35.— М.: Наука,. 1979. — С. 185 — 198. 59. П от тоски И. В. К задаче чжткв цавлозП Цвфроазя вычислительная техивка и прогреммароазвпе: Сб.
статей. Вып. 4.— М.т Советское радио, 1968.— С. 18 — 36. 60. Редько В. Н., Л и созна Л. П. Проблема экввазлеитаоста для. коаечиопоаоротиых счегчвкозых маюав l/ Кибернетике. — 1980, № 4.— С. 26 — 2з9. 61. Р о дж е р с Х. Теория рекурсивных фувацвй и зффектвэазв зычаслкмость.— М.: Мар, 1972.— 624 с. 62. С а б е л ь ф е я ь д В. К. Крптервй локельвостн преобрезоааввй опсратораых схем д Кабераетика. — 1971. — № 5. — С. 59 — 62. 63. С абел ь фельд В. К. О преобравоаеаиях уазрвых лвиейвых репурсиааых схем // Кабериетикз.— 1975.— № 5.— С.
56 — 63. 64, С а б е л ь ф е л ь д В. К. Экавэалеатаые преобрззоазаая стаадартюсх схем Д П емы программвроазавя. Сб. статей.— Новосибирск: ВЦ СО АН СССР, 1976.— С. 94 — 121. 65. С а б е л ь ф е л ь д В. К. Поанаоюшльазя оцеакз сложвостк респоэмевзвпя логика-тевмэльаой зкаизелепгвоста // Докл. АН СССР.— 1979.— 'Г.
249, № 4.— С. 793 — 7М. 66, С а б е я ь ф е л ь д В. К. Экзвзелеювые преобразования рекурсюжмх схем программ!/ Опппизззцая н п ресовская програмю Сб. статей, Ч.1.— Новосибирск: ВЦ СО АН СССР, 1983.— С. 48 — 55. 67. С а б е л ъ ф е л ь д В. К. О проблеме древесной пустоты для рекурсивных схем программ0 Проблемы системного в теоретического программвровавпя: Сб. статей.— Новосибирск: НГУ, 1984.— С. 157 — 166. 68.
С а б е л ь ф е л ь д В. К. Мегод разметка для глобального анализа свойств.— Преприат! ВЦ СО АН СССР.— Новосибирск, 1986. Зй 699.— 20 с. 69. С а б е л ь ф е л ь д В. К. Фуикпионалъиая эквивалентность сквозвмх схем 0 Теа. докл. П Всесоюзн. коиф. по прикладной логане.— Новосвбирск: ИМ СО АН СССР, 1988.— С. 202 — 204. Ч0. Т р а х т е п б р о т Б. А. Об универсальных классах схем программ 0 Теорвя нрограммврования: Сб.
статей. Ч. 1.— Новоспбирск: ВЦ СО АН СССР, 1972.— С. 239 — 249, 71. Т р а х т е в б р о т Б. А. Алгоритмы и вычкслптельвые автоматы.— М.: Советское радио, 1974.— 200 с. Ч2. Т у в о в В. А. Эквввалевтвость логпческкх схем с перэстаиовочными онераторами 0 Кибернетика.— 19?О.— 36 6.— С. 33 — 38. ЧЗ. Т у з о в В. А. Проблемы раэрешення для граф-схем с перестановсчиыми операторами !1 // Кибернетика.— 1971.— 36 5.— С. 23 — 32. 74.
Успенский В. А. Лекции о вычпслвмых функциях.— М.: Фиаматгиз, 1960.— 492 с. 75. Х а р а р п Ф. 'Хеория графов.— М.: Мир, 1973.— И!0 с. 76. Ш у к у р я и С. К. Разрешвмость проблемы зквввалентности в одном классе многолевточвых мпогоголовочвых автоматов и схем программ над памятьв 0 Квберпстака.— 1976.— 34 4.— С.
12 — 16. 77. Я и о в Ю. И. О равносильности и преобразованиях схем программ 0 Докл. АН СССР.— 195Ч.— Т. ИЗ, 36 1.— С. 39 — 42. 78. Я и о в Ю. И. О логических схемах алгоритмов 0 Пробежи каберне ташп Сб. статей. Вып. 1.— М.: Фпэматгвз, 1958.— С. 75 — 127. 79. Я в о в Ю. И. О локальных преобразованиях схем алгоритмов // Проблемы кибервет»ши; Сб. статей. Вып.
20.— М.: Наука, 1968.— С. 201 — 216. 80. А Ь о А. У., (/ ! ! ш а а 1. О. ТЬе ТЬеогу о1 Ьапбаабеэ /! Ма!Ь. Яу»!. ТЬеогу.— 1968.— Ч. 2, 36 2.— Р. 97 — 125. (Русский перевод: А х о у А. В., У л и а и Дж. Д. Теория языков 0 Квберветпческпп сборник. Новая серия: Сб. статей. Вып. 8.— М,:Мир, 1969.— С. 145 81. А!1 ел Р. Е. А Ваыэ (ог Ргабгаш Орг!пп»а!»оа!/Ргос. 1Р1Р СоаЯгеээ ?1, 7 !аЫ!ааа, Х або»!ат!а, Аабпж 1971. — Азаиегйаш: Ног«Ь НаП. РаЫ.
Со.— 1971.— Р. 385 — 390. 82. А э Ь с г о 1 ! Е., М а а па 2. 'ХЬе ТгаейаИоа о1 «Сото» Рго3ташэ го «ЧГЬПе» Ргобгашэ 0 Ргос. !Р1Р Соа3теээ 71, 1.)пЫ!ааа, Хабоэ!ат!а, Аа Зз»$1971.— Апыгегйаш: КоггЬ-НоП. РаЫ. Со.— 1971.— Р. 250 — 255 83. АэЬс го!! Е., М аап а 2., Ране! ! А. РеейаЫе Ргоре«т!еэ о! Мопай!с ропот!опэ) ВоЬешеэ 0 1.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
