Erratum for “Formal Basis of a
Language Universal”
Miloˇs Stanojevi´c
Università di Edimburgo
School of Informatics
m.stanojevic@ed.ac.uk
Mark Steedman
Università di Edimburgo
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 which the
secondary function is of the form (Y|Z)|W such as the following “forward crossing”
instance, in which — matches either / O \ 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 Associazione per la Linguistica Computazionale
Published under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internazionale
(CC BY-NC-ND 4.0) licenza
l
D
o
w
N
o
UN
D
e
D
F
R
o
M
H
T
T
P
:
/
/
D
io
R
e
C
T
.
M
io
T
.
e
D
tu
/
C
o
l
io
/
l
UN
R
T
io
C
e
–
P
D
F
/
/
/
/
4
8
1
2
3
7
2
0
0
6
5
9
9
/
C
o
l
io
_
X
_
0
0
4
3
2
P
D
.
F
B
sì
G
tu
e
S
T
T
o
N
0
8
S
e
P
e
M
B
e
R
2
0
2
3
Scarica il pdf