Erratum for “Formal Basis of a
Language Universal”

Miloˇs Stanojevi´c
University of Edinburgh
School of Informatics
m.stanojevic@ed.ac.uk

Mark Steedman
University of Edinburgh
School of Informatics
steedman@inf.ed.ac.uk

In the paper “Formal Basis of a Language Universal” by Miloˇs Stanojevi´c and Mark
Steedman in Computational Linguistics 47:1 (https://doi.org/10.1162/coli a 00394),
there is an error in example (12) on page 17.

The two occurrences of the notation \W should appear as |W. The paper has been

updated so that the paragraph reads:

In the full theory, these rules are generalized to “second level” cases, in dem die
secondary function is of the form (Y|Z)|W such as the following “forward crossing”
Beispiel, in which — matches either / oder \ in both input and output:

(12) The Forward Crossing Level Two Composition Rule

X/×Y (Y\Z)|W ⇒B× (X\Z)|W

(>B2

×)

https://doi.org/10.1162/COLI x 00432

© 2022 Verein für Computerlinguistik
Published under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0) Lizenz

l

D
Ö
w
N
Ö
A
D
e
D

F
R
Ö
M
H

T
T

P

:
/
/

D
ich
R
e
C
T
.

M

ich
T
.

e
D
u
/
C
Ö

l
ich
/

l

A
R
T
ich
C
e
–
P
D

F
/

/

/

/

4
8
1
2
3
7
2
0
0
6
5
9
9
/
C
Ö

l
ich

_
X
_
0
0
4
3
2
P
D

.

F

B
j
G
u
e
S
T

T

Ö
N
0
8
S
e
P
e
M
B
e
R
2
0
2
3
PDF Herunterladen