|
|
|
DEVELOPMENTS IN LANGUAGE THEORY II
At the Crossroads of Mathematics, Computer Science and Biology
Magdeburg, Germany 17 - 21 July 1995
edited by J Dassow (Univ. Magdeburg), G Rozenberg (Univ. Leiden) & A Salomaa (Univ. Turku)
The contributions of the proceedings cover almost all parts of the theory of formal languages from pure theoretical investigations to applications to programming languages. Main topics are combinatorial properties of words, sequences of words and sets of words, grammar systems and grammars with controlled derivations, generation of higher-dimensional objects and graphs, trace languages, numerical parameters of automata and languages.
Contents:
- Cantor Sets and Dejean's Conjecture (J D Currie & R O
Shelton)
- On Emptiness and Counting for Alternating Finite Automata (M Holzer)
- Nondeterminism Degrees for Context-Free Languages (K Salomaa & S Yu)
- Transforming a Single-Valued Transducer into a Mealy Machine (A Weber)
- The Computational Complexity of PCGS with Regular Components (L Cai)
- The Membership Problem for Unordered Vector Languages (G Satta)
- Finite State Recognizability for Two-Dimensional Languages: A Brief Survey (D Giammarresi)
- Prefix and Period Languages of Rational w-Languages (H Calbrix & M Nivat)
- Recent Developments in Trace Theory (V Diekert et al.)
- Trace Languages Definable with Modular Quantifiers (M Droste & D Kuske)
- Towards Robustness in Parsing — Fuzzifying Context-Free Language Recognition (P R J Asveld)
- and other papers
Readership: Students and researchers in computer science.
| 504pp |
Pub. date: May 1996 |
|
|
