The formalization of interlanguage: the example of object clitic pronouns acquisition in French L2

Figures & data

Table 1. Examples of combinators and their β-reduction rules.

Combinator	Role	β-Reduction
B	Composition	B x y z → x (y z)
C	Permutation	C x z y → x y z
Φ	Distribution	Φ x y z u → x (y u) (z u)
C*	Type raising	C* x y → y x
S	Distributive Composition	S x y z → x z (y z)

Figure 1. Diagram of the procedure of a sentence analysis by means of ACCG

Figure 2. Steps of the categorial analysis of a valid sentence

Figure 3. Detecting the absence of the determinant.

Figure 4. Detecting the ungrammatical coordination.

Figure 5. The analysis of the sentence without errors.