Grzegorz Rozenberg, Arto Salomaa
Proceedings of the First International Conference on Developments in Language Theory
DLT, 1993.
@proceedings{DLT-1993, address = "Turku, Finland", editor = "Grzegorz Rozenberg and Arto Salomaa", isbn = "981-02-1645-9", publisher = "{World Scientific}", title = "{Proceedings of the First International Conference on Developments in Language Theory}", year = 1993, }
Contents (37 items)
- DLT-1993-JurvanenPT
- Tree Languages Recognizable by Regular Frontier Check (EJ, AP, WT), pp. 3–17.
- DLT-1993-Raz #context-free grammar #equivalence #multi
- Deciding Multiplicity Equivalence for Certain Context-free Languages (DR), pp. 18–29.
- DLT-1993-DerencourtT #composition
- Compositions of Codings (DD, AT), pp. 30–43.
- DLT-1993-Vaida #programming language
- Iteration Conditions of W. Ogden’s Type and Applications to Programming Languages (II) (DV), pp. 44–50.
- DLT-1993-AtanasiuM #word
- Substitution on Words and Languages (AA, VM), pp. 51–59.
- DLT-1993-Georgescu #context-free grammar #on the
- On the Index of Pure Context-free Grammars and Languages (GG), pp. 60–69.
- DLT-1993-BordihnD #nondeterminism
- A Note on the Degree of Nondeterminism (HB, JD), pp. 70–80.
- DLT-1993-Istrate #equivalence
- The Strong Equivalence of ETOL Grammars (GI), pp. 81–89.
- DLT-1993-Fernau #parallel #strict
- Remarks on Adult Languages of Propagating Systems with Restricted Parallelism (HF), pp. 90–101.
- DLT-1993-KelemenovaV
- Productions in Stable OL-Systems (AK, PV), pp. 102–110.
- DLT-1993-Calude #algorithm
- Borel Normality and Algorithmic Randomness (CC), pp. 113–129.
- DLT-1993-Lepisto #sequence
- Repetitions in Kolakoski Sequence (AL), pp. 130–143.
- DLT-1993-KariN #image
- Morphic Images of Gauss Codes (JK, VN), pp. 144–156.
- DLT-1993-DassowMP #order
- Iterative Reading of Numbers: The Ordered Case (JD, SM, GP), pp. 157–168.
- DLT-1993-Kuich
- Lindenmayer Systems Generalized to Formal Power Series and Their Growth Functions (WK), pp. 171–178.
- DLT-1993-Honkala #on the
- On Lindenmayerian Series in Complete Semirings (JH), pp. 179–192.
- DLT-1993-AntimirovM #regular expression
- Rewriting Extended Regular Expressions (VMA, PDM), pp. 195–209.
- DLT-1993-Cazanescu #equation #logic
- Local Equational Logic II (VEC), pp. 210–221.
- DLT-1993-CulikK #generative #image #on the #power of
- On the Power of L-Systems in Image Generation (KCI, JK), pp. 225–236.
- DLT-1993-Narbel #geometry
- Geometrical OL-Systems Coming from Tilings of the Plane (PN), pp. 237–249.
- DLT-1993-Freund #aspect-oriented
- Aspects of N-Dimensional Lindenmayer Systems (RF), pp. 250–261.
- DLT-1993-MerzenichS #formal method
- Fractals, Dimension, and Formal Languages (WM, LS), pp. 262–277.
- DLT-1993-DrewesHKT #generative #self
- Generating Self-Affine Fractals by Collage Grammars (FD, AH, HJK, ST), pp. 278–289.
- DLT-1993-Gimmarresi #2d
- Two-Dimensional Languages and Recognizable Functions (DG), pp. 290–301.
- DLT-1993-DammHLR #complexity
- Deterministic OL Languages are of Very Low Complexity: DOL is in AC0 (CD, MH, KJL, PR), pp. 305–313.
- DLT-1993-HromkovicRS #nondeterminism
- Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines (JH, BR, AS), pp. 314–325.
- DLT-1993-Iwama #low level #trade-off
- Low-Level Tradeoffs between Reversals and Alternations (KI), pp. 326–341.
- DLT-1993-KrithivasanM #array #modelling #nondeterminism #probability
- Nondeterministic, Probabilistic and Alternating Computations on Cellular Array Models (KK, MM), pp. 342–354.
- DLT-1993-EhrenfeuchtHPR #context-free grammar
- An Introduction to Context-free Text Grammars (AE, HJH, PtP, GR), pp. 357–369.
- DLT-1993-PaunRS
- Contextual Grammars: Erasing, Determinism, One-Side Contexts (GP, GR, AS), pp. 370–388.
- DLT-1993-BreveglieriCCC #parallel
- Fair First Languages and Parallel Programme Schemes (LB, AC, CC, SCR), pp. 389–418.
- DLT-1993-Pardubska #communication #generative #on the #power of
- On the Power of Communication Structure for Distributive Generation of Languages (DP), pp. 419–429.
- DLT-1993-Mihalache
- Programmed Grammar Systems (VM), pp. 430–437.
- DLT-1993-Roder #graph grammar #parallel
- Parallel BNLC Graph Grammars (HJR), pp. 438–449.
- DLT-1993-Marcus
- Hidden Grammars (SM), pp. 453–460.
- DLT-1993-Kudlek
- General Formal Systems (MK), pp. 461–471.
- DLT-1993-CaludeS
- Algorithmically Coding the Universe (CC, AS), pp. 472–492.
4 ×#on the
3 ×#context-free grammar
3 ×#generative
3 ×#nondeterminism
3 ×#parallel
2 ×#equivalence
2 ×#image
2 ×#power of
3 ×#context-free grammar
3 ×#generative
3 ×#nondeterminism
3 ×#parallel
2 ×#equivalence
2 ×#image
2 ×#power of