Advertisement

On synthesizing programs given by examples

  • J. Barzdin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    M. Gold, Limiting Recursion, J. Symb. Logic, 30, 28–48.Google Scholar
  2. [2]
    J.M. Barzdin, Prognostication of Automata and Functions, IFIP Congress 71, TA-2, Ljubljana, 1971, 180–184.Google Scholar
  3. [3]
    Я.М. Барздинъ, Сложностъ и частотное решение некоторых ал горитмически неразрешимых массовых проблем, докторская диссертация, 1971.Google Scholar
  4. [4]
    Я.М. Барздинъ, Р.В. ФреЙвалд, О прогнозировании общерекурсивных Функций, ДАН СССР, 206, No. 3, 1972.Google Scholar
  5. [5]
    A.P. Ershov, Theory of Program Schemata, IFIP Congress 71, 1, Ljubljana, 1971, 144–163.Google Scholar
  6. [6]
    M. Gold, Language Identification in the Limit, Informat. and Control, 10, 1967, 447–474.Google Scholar
  7. [7]
    J. Feldman, Some Decidability Results on Gramatical Inference and Complexity, Informat. and Control, 20, 224–262.Google Scholar
  8. [8]
    Б.А. Трахтенброт, Я.М. Барздинъ, Конечные автоматы (уоведение и синтез), "Наука", М., 1970.Google Scholar
  9. [9]
    А.Н. Колмогоров, В.А. Успенский, К определению алгоритма, УМН, 13, No 4, 1958, 3–28Google Scholar
  10. [10]
    Я.М. Барздинъ, Я.Я. Калнинъш, К общей концепции алгоритма и автомата, Теория языков и методы построения систем програм мирования, Труды симпозиума, Киев-Алушта, 1972, 43–47.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • J. Barzdin

There are no affiliations available

Personalised recommendations