Trends, Techniques, and Problems in Theoretical Computer Science : 4th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, October 13-17, 1986 Selected Contributions

Contents: VLSI and Formal Languages.- Theory of Formal Grammars.- Biologically Motivated Structures.- Artificial Intelligence. Lower bound techniques for VLSI algorithms....Pages 1-25 The equivalence of mappings on languages....Pages 26-38 Kleene's theorem revisited....Pages 39-50 Some combinatorial problems concerning finite languages....Pages 51-58 A connection between descriptional complexity of context-free grammars and grammar form theory....Pages 59-74 Basic ideas of selective substitution grammars....Pages 75-95 Some recent restrictions in the derivation of context-free grammars....Pages 96-108 Recent results on the theory of homogeneous structures....Pages 109-128 A note on the ratio function in DOL systems....Pages 129-137 Models for multicellular development: Characterization, inference and complexity of L-systems....Pages 138-168 A formal model of knowledge-based systems....Pages 169-181 Basic complexity analysis of hypothesis formation....Pages 182-199 Perspectives of logic programming....Pages 200-213 Annotation Aerodynamics and hydrodynamics are still the main domains that make greater use of flow visualization and classical optical techniques such as schlieren and interferometry than of more recent techniques such as holography speckle, laser light sheets, laser-induced tracers and laser-induced fluorescence. A number of studies are now under way on turbulent and vortex flows, within boundary layers or wakes, in the mixing layer of two flows. Other studies concern jets, two-phase flows and air-water interface. To review and discuss developments in flow visualization, four international symposia have been held. Following Tokyo, Bochum and Ann Arbor, the Fourth International Symposium on Flow Visualization (ISFV 4) was held in Paris in August 1986