Il documento tratta i linguaggi bidimensionali non ambigui e riconoscibili, introdotto attraverso concetti preliminari come alfabeto, stringhe bidimensionali e operatori di concatenazione. Viene definito un sistema di tiling non ambiguo e si esplorano le proprietà di chiusura di linguaggi riconoscibili. Viene infine discusso il teorema di Hromkovic riguardo alla dimensione minima degli automi per i linguaggi regolari e alla non ambiguità dei linguaggi bidimensionali.