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:

* &l;sir parantezat corect>= &l;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>$