8. SWAT 1967: Austin, Texas, USA

Session I

• Marvin C. Paull, Stephen H. Unger:
  Structural Equivalence of Context-Free Grammars. 7-13
  
• Daniel J. Rosenkrantz:
  Programmed Grammars: A New Device for Generating Formal Languages. 14-20
  
• Alfred V. Aho:
  Indexed Grammars-An Extension of Context Free Grammars. 21-31
  
• Sheila A. Greibach:
  An Infinite Hierarchy of Context-Free Languages. 32-36
  
• John E. Hopcroft, Jeffrey D. Ullman:
  Two Results on One-Way Stack Automata. 37-44
  
• Eric G. Wagner:
  On the Structure of Programming Languages, or, Six Languages for Turing Machines. 45-54
  

Session II

• Richard M. Karp, Raymond E. Miller:
  Parallel Program Schemata: A Mathematical Model for Parallel Computation. 55-61
  
• Fred L. Luconi:
  Completely Functional Asynchronous Computational Structures. 62-70
  
• David E. Muller:
  The General Synthesis Problem for Asynchronous Digital Networks. 71-82
  
• S. M. Amoroso:
  A Parallel-Acting Iterative Automaton. 83-94
  
• D. B. Armstrong, Arthur D. Friedman, Premachandran R. Menon:
  Synthesis of Asynchronous Sequential Circuits with Minimum Number of Delay Elements. 95-105
  
• Arthur D. Friedman:
  Universal Single Transition Time Asynchronous State Assignments. 106-111
  

Session III

• Juris Hartmanis:
  On the Complexity of Undecidable Problems in Automata Theory. 112-116
  
• Albert R. Meyer, Arnold L. Rosenberg, Patrick C. Fischer:
  Turing Machines with Several Read-Write Heads (Preliminary Report). 117-127
  
• Seymour Ginsburg, Sheila A. Greibach:
  Abstract Families of Languages. 128-139
  
• John E. Hopcroft, Jeffrey D. Ullman:
  An Approach to a Unified Theory of Automata. 140-147
  
• Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg:
  Real Time Counter Machines (Preliminary Version). 148-154
  
• Manuel Blum, Carl Hewitt:
  Automata on a 2-Dimensional Tape. 155-160
  

Session IV

• William H. Kautz:
  Testing for Faults in Combinational Cellular Logic Arrays. 161-174
  
• Theresa F. Klaschka:
  Two Contributions to Redundancy Theory. 175-183
  
• Bernard Elspas, Harold S. Stone:
  Decomposition of Group Functions and the Synthesis of Multirail Cascades. 184-196
  
• W. C. W. Mow, K. S. Fu:
  Generalization of Self-Dual and Self-Complementary Dual Functions. 197-209
  
• Domenico Ferrari, A. Grasselli:
  A Cellular Structure for Sequential Networks. 210-225
  
• James L. Massey, Michael K. Sain:
  Inverse Problems in Coding, Automata, and Continuous Systems. 226-232
  

Session V

• Peter Weiner, John E. Hopcroft:
  Modular Decomposition of Synchronous Sequential Machines. 233-239
  
• Robert L. Martin:
  Memory-Span Concepts and the Synthesis of Sequential Machines in Feedback Shift-Register Form. 240-251
  
• Eugene L. Lawler, Thomas F. Piatkowski:
  Generalized State Identification Problems. 252-254
  
• Janusz A. Brzozowski, Rina S. Cohen:
  On Decompositions of Regular Events. 255-264
  
• Rina S. Cohen, Janusz A. Brzozowski:
  On the Star Height of Regular Events. 265-279
  
• Azaria Paz:
  Fuzzy Star Functions, Probabilistic Automata and Their Approximation by Nonprobabilistic Automata. 280-290
  

Session VI

• Philip M. Spira, Michael A. Arbib:
  Computation Times for Finite Groups, Semigroups and Automata. 291-295
  
• Neil D. Jones:
  Classes of Automata and Transitive Closure. 296-306
  
• C. M. Ablow, Michael Yoeli, James Turner:
  Irreducible Decompositions of Transformation Graphs by Assignment Techniques. 307-313
  
• Rudolf Bayer:
  On Endomorphisms and Congruences of Automata. 314-321
  
• Zamir Bavel, James W. Thomas:
  On the Decomposability of Monadic Algebras and Automata. 322-335
  

Last update Mon Feb 13 04:25:55 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page