Düjkov ardıcıllıq

Düzgün mötərizə ifadəsi aşağıdakı kimi təyin edilir:

1. Boş ifadə düzgündür.

2. Əgər ifadə S düzgündürsə, onda $($S$)$ və $[$S$]$ də düzgündür.

3. Əgər ifadələr A və B düzgündürsə, onda ifadə AB də düzgündür.

$($, $)$, $[$ və $]$ simvollarından ibarət bir ardıcıllıq verilir. Verilmiş ardıcıllığın alt ardıcıllığı olan ən qısa düzgün ifadəni tapmaq lazımdır, yəni bəzi simvolları (mümkün olduqda heç birini) silməklə, ardıcıllığın sırası pozulmadan, düzgün ifadə əldə etmək olar.