Anderson, Robert; Bledsoe, W. W. A linear format for resolution with merging and a new technique for establishing completeness. (English) Zbl 0199.31502 J. Assoc. Comput. Mach. 17, 525-534 (1970). PDF BibTeX XML Cite \textit{R. Anderson} and \textit{W. W. Bledsoe}, J. Assoc. Comput. Mach. 17, 525--534 (1970; Zbl 0199.31502) Full Text: DOI
Bukhshtab, Yu. A. Realisierbarkeit von Funktionen auf eindimensionalen iterativen Netzen in einer realen Zeit. (Russian) Zbl 0199.31403 Probl. Kibernetiki 22, 85-94 (1970). MSC: 94C10 PDF BibTeX XML Cite \textit{Yu. A. Bukhshtab}, Probl. Kibern. 22, 85--94 (1970; Zbl 0199.31403)
Buevich, V. A. Konstruktion einer universellen beschränkt determinierten Funktion von zwei Eingangsvariablen, welche zwei innere Zustände besitzt. (Russian) Zbl 0199.31402 Probl. Kibernetiki 22, 75-83 (1970). MSC: 94C10 PDF BibTeX XML Cite \textit{V. A. Buevich}, Probl. Kibern. 22, 75--83 (1970; Zbl 0199.31402)
Gallaire, H. Decomposition of linear sequential machines. II. (English) Zbl 0199.31401 Math. Syst. Theory 4, 168-190 (1970). PDF BibTeX XML Cite \textit{H. Gallaire}, Math. Syst. Theory 4, 168--190 (1970; Zbl 0199.31401) Full Text: DOI
Král, Jaroslav A modification of a substitution theorem and some necessary and sufficient conditions for sets to be context-free. (English) Zbl 0199.31301 Math. Syst. Theory 4, 129-139 (1970). PDF BibTeX XML Cite \textit{J. Král}, Math. Syst. Theory 4, 129--139 (1970; Zbl 0199.31301) Full Text: DOI
Indermark, Klaus Zur Zustandsminimiesierung nichtdeterministischer erkennender Automaten. (German) Zbl 0198.33002 Ber. Ges. Math. Datenverarb., Bonn 33, 47 S. (1970). PDF BibTeX XML
Slagle, J. R. Interpolation theorems for resolution in lower predicate calculus. (English) Zbl 0198.03601 J. Assoc. Comput. Mach. 17, 535-542 (1970). PDF BibTeX XML Cite \textit{J. R. Slagle}, J. Assoc. Comput. Mach. 17, 535--542 (1970; Zbl 0198.03601) Full Text: DOI
Hodes, L. The logical complexity of geometric properties in the plane. (English) Zbl 0198.03502 J. Assoc. Comput. Mach. 17, 339-347 (1970). PDF BibTeX XML Cite \textit{L. Hodes}, J. Assoc. Comput. Mach. 17, 339--347 (1970; Zbl 0198.03502) Full Text: DOI
Thatcher, J. W. Generalized sequential machine maps. (English) Zbl 0198.03303 J. Comput. Syst. Sci. 4, 339-367 (1970). PDF BibTeX XML Cite \textit{J. W. Thatcher}, J. Comput. Syst. Sci. 4, 339--367 (1970; Zbl 0198.03303) Full Text: DOI
Chernyj, D. E. Algebraische Eigenschaften von partiellen Automaten. (Russian) Zbl 0198.03302 Izv. Vyssh. Uchebn. Zaved., Mat. 1970, No. 2(93), 94-99 (1970). PDF BibTeX XML Cite \textit{D. E. Chernyj}, Izv. Vyssh. Uchebn. Zaved., Mat. 1970, No. 2(93), 94--99 (1970; Zbl 0198.03302)
Schütt, D. Serienzerlegung deterministischer (S)-Systeme. (German) Zbl 0198.03301 Z. Angew. Math. Mech. 50, Sonderheft, T85-T86 (1970). PDF BibTeX XML Cite \textit{D. Schütt}, Z. Angew. Math. Mech. 50, T85--T86 (1970; Zbl 0198.03301) Full Text: DOI
Walters, D. A. Deterministic context-sensitive languages. II. (English) Zbl 0198.03202 Inf. Control 17, 41-61 (1970). PDF BibTeX XML Cite \textit{D. A. Walters}, Inf. Control 17, 41--61 (1970; Zbl 0198.03202) Full Text: DOI
Walters, D. A. Deterministic context-sensitive languages. I. (English) Zbl 0198.03201 Inf. Control 17, 14-40 (1970). PDF BibTeX XML Cite \textit{D. A. Walters}, Inf. Control 17, 14--40 (1970; Zbl 0198.03201) Full Text: DOI
Ginsburg, S.; Hopcroft, J. Two-way balloon automata and AFL. (English) Zbl 0198.03103 J. Assoc. Comput. Mach. 17, 3-13 (1970). PDF BibTeX XML Cite \textit{S. Ginsburg} and \textit{J. Hopcroft}, J. Assoc. Comput. Mach. 17, 3--13 (1970; Zbl 0198.03103) Full Text: DOI
Ginsburg, S.; Greibach, S. Principal AFL. (English) Zbl 0198.03102 J. Comput. Syst. Sci. 4, 308-338 (1970). PDF BibTeX XML Cite \textit{S. Ginsburg} and \textit{S. Greibach}, J. Comput. Syst. Sci. 4, 308--338 (1970; Zbl 0198.03102) Full Text: DOI
Zelinka, B. Le groupe des S-automorphismes d’un langage. (French) Zbl 0198.03003 Rev. Roum. Math. Pures Appl. 15, 453-458 (1970). PDF BibTeX XML Cite \textit{B. Zelinka}, Rev. Roum. Math. Pures Appl. 15, 453--458 (1970; Zbl 0198.03003)
Raischi, C. Sur une modele algebrique des categories grammaticales. I. Corion. (Romanian) Zbl 0198.03002 Stud. Cercet. Mat. 22, 917-918 (1970). PDF BibTeX XML Cite \textit{C. Raischi}, Stud. Cercet. Mat. 22, 917--918 (1970; Zbl 0198.03002)
Hartmanis, J.; Hopcroft, J. E. What makes some language theory problems undecidable. (English) Zbl 0198.03001 J. Comput. Syst. Sci. 4, 368-376 (1970). PDF BibTeX XML Cite \textit{J. Hartmanis} and \textit{J. E. Hopcroft}, J. Comput. Syst. Sci. 4, 368--376 (1970; Zbl 0198.03001) Full Text: DOI
Siimon, A. A method for the realization of conjunction of signals in form of schemes in the potential-pulse element systems. (English) Zbl 0197.28605 Izv. Akad. Nauk Ehst. SSR, Fiz. Mat. 19, 172-176 (1970). PDF BibTeX XML Cite \textit{A. Siimon}, Izv. Akad. Nauk Èst. SSR, Fiz., Mat. 19, 172--176 (1970; Zbl 0197.28605)
Alad’ev, V. A problem on matrices arising in the theory of self-reproducing automata. (English) Zbl 0197.28604 Izv. Akad. Nauk Ehst. SSR, Fiz. Mat. 19, 159-165 (1970). PDF BibTeX XML Cite \textit{V. Alad'ev}, Izv. Akad. Nauk Èst. SSR, Fiz., Mat. 19, 159--165 (1970; Zbl 0197.28604)
Malisevskij, A. V. Zuverlässigkeitsabschätzung nichtautonomer endlicher Automaten. (Russian) Zbl 0197.28602 Avtom. Telemekh. 1970, No. 6, 93-102 (1970). PDF BibTeX XML Cite \textit{A. V. Malisevskij}, Avtom. Telemekh. 1970, No. 6, 93--102 (1970; Zbl 0197.28602)
Nieh, T. T. On the uniqueness of minimal-state stochastic sequential machines. (English) Zbl 0197.28504 IEEE Trans. Comput. 19, 164-166 (1970). PDF BibTeX XML Cite \textit{T. T. Nieh}, IEEE Trans. Comput. 19, 164--166 (1970; Zbl 0197.28504) Full Text: DOI
Doty, K. L.; Frank, Howard Discrete-time systems with the decomposition property. (English) Zbl 0197.28503 IEEE Trans. Comput. 19, 412-420 (1970). PDF BibTeX XML Cite \textit{K. L. Doty} and \textit{H. Frank}, IEEE Trans. Comput. 19, 412--420 (1970; Zbl 0197.28503) Full Text: DOI
Laudet, M.; Lacombe, D.; Nolin, Louis; Schützenberger, M. Symposium on automatic demonstration. Held at Versailles/France, December 1968. (English) Zbl 0196.02101 Lecture Notes in Mathematics. 125. Berlin-Heidelberg-New York: Springer-Verlag. 310 p. (1970). PDF BibTeX XML Full Text: DOI
Zander, H. J. Ein Verfahren zur Optimierung von Kombinationsschaltungen mit mehreren Ausgängen bei unvollständig gegebenen Arbeitsbedingungen. (German) Zbl 0196.02001 Elektron. Inform.-verarb. Kybernetik 6, 177-202 (1970). PDF BibTeX XML Cite \textit{H. J. Zander}, Elektron. Informationsverarbeitung Kybernetik 6, 177--202 (1970; Zbl 0196.02001)
Kambayashi, Yahiko; Yajima, Shuzo; Ohbayashi, Isao On finite-memory sequential machines. (English) Zbl 0196.01904 IEEE Trans. Comput. 19, 254-258 (1970). PDF BibTeX XML Cite \textit{Y. Kambayashi} et al., IEEE Trans. Comput. 19, 254--258 (1970; Zbl 0196.01904) Full Text: DOI
Knast, R. Representability of nonregular languages in finite probabilistic automata. (English) Zbl 0196.01903 Inf. Control 16, 285-302 (1970). PDF BibTeX XML Cite \textit{R. Knast}, Inf. Control 16, 285--302 (1970; Zbl 0196.01903) Full Text: DOI
Fritsnovich, G. F. Minimisierung der Zustandszahl teilweise bestimmter asynchroner endlicher Automaten. (Russian) Zbl 0196.01804 Avtom. Vychisl. Tekh. 1970, No. 4, 1-7 (1970). PDF BibTeX XML Cite \textit{G. F. Fritsnovich}, Avtom. Vychisl. Tekh. (Riga) 1970, No. 4, 1--7 (1970; Zbl 0196.01804)
Kaminger, F. P. The noncomputability of the channel capacity of context-sensitive languages. (English) Zbl 0196.01802 Inf. Control 17, 175-182 (1970). PDF BibTeX XML Cite \textit{F. P. Kaminger}, Inf. Control 17, 175--182 (1970; Zbl 0196.01802) Full Text: DOI
Kameda, T.; Vollmar, R. Note on tape reversal complexity of languages. (English) Zbl 0196.01801 Inf. Control 17, 203-215 (1970). PDF BibTeX XML Cite \textit{T. Kameda} and \textit{R. Vollmar}, Inf. Control 17, 203--215 (1970; Zbl 0196.01801) Full Text: DOI
Sethares, G. C. Completely periodic multithreshold functions. (English) Zbl 0195.30903 IEEE Trans. Comput. 19, 355-358 (1970). PDF BibTeX XML Cite \textit{G. C. Sethares}, IEEE Trans. Comput. 19, 355--358 (1970; Zbl 0195.30903) Full Text: DOI
Gönenc, Güney A method for the design of fault detection experiments. (English) Zbl 0195.30902 IEEE Trans. Comput. 19, 551-558 (1970). PDF BibTeX XML Cite \textit{G. Gönenc}, IEEE Trans. Comput. 19, 551--558 (1970; Zbl 0195.30902) Full Text: DOI
Woods, William A. Context-sensitive parsing. (English) Zbl 0195.30803 Commun. ACM 13, 437-445 (1970). PDF BibTeX XML Cite \textit{W. A. Woods}, Commun. ACM 13, 437--445 (1970; Zbl 0195.30803) Full Text: DOI
Arnold, Andre Les mathématiques à la portee de l’ordinatiur. (French) Zbl 0195.03003 Initiation aux nouveautes de la science. 22. Paris: Dunod. IX, 157 p. (1970). PDF BibTeX XML
Pawlak, Z. Definitional approach to automatic demonstration. (English) Zbl 0195.03002 Sympos. Atuomatic. Demonstrat., Versailles/France, 1968, Lect. Notes Math. 125, 191-193 (1970). PDF BibTeX XML
Robinson, J. A. An overview of mechanical theorem proving. (English) Zbl 0195.03001 Theor. Approaches non-numer. Probl. Sov., Proc. I V Syst. Sympos. Case Westrn Reserve Univ., Cleveland, Ohio, 1968, 2-20 (1970). PDF BibTeX XML
Chen, I-Ngo; Sheng, C. L. The decision problems of definite stochastic automata. (English) Zbl 0195.02702 SIAM J. Control. 8, 124-134 (1970). PDF BibTeX XML Cite \textit{I-N. Chen} and \textit{C. L. Sheng}, SIAM J. Control 8, 124--134 (1970; Zbl 0195.02702) Full Text: DOI
Kameda, Tsunehiko; Weiner, Peter On the state minimization of nondeterministic finite automata. (English) Zbl 0195.02701 IEEE Trans. Comput. 19, 617-627 (1970). PDF BibTeX XML Cite \textit{T. Kameda} and \textit{P. Weiner}, IEEE Trans. Comput. 19, 617--627 (1970; Zbl 0195.02701) Full Text: DOI
Zelinka, Bohdan Sur le PS-isomorphisme fort des languages. (French) Zbl 0195.02303 Bull. Math. Soc. Sci. Math. Répub. Soc. Roum., Nouv. Sér. 13(61)(1969), No. 1, 123-126 (1970). PDF BibTeX XML Cite \textit{B. Zelinka}, Bull. Math. Soc. Sci. Math. Répub. Soc. Roum., Nouv. Sér. 13(61), No. 1, 123--126 (1970; Zbl 0195.02303)
Ginsburg, Seymour The mathematical theory of context-free languages. Translation from the English ed. by A.Ya.Divoskij and L.S.Modina. (Russian) Zbl 0195.02301 Moskau: Verlag ’Mir’. 328 S. (1970). PDF BibTeX XML
Red’kin, N. P. Complexity of realization of incompletely-defined Boolean functions. (English. Russian original) Zbl 0194.32201 Autom. Remote Control 1969, 1474-1477 (1970); translation from Avtom. Telemekh. 1969, No. 9, 118-122 (1969). PDF BibTeX XML Cite \textit{N. P. Red'kin}, Autom. Remote Control 1969, 1474--1477 (1970; Zbl 0194.32201); translation from Avtom. Telemekh. 1969, No. 9, 118--122 (1969)
Mukhopadhyay, Amar; Schmitz, Greg Minimization of ’exclusive or’ and ’logical equivalence’ switching circuits. (English) Zbl 0193.33601 IEEE Trans. Comput. 19, 132-140 (1970). PDF BibTeX XML Cite \textit{A. Mukhopadhyay} and \textit{G. Schmitz}, IEEE Trans. Comput. 19, 132--140 (1970; Zbl 0193.33601) Full Text: DOI
Oberst, E. Methode zur Minimierung ternärer Schaltgleichungen. (German) Zbl 0193.33503 Elektron. Inform.-verarb. Kybernetik 6, 41-50 (1970). PDF BibTeX XML Cite \textit{E. Oberst}, Elektron. Informationsverarbeitung Kybernetik 6, 41--50 (1970; Zbl 0193.33503)
Harrison, Michael A. Sur la classification des fonctions logiques à plusieurs valeurs. (French) Zbl 0193.33501 Bull. Math. Soc. Sci. Math. Répub. Soc. Roum., Nouv. Sér. 13(61)(1969), No. 1, 41-54 (1970). PDF BibTeX XML Cite \textit{M. A. Harrison}, Bull. Math. Soc. Sci. Math. Répub. Soc. Roum., Nouv. Sér. 13(61), No. 1, 41--54 (1970; Zbl 0193.33501)
Schwartz, Ralph E. Existence and uniqueness properties of subfunctions of Boolean functions. (English) Zbl 0193.33402 SIAM J. Appl. Math. 18, 454-461 (1970). PDF BibTeX XML Cite \textit{R. E. Schwartz}, SIAM J. Appl. Math. 18, 454--461 (1970; Zbl 0193.33402) Full Text: DOI
Kfoury, D. J. Synchronizing sequences for probabilistic automata. (English) Zbl 0193.33401 Stud. Appl. Math. 49, 101-103 (1970). PDF BibTeX XML Cite \textit{D. J. Kfoury}, Stud. Appl. Math. 49, 101--103 (1970; Zbl 0193.33401) Full Text: DOI
Stucky, W.; Walter, Hermann Minimal linear realizations of autonomous automata. (English) Zbl 0193.33301 Inf. Control 16, 66-84 (1970). PDF BibTeX XML Cite \textit{W. Stucky} and \textit{H. Walter}, Inf. Control 16, 66--84 (1970; Zbl 0193.33301) Full Text: DOI
Kurmit, A. A. Self-adjusting inverse automata. (Russian) Zbl 0193.32903 Avtom. Vychisl. Tekh. 1970, No. 3, 1-9 (1970). PDF BibTeX XML Cite \textit{A. A. Kurmit}, Avtom. Vychisl. Tekh. (Riga) 1970, No. 3, 1--9 (1970; Zbl 0193.32903)
Kuich, W. Systems of pushdown acceptors and context-free grammars. (English) Zbl 0193.32701 Elektron. Inform.-verarb. Kybernetik 6, 95-114 (1970). PDF BibTeX XML Cite \textit{W. Kuich}, Elektron. Informationsverarbeitung Kybernetik 6, 95--114 (1970; Zbl 0193.32701)
Kuich, W. On the entropy of context-free languages. (English) Zbl 0193.32603 Inf. Control 16, 173-200 (1970). PDF BibTeX XML Cite \textit{W. Kuich}, Inf. Control 16, 173--200 (1970; Zbl 0193.32603) Full Text: DOI
Preparata, F. P.; Muller, D. E. Generation of near-optimal universal Boolean functions. (English) Zbl 0191.31201 J. Comput. Syst. Sci. 4, 93-102 (1970). PDF BibTeX XML Cite \textit{F. P. Preparata} and \textit{D. E. Muller}, J. Comput. Syst. Sci. 4, 93--102 (1970; Zbl 0191.31201) Full Text: DOI
Yamada, H.; Amoroso, S. A completeness problem for pattern generation in tessellation automata. (English) Zbl 0191.31006 J. Comput. Syst. Sci. 4, 137-176 (1970). PDF BibTeX XML Cite \textit{H. Yamada} and \textit{S. Amoroso}, J. Comput. Syst. Sci. 4, 137--176 (1970; Zbl 0191.31006) Full Text: DOI
Gross, M.; Lentin, A. Introduction to formal grammars. (English) Zbl 0191.31002 Berlin-Heidelberg-New York: Springer-Verlag, IX, 231 p. (1970). PDF BibTeX XML
Savitch, W. J. Relationships between nondeterministic and deterministic tape complexities. (English) Zbl 0188.33502 J. Comput. Syst. Sci. 4, 177-192 (1970). PDF BibTeX XML Cite \textit{W. J. Savitch}, J. Comput. Syst. Sci. 4, 177--192 (1970; Zbl 0188.33502) Full Text: DOI
Turakainen, P. The family of stochastic languages is closed neither under catenation nor under homomorphism. (English) Zbl 0188.33303 Ann. Univ. Turku., Ser. A I 133, 6 p. (1970). PDF BibTeX XML Cite \textit{P. Turakainen}, Ann. Univ. Turku, Ser. A I 133, 6 p. (1970; Zbl 0188.33303)
Brauer, W. Eine Bemerkung zur Zustandsreduktion unvollständiger Automaten. (German) Zbl 0188.33301 Computing 5, 178-184 (1970). PDF BibTeX XML Cite \textit{W. Brauer}, Computing 5, 178--184 (1970; Zbl 0188.33301) Full Text: DOI
Lin, Y.-F. On input semigroups of automata. (English) Zbl 0188.33201 Math. Syst. Theory 4, 35-39 (1970). PDF BibTeX XML Cite \textit{Y. F. Lin}, Math. Syst. Theory 4, 35--39 (1970; Zbl 0188.33201) Full Text: DOI
Büchi, J. R.; Hosken, W. H. Canonical systems which produce periodic sets. (English) Zbl 0188.33104 Math. Syst. Theory 4, 81-90 (1970). PDF BibTeX XML Cite \textit{J. R. Büchi} and \textit{W. H. Hosken}, Math. Syst. Theory 4, 81--90 (1970; Zbl 0188.33104) Full Text: DOI
Hartmanis, J. A note on one-way and two-way automata. (English) Zbl 0188.33103 Math. Syst. Theory 4, 24-28 (1970). PDF BibTeX XML Cite \textit{J. Hartmanis}, Math. Syst. Theory 4, 24--28 (1970; Zbl 0188.33103) Full Text: DOI
Book, R. V.; Greibach, S. A. Quasi-real-time languages. (English) Zbl 0188.33102 Math. Syst. Theory 4, 97-111 (1970). PDF BibTeX XML Cite \textit{R. V. Book} and \textit{S. A. Greibach}, Math. Syst. Theory 4, 97--111 (1970; Zbl 0188.33102) Full Text: DOI
Richard, Jean Représentations matricielles des séries rationnelles en variables non commutatives. (French) Zbl 0188.03303 C. R. Acad. Sci., Paris, Sér. A 270, 224-227 (1970). PDF BibTeX XML Cite \textit{J. Richard}, C. R. Acad. Sci., Paris, Sér. A 270, 224--227 (1970; Zbl 0188.03303)
Vollmar, R. Über einen Automaten mit Pufferspeicherung. (German) Zbl 0188.03301 Computing 5, 57-70 (1970). PDF BibTeX XML Cite \textit{R. Vollmar}, Computing 5, 57--70 (1970; Zbl 0188.03301) Full Text: DOI
Maurer, H. A. A note on the complement of inherently ambiguous context-free languages. (English) Zbl 0188.03204 Commun. ACM 13, 194 (1970). PDF BibTeX XML Cite \textit{H. A. Maurer}, Commun. ACM 13, 194 (1970; Zbl 0188.03204) Full Text: DOI
Jones, N. D. A note on the index of a context-free language. (English) Zbl 0188.03203 Inf. Control 16, 201-202 (1970). PDF BibTeX XML Cite \textit{N. D. Jones}, Inf. Control 16, 201--202 (1970; Zbl 0188.03203) Full Text: DOI
Wood, D. The theory of left factored languages. II. (English) Zbl 0188.03202 Comput. J. 13, 55-62 (1970). PDF BibTeX XML Cite \textit{D. Wood}, Comput. J. 13, 55--62 (1970; Zbl 0188.03202) Full Text: DOI
Greibach, S. A. Full AFLs and nested iterated substitution. (English) Zbl 0188.03102 Inf. Control 16, 7-35 (1970). PDF BibTeX XML Cite \textit{S. A. Greibach}, Inf. Control 16, 7--35 (1970; Zbl 0188.03102) Full Text: DOI
Schnelle, H. Zur Entwicklung der theoretischen Linguistik. (German) Zbl 0187.27801 Studium generale 23, 1-29 (1970). PDF BibTeX XML
Bowman, R. M.; McVey, E. S. A method for the fast approximate solution of large prime implicant charts. (English) Zbl 0186.01403 IEEE Trans. Comput. 19, 169-173 (1970). PDF BibTeX XML Cite \textit{R. M. Bowman} and \textit{E. S. McVey}, IEEE Trans. Comput. 19, 169--173 (1970; Zbl 0186.01403) Full Text: DOI
Cudia, D. F. General problems of formal grammars. (English) Zbl 0169.31302 J. Assoc. Comput. Mach. 17, 31-43 (1970). PDF BibTeX XML Cite \textit{D. F. Cudia}, J. Assoc. Comput. Mach. 17, 31--43 (1970; Zbl 0169.31302) Full Text: DOI
Maslov, S. Yu. Zusammenhang zwischen den Taktiken der inversen Methode und der Methode der Resolutionen. (Russian) Zbl 0199.31501 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 16, 137-146 (1969). PDF BibTeX XML Cite \textit{S. Yu. Maslov}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 16, 137--146 (1969; Zbl 0199.31501)
Kuntzmann, J. (ed.); Naslin, P. (ed.) Algèbre de Boole et machines logiques. (Russian. French original) Zbl 0198.33003 Moskau: Verlag ’Mir’. 292 S. (1969). PDF BibTeX XML
Davydov, G. V.; Maslov, S. Yu.; Minc, G. E.; Orevkov, V. P.; Slisenko, A. O. Maschinenalgorithmus zur Feststellung der Ableitbarkeit auf der Grundlage der inversen Methode. (Russian) Zbl 0198.03602 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 16, 8-19 (1969). PDF BibTeX XML Cite \textit{G. V. Davydov} et al., Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 16, 8--19 (1969; Zbl 0198.03602)
Tomescu, I. La construction des tests minimaux pour les fonctions booleennes symétriques. (French) Zbl 0198.03501 Calcolo 6, 59-68 (1969). PDF BibTeX XML Cite \textit{I. Tomescu}, Calcolo 6, 59--68 (1969; Zbl 0198.03501) Full Text: DOI
de Luca, A.; Ricciardi, L. M. Decomposition of a matrix as the sum of direct products. Applications to neural networks. (English) Zbl 0198.03403 Calcolo 6, 225-237 (1969). PDF BibTeX XML Cite \textit{A. de Luca} and \textit{L. M. Ricciardi}, Calcolo 6, 225--237 (1969; Zbl 0198.03403) Full Text: DOI
Makarevskij, A. Ya. Eine Methode zur Realisierung von Graph-Schemata in homogenen Umgebungen. (Russian) Zbl 0198.03402 Izv. Akad. Nauk SSSR, Tekh. Kibern. 1969, No. 6, 69-79 (1969). PDF BibTeX XML Cite \textit{A. Ya. Makarevskij}, Izv. Akad. Nauk SSSR, Tekh. Kibern. 1969, No. 6, 69--79 (1969; Zbl 0198.03402)
Karibskij, V. V.; Parkhomenko, P. P.; Sogomonyan, E. S. A method for constructing test programs for devices with memory described by a finite-automaton model. (English. Russian original) Zbl 0198.03401 Autom. Remote Control 1969, 229-232 (1969); translation from Avtom. Telemekh. 1969, No. 2, 77-81 (1969). PDF BibTeX XML Cite \textit{V. V. Karibskij} et al., Autom. Remote Control 1969, 229--232 (1969; Zbl 0198.03401); translation from Avtom. Telemekh. 1969, No. 2, 77--81 (1969)
Mager, G. Writing pushdown acceptors. (English) Zbl 0198.03104 J. Comput. Syst. Sci. 3, 276-318 (1969). PDF BibTeX XML Cite \textit{G. Mager}, J. Comput. Syst. Sci. 3, 276--318 (1969; Zbl 0198.03104) Full Text: DOI
Samojlenko, L. G. Über eine Klasse von Grammatiken von direkten Komponenten. (Russian) Zbl 0198.03101 Kibernetika 1969, No. 2, 94-96 (1969). PDF BibTeX XML Cite \textit{L. G. Samojlenko}, Kibernetika 1969, No. 2, 94--96 (1969; Zbl 0198.03101)
Yasui, Toshio; Yajima, Shuzo Some algebraic properties of sets of stochastic matrices. (English) Zbl 0197.28601 Inf. Control 14, 319-357 (1969). PDF BibTeX XML Cite \textit{T. Yasui} and \textit{S. Yajima}, Inf. Control 14, 319--357 (1969; Zbl 0197.28601) Full Text: DOI
Mishchenko, A. T. Über die formale Synthese von Vereinigungsautomaten. (Russian) Zbl 0197.28502 Kibernetika 1969, No. 4, 17-20 (1969). PDF BibTeX XML Cite \textit{A. T. Mishchenko}, Kibernetika 1969, No. 4, 17--20 (1969; Zbl 0197.28502)
Volosin, G. J. Optimierung der Strukturen von hierarchischen Erkennungsautomaten. (Russian) Zbl 0197.28403 Vychisl. Sistemy, Novosibirsk 36, 13-28 (1969). PDF BibTeX XML
Griffiths, T. V.; Petrick, S. R. Top-down versus bottom-up analysis. (English) Zbl 0197.28402 Inf. Process., Proc. IFIP Congr., Edinb. 1968, 1, 437-443 (1969). PDF BibTeX XML
Bär, Dieter Zur Theorie der syntaktischen Analysealgorithmen für kontextfreie Grammatiken. II. (German) Zbl 0197.28401 Elektron. Inform.-verarb. Kybernetik 5, 217-238 (1969). PDF BibTeX XML Cite \textit{D. Bär}, Elektron. Informationsverarbeitung Kybernetik 5, 217--238 (1969; Zbl 0197.28401)
Hopcroft, J. E.; Ullman, J. D. Formal languages and their relation to automata. (English) Zbl 0196.01701 Addison-Wesley Series in Computer Science and Information Processing. Reading, Mass. etc.: Addison-Wesley Publishing Company. X, 242 p. (1969). PDF BibTeX XML
Wood, D. A note on top-down deterministic languages. (English) Zbl 0195.30802 BIT, Nord. Tidskr. Inf.-behandl. 9, 387-399 (1969). PDF BibTeX XML Cite \textit{D. Wood}, BIT, Nord. Tidskr. Inf.-behandl. 9, 387--399 (1969; Zbl 0195.30802) Full Text: DOI
Korshunov, A. D. Vergleich der Kompliziertheit längster und kürzester disjunktiver Normalformen und Abschätzung der Zahl der ausweglosen disjunktiven Normalformen für fast alle Booleschen Funktionen nach unten. (Russian) Zbl 0195.02902 Kibernetika, Kiev 1969, No. 4, 1-11 (1969). PDF BibTeX XML Cite \textit{A. D. Korshunov}, Kibernetika 1969, No. 4, 1--11 (1969; Zbl 0195.02902)
Simovici, D. Sur la commutativité de la supérposition des fonctions booléennes et certaines propriétés d’itération. (Romanian. French summary) Zbl 0195.02901 An. şti. Univ. Al. I. Cuza Iaşi, n. Ser., Secţ. Ia 15, 449-455 (1969). PDF BibTeX XML
Küstner, Herbert Analyse und synthese stochastischer Automaten. (German) Zbl 0195.02703 Elektron. Inform.-verarb. Kybernetik 5, 269-310 (1969). PDF BibTeX XML Cite \textit{H. Küstner}, Elektron. Informationsverarbeitung Kybernetik 5, 269--310 (1969; Zbl 0195.02703)
Reusch, Bernd Linear and partial-linear realization of automata. (English) Zbl 0195.02601 Inf. Process., Proc. IFIP Congr., Edinb. 1968, 1, 308-311 (1969). PDF BibTeX XML
Waligorski, Stanislaw Algebraic theory of automata. (Polish. Russian, English summaries) Zbl 0195.02502 Algorytmy 6, No. 11, 1-131 (1969). PDF BibTeX XML
Hotz, G. Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen. (German) Zbl 0195.02401 Computing 4, 30-42 (1969). PDF BibTeX XML Cite \textit{G. Hotz}, Computing 4, 30--42 (1969; Zbl 0195.02401) Full Text: DOI
Greibach, Sheila A.; Hopcroft, John Scattered context grammars. (English) Zbl 0195.02304 Inf. Process., Proc. IFIP Congr., Edinb. 1968, 1, 260-264 (1969). PDF BibTeX XML
Cislaru, Cornel Configurations de l’ordre infini. (Romanian. French summary) Zbl 0195.02302 Stud. Cercet. Mat. 21, 561-570 (1969). PDF BibTeX XML Cite \textit{C. Cislaru}, Stud. Cercet. Mat. 21, 561--570 (1969; Zbl 0195.02302)
Baltusch, Felicia Machines mathématiques et grammaires generatives. (Romanian. French summary) Zbl 0195.02201 Stud. Cercet. Mat. 21, 831-875 (1969). PDF BibTeX XML Cite \textit{F. Baltusch}, Stud. Cercet. Mat. 21, 831--875 (1969; Zbl 0195.02201)
Danilenko, P. Ya.; Umanskiĭ, V. V. Eine Methode zur Minimisierung von Funktionen der Algebra der Logik. (Russian) Zbl 0194.32105 Soobshch. Akad. Nauk Gruz. SSR 54, 45-48 (1969). Reviewer: Nicolae N. Necula MSC: 68Q45 PDF BibTeX XML Cite \textit{P. Ya. Danilenko} and \textit{V. V. Umanskiĭ}, Soobshch. Akad. Nauk Gruz. SSR 54, 45--48 (1969; Zbl 0194.32105)
Ginsburg, Seymour; Greibach, Sheila; Hopcroft, John Studies in abstract families of languages. (English) Zbl 0194.31402 Mem. Am. Math. Soc. 87, 51 p. (1969). Reviewer: C.-P. Schnorr MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Ginsburg} et al., Studies in abstract families of languages. Providence, RI: American Mathematical Society (AMS) (1969; Zbl 0194.31402) Full Text: DOI
Kornejchuk, V. I.; Tarasenko, V. P. Vergleichsschemata mehrwertiger Codes. (Russian) Zbl 0193.33602 Izv. Akad. Nauk SSSR, Tekh. Kibern. 1969, No. 5, 81-83 (1969). PDF BibTeX XML Cite \textit{V. I. Kornejchuk} and \textit{V. P. Tarasenko}, Izv. Akad. Nauk SSSR, Tekh. Kibern. 1969, No. 5, 81--83 (1969; Zbl 0193.33602)
Marzollo, A.; Sipala, P. Optimal input code assignment for threshold-or synthesis. (English) Zbl 0193.33502 Comput. Methods Optim. Probl. 2, 2nd Int. Conf. San Remo, Italy 1968, 235-246 (1969). PDF BibTeX XML
Starke, P. H. Schwache Homomorphismen für stochastische Automaten. (German) Zbl 0193.33303 Z. Math. Logik Grundlagen Math. 15, 421-429 (1969). PDF BibTeX XML Cite \textit{P. H. Starke}, Z. Math. Logik Grundlagen Math. 15, 421--429 (1969; Zbl 0193.33303) Full Text: DOI
Davis, Wayne A. Linear realizations for permutation machines. (English) Zbl 0193.33302 Inf. Process., Proc. IFIP Congr., Edinb. 1968, 1, 283-289 (1969). PDF BibTeX XML