Rozpoznávání obrázkových jazyků

Abstract

Předkládáme zde transformaci jednodimenzionálního zkracujícího restartovacího automatu do dvou dimenzí. Výsledný automat (zvaný dvoudimenzionální restartovací automat - 2RA) má jak zajímavé uzávěrové vlastnosti, tak blízkou vazbu na třídu jazyků REC (Recognizable languages), čímž se třída jazyků které je schopen rozpoznat ukazuje být zajímavým přínosem pro hierarchii dvou-dimenzionálních jazyků.

We present a transformation of one-dimensional shrinking restarting automaton concept into two-dimensions. The resulting automaton (called Two-dimensional Restarting Automaton - 2RA) proved to have an interesting closure properties as well as close relation to the class or recognizable languages (REC) which qualify it as a notable member of two-dimensional language hierarchy.