Picture languages: Tiling systems versus tile rewriting grammars
Two formal models of pictures, i.e., two dimensional (2D) languages are compared: tiling systems and tile rewriting grammars, which resp. extend to 2D the regular and context-free languages. Two results extending classical language properties into 2D are proved. First, non-recursive tile writing grammars (TRG) coincide with tiling systems (TS). Second, non-self-embedding TRG are suitably defined as corner grammars, showing that they generate TS languages. The proofs exploit newly introduced language substitutions, also nested and iterated.
Available from: Claudio Ferretti
- "Recently the investigation of two dimensional (picture) languages has moved towards the definition of formal models capable of characterizing special classes of languages that are not included in the family of recognizable languages generated with tiling systems of Gianmmaresi and Restivo . An example of such models is tile rewriting grammars (TRG) defined in  and further investigated in . Indeed, while tiling systems represent an extension to the two dimensional case of regular string languages, TRG provide an analogue of context-free grammars in the two dimensions, thus showing the capability of this approach of generating interesting picture languages that generalize context-free string languages, such as Dyck languages. "
Available from: Matteo Pradella
[Show abstract] [Hide abstract]
ABSTRACT: . Such abstract machines,are more powerful then the four ways automata of . However TS definitions are hard to write and error-prone for non elementary pictures. Moreover the NP-complete computational complexity of picture recognition has until now blocked any attempt to realistic experimentation and application of TS, in spite of a large amount of theoretical work. Our work is concerned with a practical experimentation of tiling systems/Wang tiles in conjunction with a new approach for performing pattern recognition and image gen- eration or completion, based on powerful logical tools, the SAT-solvers, whose task is to find Boolean values which make a propositional formula true. We have implemented a recognizer/generator for TS defined pictures in a very attractive, unconventional way, by transforming the tiling problem into a Boolean satisfiability one, then using an effi- cient off-the-shelf SAT-solver. The tool is invaluable to assist in writing picture speci-
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.