Se considera un editor de text care raspunde doar la apasarea a sase taste, si anume cele care au tiparite simbolurile: "$($", "$)$", "$[$", "$]$", "$*$" si "$E$". Daca se apasa una din tastele "$($", "$)$", "$[$" sau "$]$" atunci se afiseaza caracaterul respectiv pe ecran. Daca se apasa tasta * se sterge ultimul caracter afisat (daca nu este afisat nici un caracter nu se intampla nimic).
Daca se apasa tasta "$E$" atunci editorul va verifica daca sirul afisat pe ecran este un sir parantezat corect. Un sir este parantezat corect daca este construit conform regulilor:

* {$ <sir parantezat corect> = <sirul vid> $}

* {$<sir parantezat corect> = <sirul vid>$}

* $<sir parantezat corect> = "(" + <sir parantezat corect> + ")"$
* $<sir parantezat corect> = "[" + <sir parantezat corect> + "]"$
* $<sir parantezat corect> = <sir parantezat corect> + <sir parantezat corect>$