O(n|Σ|)
n
Σ
N
K
Oui
Non
500 ms 256 Mb Rules for program design and list of errors in automatic problem checking