Skip to main content

The theory of the modified post algebras and multidimensional automata structures

  • Communications
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 32))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Глушков В.М. и др. Рекурсивные машины и вычислителъная техника. Препринт 74–57. Изд-во ИК АН УССР, Киев, 1974.

    Google Scholar 

  2. Глушков В.М. Теория алгоритмов и вопросы проектирования структур цифровых машин. Журн. "Кибернетика", No1, Киев, 1965, 3–11.

    Google Scholar 

  3. Глушков В.М., Цейтлин Г.Е., ющенко Е.Л. Алгебра. Языки. ПроГраммирование. Изд-во "наукова думка", Киев, 1974.

    Google Scholar 

  4. Moore E.F., Machine Models of Self-Reproduction. Proc. Symp. Appl. Math., 1962, 14, 17–33.

    Google Scholar 

  5. Евреинов З.В., Косарев ю.Г. Однородные универсалъные вычислителъные системы высокой производителъности. Новосибирск, 1966.

    Google Scholar 

  6. Цейтлин Г.Е., ющенко Е.Л. О представлении языков в бс-автоматах. Журн. "Кибернетика", No 6, Киев, 1974, 40–51.

    Google Scholar 

  7. Post E., Two-Valued Iterative Systems, 1941.

    Google Scholar 

  8. Яблонский С.В. Функционалъные построения в К-значной лоГике. Труды МИАН СССР, 51, Москва, Изд-во АН СССР, 1958, 5–142.

    Google Scholar 

  9. Цейтлин Г.Е. Вопросы функционалъной полноты для одной модификации алгебры логики. журн. "Кибернетика", No4, Киев, 1969, 39–44.

    Google Scholar 

  10. Цейтлин Г.Е. Структура модифицированной алгебры Поста и ее свойства. журн. "Кибернетика", No 4, Киев, 1970, 39–54.

    Google Scholar 

  11. Цейтлин Г.Е. О бесконечно порожденных подалгебрах модифицированной алгебры Поста. Журн. "Кибернетика", No 2, Киев, 1971, 43–55.

    Google Scholar 

  12. Цейтлин Г.Е. Однородные структуры и модифицированные системы Поста. Труды Международного симпозиума "Дискретные системы", ИФААК-74, изд-во "ЗИНАТНЕ", РиГа, 238–247.

    Google Scholar 

Translation of Russian references

  1. Glushkov, V.M., Recursive machines and computers. Preprint 74–57 Inst.kib. Akad. nauk Ukr. SSR, Kiev, 1974.

    Google Scholar 

  2. Glushkov, V.M., Theory of algorithms and problems of structural design of computers. Kibernetika (Kiev) (1965), No. 1, 3–11.

    Google Scholar 

  3. Glushkov, V.M., Tseytlin, G.E., and Jushchenko, E.L., Algebra. Languages. Programming. Naukova dumka, Kiev, 1974.

    Google Scholar 

  4. Evreinov, E.V., Kosarev, Ju.G., Homogeneous general-purpose computer systems with high productivity. Novosibirsk, 1966.

    Google Scholar 

  5. Tseytlin, G.E., Jushchenko, E.L., On representation of languages in bs-automata. Kibernetika (Kiev) (1974), No.6, 40–51.

    Google Scholar 

  6. Jablonskii, S.V., Functional constructions in K-valued logic. Trudy Mat. inst. Akad. nauk SSSR, 51, Izd. Akad. nauk SSSR, Moscow, 1958, 5–142.

    Google Scholar 

  7. Tseytlin, G.E., Problems of functional completeness for a modification of the algebra of logic. Kibernetika (Kiev) (1969), No. 4, 39–44.

    Google Scholar 

  8. Tseytlin, G.E., The structure of a modified Post algebra and its properties, Ibid. (1970), No. 4, 39–54.

    Google Scholar 

  9. Tseytlin, G.E., On infinitely generated subalgebras of a modified Post algebra Ibid. (1971) No. 2, 43–55.

    Google Scholar 

  10. Tseytlin, G.E., Homogeneous structures and modified Post systems. Proc.Int. Symp. on Discrete Systems IFAC-74; Zinatne, Riga, 238–247.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Jíří Bečvář

Rights and permissions

Reprints and permissions

Copyright information

© 1975 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tseytlin, G.E. (1975). The theory of the modified post algebras and multidimensional automata structures. In: Bečvář, J. (eds) Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975. MFCS 1975. Lecture Notes in Computer Science, vol 32. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07389-2_227

Download citation

  • DOI: https://doi.org/10.1007/3-540-07389-2_227

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07389-5

  • Online ISBN: 978-3-540-37585-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics