- Email: [email protected]
Contents EATCS bulletin
Theoretical Computer Science 47 (1986) 233-235 North-Holland
233
CONTENTS EATCS BULLETIN No. 30, October 1986
1.
2.
.
4.
EA TCS Matters Letter from the President and Bulletin Editor . . . . . . . . . . . . . . . . . . . A. Salomaa: Scattered recollections about EATCS . . . . . . . . . . . . . . . . . Institutional sponsors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ICALP 86 B. Monien: Report on the general assembly . . . . . . . . M. Jantzen and M. Kudlek: Report on ICALP 86 . . . . . . G. Hansel: Symbolic dynamics, automata and coding theory A. Sch6nhage: Tapes versus pointers, a study in implementing ICALP 74-85 poster . . . . . . . . . . . . . . . . . . . .
. . . . . . fast . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . algorithms .... . . . . . . . .
Technical Contributions J.L. BalcAzar and J. Gabarro: Some comments about notations of orders of magnitude R.M. Capocelli: Comments on "Trends in the theory of codes" by J. Berstel and D. Perrin A. Choquet and A. Finkel: Applications of residues for the analysis of parallel systems communicating by FIFO-channels . . . . . . . . . . . . . . . . . . . . . . . M. Crochemore: Computing LCF in linear time . . . . . . . . . . . . . . . . . . E. Ehrig, J. Loeckx and B. Mahr: A remark on the equational calculus for many.sorted algebras with possibly empty carrier sets . . . . . . . . . . . . . . . . . . . . J.A. Goguen and J. Meseguer" Remarks on remarks on many-sorted equational logic A.J. Kfoury: A linear-time algorithm to decide whether a binary word contains an overlap P. Lescanne: Divergence o f the Knuth-Bendix completion procedure and termination orderings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A. de Luca and A. Restivo: On a generalization of a conjecture of Ehrenfeucht . . . . N. Nirmal, R. Rama and C. Sri Had Nagore; Closure properties of EOL-regular matrix languages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Reports on Conferences 2nd British Theoretical Computer Science Colloquium, Warwick, England, March 1986 (abstracts included) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Workshop on Fanlt-Tolerant Distributed Computing, Monterey, CA, U.S.A., March 1986 (report by Y. Moses) . . . . . . . . . . . . . . . . . . . . . . . . . . . . Workshop on Mathematical Aspects of Informatics, M/igdesprung, German Democratic Republic, April 1986 (report by G. Wechsung) . . . . . . . . . . . . . . . . . Seminar on Applicability of Petri Nets to Operations Research, Milano, Italy, May 1986 Conference "Automata, Languages and Programming Systems", Salgotarjan, Hungary, May 1986 (report by B. Courcelle) . . . . . . . . . . . . . . . . . . . . . . Meetings o f the technical group on Automata and Languages, IECE, Japan, January-March 1986 (abstracts submitted by H. Machida) . . . . . . . . . . . . . . . . . . . 18th Symposium on the Theory of Computing, Berkeley, CA, U.S.A., May 1986 (report by P. van Emde Boas) . . . . . . . . . . . . . . . . . . . . . . . . . . . . Structure in Complexity Theory, Berkeley, CA, U.S.A., June 1986 (report by P. van Emde Boas) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0304-3975/86/$3.50 © 1986, Elsevier Science Publishers B.V. (North-Holland)
1
3 6
7 12 15 23 33
34 43 44 57 61 66 74 80 84 91
103 120 122 123 125 127 142 146
234
Contents EA TCS Bulletin
2nd Symposium on Computational Geometry, Yorktown Heights, NY, U.S.A. June 1986 (report by J. O'Rourke) . . . . . . . . . . . . . . . . . . . . . . . . . . . 7th European Workshop on Applications and Theory of Petri Nets, Oxford, England, June-July 1986 (report by M. Tinsanen and M. Lindqvist) . . . . . . . . . . . . Aegean Workshop on Computing, Loutraki, Greece, July 1986 (report by G. N. Frederickson and S. E. Hambrush) . . . . . . . . . . . . . . . . . . . . . . . . . . 1st International Conference on Database Theory, Rome, Italy, September 1986 (report by J. Paredaens) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.
Conference Announcements POPL 87, Preliminary program . . . . . . . . . . . . . . . . . . . . . . . . . 3rd Workshop on the Mathematical Foundations of Programming Language Semantics, New Orleans, LA, U.S.A. (April 8-10, 1987) . . . . . . . . . . . . . . . . . . Eurocrypt 87, Amsterdam, The Netherlands (April 13-15, 1987) . . . . . . . . . . 6th Amsterdam Colloquium, Amsterdam, The Netherlands (April 13-16, 1987) . . . . International Workshop on Parallel Algorithms and Architectures, Suhl, German Democratic Republic (May 25-30, 1987) . . . . . . . . . . . . . . . . . . . . . . 2nd International Conference on Rewriting Techniques and applications, Bordeaux, France (May 25-27, 1987) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4th International Conference on Logic Programming, Melbourne, Australia (May 1987) 3rd Symposium on Computational Geometry, Waterloo, Ontario, Canada (June 8-10, 1987) 2nd Annual Conference on Structure in Complexity Theory, Ithaca, NY, U.S.A. (June 16-19, 1987) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2nd Annual Symposium on Logic in Computer Science, Ithaca, NY, U.S.A. (June 22-25,
8l~7~opean" Workshop on Applications'and'Theor~'of Petri Netsl Zaragoza, Spain (June 24-26, 1987) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . International Workshop on Petri Nets and Performance Models, Madison, WI, U.S.A. (August 24-26, 1987) . . . . . . . . . . . . . . . . . . . . . . . . . . . . International Meeting of Young Computer Scientists, Smolenice Castle, Czechoslovakia (October 14-17, 1987), Preliminary program . . . . . . . . . . . . . . . . . . 2nd International Symposium on Methodologies for Intelligent Systems, Charlotte, NC (October 21-24, 1987) . . . . . . . . . . . . . . . . . . . . . . . . . . . . ICALP 87, Karlsrahe, West Germany (July 13-17, 1987) . . . . . . . . . . . . . . 6.
Z
Reports on Computer Science Departments and Institutes Department of Computer Science, Technical University of Aachen, Aachen, West Germany (report by W. Thomas) . . . . . . . . . . . . . . . . . . . . . . . . . . . Department of Computer Science, Technical University of Berlin, Berlin, West Germany (report by B. Mahr) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Department of Computer and Information Science, The Ohio State University, Columbus, OH, U.S.A. (report by Y. Yesha) . . . . . . . . . . . . . . . . . . . . . . . Department of Computer Science, University of Helsinki, Helsinki, Finland (report by P. Orponen) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Department of Computer Science, Hebrew University of Jerusalem, Jerusalem, Israel (report by D. Lehman) . . . . . . . . . . . . . . . . . . . . . . . . . . . Department of Computer Science, University of Paderborn, Paderborn, West Germany (report by T. Lengauer) . . . . . . . . . . . . . . . . . . . . . . . .... Department of Computer Science, University of Washington, Seattle, WA, U.S.A. (report by L. Ruzzo) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Reports on Computer Science Organimtions Algebraic Specification Techniques Project at the Technical University of Berlin, Berlin, Fed. Rep. Germany . . . . . . . . . . . . . . . . . . . . . . . . . . . . . INRIA: Institute National de Recherche en Informatique et Automatique (report by L. Kott) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Theoretical computer science activities in Japan (report by O. Watanabe) ...... "
147 149 155 159
162 164 166 167 168 170 171 172 173
174 175 176 177 181 182
183 187 193 195 199 201 210
213 228 233
235
Contents E A T C S Bulletin .
Technical Reports and Publications
Department of Computer Science, Technical University of Aachen, Aachen, Fed. Rep. Germany . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Department of Computer Science, University of Helsinki, Helsinki, Finland . . . . . Department of Comuter Science, University of Bordeaux, Bordeaux, France . . . . . Department of Computer Science, University of Passau, Passau, Fed. Rep. Germany Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, U.S.A. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada Center for Research in Computing Technology, Harvard University, Cambridge, MS, U.S.A. .
258
Problems and Solutions
Problems contributed by J. H. Johnson and M. Crochemore 11.
253 255 256
Book Reviews
T. Beth, N. Cot and I. Ingermarsson, eds.: Advances in Cryptology, Springer-Verlag, 1985 (reviewed by A. Salomaa) . . . . . . . . . . . . . . . . . . . . . . . . . . I0.
239 241 242 251
. . . . . . . . . . . .
260
Abstracts o f Ph.D. Theses
C. Duboc: Commutations in the free monoids: a theoretical framework for the study of paraUellism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . D. Girault-Beauquier: Automata on bi-infinite words . . . . . . . . . . . . . . . P. Gohon: Automata with distance and recognizability in free commutative monoids M. Kaul: Syntactic analysis of graphs in precedence graph grammars . . . . . . . . M. Leonard: Generation of finite maximal, biprefix codes . . . . . . . . . . . . . J.-P. P6cuchet: Two-way finite automata, ,o-rational languages and semigroup varieties A. Petit: Determinism and non-generators . . . . . . . . . . . . . . . . . . . . S. Porat: Fairness in models for nondeterministic computations . . . . . . . . . . . G. Vossen: Design and manipulation of databases under the universal relation data model
262 266 270 274 277 280 283 288 291
12.
M o v i n g Around
294
13.
Miscellaneous
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
F. G6cseg: The role of theory in computer science 14.
The Contents o f "Theoretical Computer Science"
15.
E A T C S Leaflet
295 . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Bulletin Editor: G. Rozenberg, Leiden, The Netherlands Production and distribution: Th. Ottmann, Karlsruhe, Fed. Rep. Germany Picture Editor: P. van Emde Boas, Amsterdam, The Netherlands
298 300
233
CONTENTS EATCS BULLETIN No. 30, October 1986
1.
2.
.
4.
EA TCS Matters Letter from the President and Bulletin Editor . . . . . . . . . . . . . . . . . . . A. Salomaa: Scattered recollections about EATCS . . . . . . . . . . . . . . . . . Institutional sponsors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ICALP 86 B. Monien: Report on the general assembly . . . . . . . . M. Jantzen and M. Kudlek: Report on ICALP 86 . . . . . . G. Hansel: Symbolic dynamics, automata and coding theory A. Sch6nhage: Tapes versus pointers, a study in implementing ICALP 74-85 poster . . . . . . . . . . . . . . . . . . . .
. . . . . . fast . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . algorithms .... . . . . . . . .
Technical Contributions J.L. BalcAzar and J. Gabarro: Some comments about notations of orders of magnitude R.M. Capocelli: Comments on "Trends in the theory of codes" by J. Berstel and D. Perrin A. Choquet and A. Finkel: Applications of residues for the analysis of parallel systems communicating by FIFO-channels . . . . . . . . . . . . . . . . . . . . . . . M. Crochemore: Computing LCF in linear time . . . . . . . . . . . . . . . . . . E. Ehrig, J. Loeckx and B. Mahr: A remark on the equational calculus for many.sorted algebras with possibly empty carrier sets . . . . . . . . . . . . . . . . . . . . J.A. Goguen and J. Meseguer" Remarks on remarks on many-sorted equational logic A.J. Kfoury: A linear-time algorithm to decide whether a binary word contains an overlap P. Lescanne: Divergence o f the Knuth-Bendix completion procedure and termination orderings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A. de Luca and A. Restivo: On a generalization of a conjecture of Ehrenfeucht . . . . N. Nirmal, R. Rama and C. Sri Had Nagore; Closure properties of EOL-regular matrix languages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Reports on Conferences 2nd British Theoretical Computer Science Colloquium, Warwick, England, March 1986 (abstracts included) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Workshop on Fanlt-Tolerant Distributed Computing, Monterey, CA, U.S.A., March 1986 (report by Y. Moses) . . . . . . . . . . . . . . . . . . . . . . . . . . . . Workshop on Mathematical Aspects of Informatics, M/igdesprung, German Democratic Republic, April 1986 (report by G. Wechsung) . . . . . . . . . . . . . . . . . Seminar on Applicability of Petri Nets to Operations Research, Milano, Italy, May 1986 Conference "Automata, Languages and Programming Systems", Salgotarjan, Hungary, May 1986 (report by B. Courcelle) . . . . . . . . . . . . . . . . . . . . . . Meetings o f the technical group on Automata and Languages, IECE, Japan, January-March 1986 (abstracts submitted by H. Machida) . . . . . . . . . . . . . . . . . . . 18th Symposium on the Theory of Computing, Berkeley, CA, U.S.A., May 1986 (report by P. van Emde Boas) . . . . . . . . . . . . . . . . . . . . . . . . . . . . Structure in Complexity Theory, Berkeley, CA, U.S.A., June 1986 (report by P. van Emde Boas) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0304-3975/86/$3.50 © 1986, Elsevier Science Publishers B.V. (North-Holland)
1
3 6
7 12 15 23 33
34 43 44 57 61 66 74 80 84 91
103 120 122 123 125 127 142 146
234
Contents EA TCS Bulletin
2nd Symposium on Computational Geometry, Yorktown Heights, NY, U.S.A. June 1986 (report by J. O'Rourke) . . . . . . . . . . . . . . . . . . . . . . . . . . . 7th European Workshop on Applications and Theory of Petri Nets, Oxford, England, June-July 1986 (report by M. Tinsanen and M. Lindqvist) . . . . . . . . . . . . Aegean Workshop on Computing, Loutraki, Greece, July 1986 (report by G. N. Frederickson and S. E. Hambrush) . . . . . . . . . . . . . . . . . . . . . . . . . . 1st International Conference on Database Theory, Rome, Italy, September 1986 (report by J. Paredaens) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.
Conference Announcements POPL 87, Preliminary program . . . . . . . . . . . . . . . . . . . . . . . . . 3rd Workshop on the Mathematical Foundations of Programming Language Semantics, New Orleans, LA, U.S.A. (April 8-10, 1987) . . . . . . . . . . . . . . . . . . Eurocrypt 87, Amsterdam, The Netherlands (April 13-15, 1987) . . . . . . . . . . 6th Amsterdam Colloquium, Amsterdam, The Netherlands (April 13-16, 1987) . . . . International Workshop on Parallel Algorithms and Architectures, Suhl, German Democratic Republic (May 25-30, 1987) . . . . . . . . . . . . . . . . . . . . . . 2nd International Conference on Rewriting Techniques and applications, Bordeaux, France (May 25-27, 1987) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4th International Conference on Logic Programming, Melbourne, Australia (May 1987) 3rd Symposium on Computational Geometry, Waterloo, Ontario, Canada (June 8-10, 1987) 2nd Annual Conference on Structure in Complexity Theory, Ithaca, NY, U.S.A. (June 16-19, 1987) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2nd Annual Symposium on Logic in Computer Science, Ithaca, NY, U.S.A. (June 22-25,
8l~7~opean" Workshop on Applications'and'Theor~'of Petri Netsl Zaragoza, Spain (June 24-26, 1987) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . International Workshop on Petri Nets and Performance Models, Madison, WI, U.S.A. (August 24-26, 1987) . . . . . . . . . . . . . . . . . . . . . . . . . . . . International Meeting of Young Computer Scientists, Smolenice Castle, Czechoslovakia (October 14-17, 1987), Preliminary program . . . . . . . . . . . . . . . . . . 2nd International Symposium on Methodologies for Intelligent Systems, Charlotte, NC (October 21-24, 1987) . . . . . . . . . . . . . . . . . . . . . . . . . . . . ICALP 87, Karlsrahe, West Germany (July 13-17, 1987) . . . . . . . . . . . . . . 6.
Z
Reports on Computer Science Departments and Institutes Department of Computer Science, Technical University of Aachen, Aachen, West Germany (report by W. Thomas) . . . . . . . . . . . . . . . . . . . . . . . . . . . Department of Computer Science, Technical University of Berlin, Berlin, West Germany (report by B. Mahr) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Department of Computer and Information Science, The Ohio State University, Columbus, OH, U.S.A. (report by Y. Yesha) . . . . . . . . . . . . . . . . . . . . . . . Department of Computer Science, University of Helsinki, Helsinki, Finland (report by P. Orponen) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Department of Computer Science, Hebrew University of Jerusalem, Jerusalem, Israel (report by D. Lehman) . . . . . . . . . . . . . . . . . . . . . . . . . . . Department of Computer Science, University of Paderborn, Paderborn, West Germany (report by T. Lengauer) . . . . . . . . . . . . . . . . . . . . . . . .... Department of Computer Science, University of Washington, Seattle, WA, U.S.A. (report by L. Ruzzo) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Reports on Computer Science Organimtions Algebraic Specification Techniques Project at the Technical University of Berlin, Berlin, Fed. Rep. Germany . . . . . . . . . . . . . . . . . . . . . . . . . . . . . INRIA: Institute National de Recherche en Informatique et Automatique (report by L. Kott) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Theoretical computer science activities in Japan (report by O. Watanabe) ...... "
147 149 155 159
162 164 166 167 168 170 171 172 173
174 175 176 177 181 182
183 187 193 195 199 201 210
213 228 233
235
Contents E A T C S Bulletin .
Technical Reports and Publications
Department of Computer Science, Technical University of Aachen, Aachen, Fed. Rep. Germany . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Department of Computer Science, University of Helsinki, Helsinki, Finland . . . . . Department of Comuter Science, University of Bordeaux, Bordeaux, France . . . . . Department of Computer Science, University of Passau, Passau, Fed. Rep. Germany Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, U.S.A. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada Center for Research in Computing Technology, Harvard University, Cambridge, MS, U.S.A. .
258
Problems and Solutions
Problems contributed by J. H. Johnson and M. Crochemore 11.
253 255 256
Book Reviews
T. Beth, N. Cot and I. Ingermarsson, eds.: Advances in Cryptology, Springer-Verlag, 1985 (reviewed by A. Salomaa) . . . . . . . . . . . . . . . . . . . . . . . . . . I0.
239 241 242 251
. . . . . . . . . . . .
260
Abstracts o f Ph.D. Theses
C. Duboc: Commutations in the free monoids: a theoretical framework for the study of paraUellism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . D. Girault-Beauquier: Automata on bi-infinite words . . . . . . . . . . . . . . . P. Gohon: Automata with distance and recognizability in free commutative monoids M. Kaul: Syntactic analysis of graphs in precedence graph grammars . . . . . . . . M. Leonard: Generation of finite maximal, biprefix codes . . . . . . . . . . . . . J.-P. P6cuchet: Two-way finite automata, ,o-rational languages and semigroup varieties A. Petit: Determinism and non-generators . . . . . . . . . . . . . . . . . . . . S. Porat: Fairness in models for nondeterministic computations . . . . . . . . . . . G. Vossen: Design and manipulation of databases under the universal relation data model
262 266 270 274 277 280 283 288 291
12.
M o v i n g Around
294
13.
Miscellaneous
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
F. G6cseg: The role of theory in computer science 14.
The Contents o f "Theoretical Computer Science"
15.
E A T C S Leaflet
295 . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Bulletin Editor: G. Rozenberg, Leiden, The Netherlands Production and distribution: Th. Ottmann, Karlsruhe, Fed. Rep. Germany Picture Editor: P. van Emde Boas, Amsterdam, The Netherlands
298 300