×

Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen. (German) Zbl 0195.02401


PDF BibTeX XML Cite
Full Text: DOI

References:

[1] Beyer, G.: Die Erweiterung von Schaltwerken. Techn. Bericht der Fa. Telefunken1965. · Zbl 0144.18304
[2] Brinkmann, H.-B., undD. Puppe: Kategorien und Funktoren. Lecture Notes in Mathematics. (Ed.A. Dold, R. Eckmann). Springer-Verlag. 1966. · Zbl 0265.18002
[3] Büchi, J. R.: Theorie der endlichen automaten. Vorlesung an der Universität in Mainz (1961–1962). Nicht veröffentlicht.
[4] Chomsky, N.: Three Models for the Description of Language. IRE Trans. on Inform. Theory, IT-2,1956. · Zbl 0156.25401
[5] Chomsky, N., andG. A. Miller: Finite State Languages. Information and Control1, (1958). · Zbl 0148.25003
[6] Chomsky, N., andM. P. Schützenberger: The Algebraic Theory of Contextfree Languages, in: Computer Programming and Formal Systems. (Ed.:Braffort andHirschberg). Amsterdam: North-Holland Publishing Comp. 1963.
[7] Deussen, P.: On the Algebraic Theorie of Finite Automata. ICC Bulletin4, (1966).
[8] Eickel, J., W. Lohner undH. Langmaack: Kapitel über Mehrdeutigkeit vonChomsky-0-Sprachen. Erscheint in Lecture Notes in Mathematics. (Ed.:A. Dold, R. Eckmann). Springer-Verlag.
[9] Ginsburg, S.: An Introduction to Mathematical Machine Theory. Addison-Wesley. 1962. · Zbl 0102.33804
[10] Hartmanis, J.: On the State Assignment Problem for Sequential Machines I, IRE-Trans. EC-10, (1961).
[11] Hartmanis, J., andR. E. Stearns: On the State Assignment Problem for Sequential Machines II. IRE-Trans. EC-10, (1961).
[12] Hotz, G.: Algebraisierung des Syntheseproblems von Schaltkreisen. EIK1, (1965). · Zbl 0199.04504
[13] Hotz, G.: Homomorphie und Äquivalenz formaler Sprachen. 3. Kolloquium über Automatentheorie. (Ed.:W. Händler, E. Peschl, H. Unger). Basel: Birkhäuser-Verlag. 1967. · Zbl 0165.32101
[14] Hotz, G.: Eindeutigkeit und Mehrdeutigkeit formaler Sprachen. EIK2, (1966).
[15] Hotz, G.: Sprachen mit endlich vielen Zuständen. Math. Zeitschrift104, (1968). · Zbl 0157.02002
[16] Hotz, G.: Erzeugung formaler Sprachen durch gekoppelte Ersetzungen. 4. Kolloquium über Automatentheorie vom 5.–6. 10. 1967 in München. (Ed.:F. L. Bauer, K. Samelson. Math. Institut der TH München).
[17] Kohavi, Z.: Secondary State Assignment for Sequential Machines. IEEE-Trans. EC-13, (1964). · Zbl 0124.00603
[18] Krohn, K. B., andJ. L. Rhodes: Algebraic Theorie of Machines, in: Proceedings of the Symposium on Mathematical Theory of Automata, 1962. Polytechnic Press of the Polytechnic Institute of Brooklyn. · Zbl 0138.00808
[19] Mealy, G. H.: Method for Syntheszing Sequential Circuits. Bell System Techn. J.34, (1955).
[20] Mitchell, B.: Theory of Categories. New York: Academic Press. 1965. · Zbl 0136.00604
[21] Moore, E. F.: Gedankenexperiments on Sequential Machines, inG. E. Shannon andJ. McCarthy: Automata Studies. Princeton University Press. 1956.
[22] Myhill: Linear Bounded Automata. WADD Techn. Note, No. 60-165. Wright-Patterson Air Force Base. Ohio. 1960.
[23] Rabin, M. O., andD. Scott: Finite Automata and Their Decision Problems. IBM Journal2, 114–125 (1959). · Zbl 0158.25404
[24] Schnorr, C. P.: Homomorphismen kontextfreier Sprachen. Erscheint demnächst.
[25] Schnorr, C. P.: Vier Entscheidbarkeitsprobleme für kontextsensitive Sprachen. Erscheint demnächst in der EIK. · Zbl 0169.31403
[26] Schnorr, C. P., undH. Walter: Pullbackkonstruktionen bei Semi-Thuesystemen. Erscheint demnächst in der EIK.
[27] Walter, H.: Pullbackkonstruktionen bei Semi-Thuesystemen. 4. Kolloquium über Automatentheorie4, (Ed.Bauer undSamelson, München).
[28] Walter, H.: Erweiterungen von endlichen Automaten. Erscheint demnächst in der EIK.
[29] Yoeli, M.: The Cascade Decomposition of Sequential Machines. IRE Trans. EC-10, (1961). · Zbl 0115.02103
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.