P
Initializing...
The $s$-regular languages $\mathrm{Reg}_s(\mathbf{T}_\Sigma(X))$ · Prove2Me